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 | 43 | 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 | 35 | 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 | 20 | 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 | 14 | 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 | 11 | 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 | 9 | 2020 |
On formal methods for design and verification of maritime autonomous surface ships T Torben, Ø Smogeli, IB Utne, AJ Sørensen | 8 | 2022 |
Hybrid control of autonomous ferries TVR Torben December. Project thesis, Department of Marine Technology. Norwegian …, 2018 | 6 | 2018 |
Towards contract-based verification for autonomous vessels TR Torben, Ø Smogeli, JA Glomsrud, IB Utne, AJ Sørensen Ocean Engineering 270, 113685, 2023 | 3 | 2023 |
Control allocation and observer design for autonomous ferries TR Torben NTNU, 2019 | 3 | 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 | 1 | 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 | 1 | 2019 |
Formal approaches to design and verification of safe control systems for autonomous vessels TR Torben NTNU, 2023 | | 2023 |