| 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 | 68 | 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 | 42 | 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 | 36 | 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 | 16 | 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 | 14 | 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 | 11 | 2020 |
| On formal methods for design and verification of maritime autonomous surface ships T Torben, Ø Smogeli, IB Utne, AJ Sørensen | 10 | 2022 |
| Towards contract-based verification for autonomous vessels TR Torben, Ø Smogeli, JA Glomsrud, IB Utne, AJ Sørensen Ocean Engineering 270, 113685, 2023 | 7 | 2023 |
| Hybrid control of autonomous ferries TVR Torben Project Thesis, Norwegian University of Science and Technology, Trondheim …, 2018 | 6 | 2018 |
| 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 | 3 | 2023 |
| Control allocation and observer design for autonomous ferries TR Torben NTNU, 2019 | 3 | 2019 |
| 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 |
| Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles JA Glomsrud, S Kemna, C Vasanthan, L Zhao, D McGeorge, TA Pedersen, ... Journal of Physics: Conference Series 2867 (1), 012043, 2024 | | 2024 |
| Formal approaches to design and verification of safe control systems for autonomous vessels TR Torben NTNU, 2023 | | 2023 |
