Tobias Rye Torben
Tobias Rye Torben
Senior Autonomy Engineer, Zeabuz
Verified email at - Homepage
Cited by
Cited by
milliAmpere: An autonomous ferry prototype
EF Brekke, E Eide, BOH Eriksen, EF Wilthil, M Breivik, E Skjellaug, ...
Journal of Physics: Conference Series 2311 (1), 012029, 2022
Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic
TR Torben, JA Glomsrud, TA Pedersen, IB Utne, AJ Sørensen
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of …, 2023
Development and testing of a risk-based control system for autonomous ships
T Johansen, S Blindheim, TR Torben, IB Utne, TA Johansen, AJ Sørensen
Reliability Engineering & System Safety 234, 109195, 2023
Control allocation for double-ended ferries with full-scale experimental results
TR Torben, AH Brodtkorb, AJ Sørensen
IFAC-PapersOnLine 52 (21), 45-50, 2019
Evolution of safety in marine systems: From system-theoretic process analysis to automated test scenario generation
TA Pedersen, Å Neverlien, JA Glomsrud, I Ibrahim, SM Mo, M Rindarøy, ...
Journal of Physics: Conference Series 2311 (1), 012016, 2022
Control allocation for double-ended ferries with full-scale experimental results
TR Torben, AH Brodtkorb, AJ Sørensen
International Journal of Control, Automation and Systems 18, 556-563, 2020
On formal methods for design and verification of maritime autonomous surface ships
T Torben, Ø Smogeli, IB Utne, AJ Sørensen
Hybrid control of autonomous ferries
TVR Torben
December. Project thesis, Department of Marine Technology. Norwegian …, 2018
Towards contract-based verification for autonomous vessels
TR Torben, Ø Smogeli, JA Glomsrud, IB Utne, AJ Sørensen
Ocean Engineering 270, 113685, 2023
Control allocation and observer design for autonomous ferries
TR Torben
NTNU, 2019
A Resetting Observer for Linear Time-Varying Systems With Application to Dynamic Positioning of Marine Surface Vessels
TR Torben, AR Teel, ØK Kjerstad, EHT Wittemann, R Skjetne
IEEE Transactions on Control Systems Technology, 2023
System verification, processes and testing
T Perez, A Morozov, B Rokseth, JA Glomsrud, M Luckuck, T Myklebust, ...
Proceedings of the First International Workshop on Autonomous Systems Safety, 2019
Formal approaches to design and verification of safe control systems for autonomous vessels
TR Torben
NTNU, 2023
The system can't perform the operation now. Try again later.
Articles 1–13