Follow
Tobias Rye Torben
Tobias Rye Torben
Senior Autonomy Engineer, Zeabuz
Verified email at zeabuz.com - Homepage
Title
Cited by
Cited by
Year
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
472022
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
362023
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
232023
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
142019
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
112022
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
92020
On formal methods for design and verification of maritime autonomous surface ships
T Torben, Ø Smogeli, IB Utne, AJ Sørensen
82022
Hybrid control of autonomous ferries
TVR Torben
December. Project thesis, Department of Marine Technology. Norwegian …, 2018
62018
Towards contract-based verification for autonomous vessels
TR Torben, Ø Smogeli, JA Glomsrud, IB Utne, AJ Sørensen
Ocean Engineering 270, 113685, 2023
32023
Control allocation and observer design for autonomous ferries
TR Torben
NTNU, 2019
32019
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
12023
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
12019
Formal approaches to design and verification of safe control systems for autonomous vessels
TR Torben
NTNU, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–13