Tobias Rye Torben
About
Publications
2023
-
Torben, Tobias Valentin Rye;
Smogeli, Øyvind Rasmussen;
Glomsrud, Jon Arne;
Utne, Ingrid Bouwer;
Sørensen, Asgeir Johan.
(2023)
Towards contract-based verification for autonomous vessels.
Ocean Engineering
Academic article
-
Johansen, Thomas;
Blindheim, Simon André Johnsen;
Torben, Tobias Valentin Rye;
Utne, Ingrid Bouwer;
Johansen, Tor Arne;
Sørensen, Asgeir Johan.
(2023)
Development and testing of a risk-based control system for autonomous ships.
Reliability Engineering & System Safety
Academic article
2022
-
Torben, Tobias;
Smogeli, Øyvind;
Utne, Ingrid Bouwer;
Sørensen, Asgeir Johan.
(2022)
On Formal Methods for Design and Verification of Maritime Autonomous Surface Ships.
Proceedings of the World Maritime Technology Conference
Academic article
-
Brekke, Edmund Førland;
Eide, Egil;
Eriksen, Bjørn-Olav Holtung;
Wilthil, Erik Falmår;
Breivik, Morten;
Skjellaug, Even.
(2022)
milliAmpere: An Autonomous Ferry Prototype.
Journal of Physics: Conference Series (JPCS)
Academic article
-
Torben, Tobias;
Glomsrud, Jon Arne;
Pedersen, Tom Arne;
Utne, Ingrid Bouwer;
Sørensen, Asgeir Johan.
(2022)
Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic.
Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability
Academic article
2020
-
Torben, Tobias;
Brodtkorb, Astrid Helene;
Sørensen, Asgeir Johan.
(2020)
Control Allocation for Double-ended Ferries with Full-scale Experimental Results.
International Journal of Control, Automation and Systems
Academic article
2019
-
Perez, Tristan;
Morozov, Andrey;
Rokseth, Børge;
Glomsrud, Jon Arne;
Luckuck, Matthew;
Myklebust, Thor.
(2019)
System Verification, Processes and Testing.
Norges teknisk-naturvitenskapelige universitet
Academic chapter/article/Conference paper
-
Torben, Tobias;
Brodtkorb, Astrid H.;
Sørensen, Asgeir Johan.
(2019)
Control allocation for double-ended ferries with full-scale experimental results.
IFAC-PapersOnLine
Academic article
-
Torben, Tobias.
(2019)
Control allocation and observer design for autonomous ferries.
NTNU
Masters thesis
Journal publications
-
Torben, Tobias Valentin Rye;
Smogeli, Øyvind Rasmussen;
Glomsrud, Jon Arne;
Utne, Ingrid Bouwer;
Sørensen, Asgeir Johan.
(2023)
Towards contract-based verification for autonomous vessels.
Ocean Engineering
Academic article
-
Johansen, Thomas;
Blindheim, Simon André Johnsen;
Torben, Tobias Valentin Rye;
Utne, Ingrid Bouwer;
Johansen, Tor Arne;
Sørensen, Asgeir Johan.
(2023)
Development and testing of a risk-based control system for autonomous ships.
Reliability Engineering & System Safety
Academic article
-
Torben, Tobias;
Smogeli, Øyvind;
Utne, Ingrid Bouwer;
Sørensen, Asgeir Johan.
(2022)
On Formal Methods for Design and Verification of Maritime Autonomous Surface Ships.
Proceedings of the World Maritime Technology Conference
Academic article
-
Brekke, Edmund Førland;
Eide, Egil;
Eriksen, Bjørn-Olav Holtung;
Wilthil, Erik Falmår;
Breivik, Morten;
Skjellaug, Even.
(2022)
milliAmpere: An Autonomous Ferry Prototype.
Journal of Physics: Conference Series (JPCS)
Academic article
-
Torben, Tobias;
Glomsrud, Jon Arne;
Pedersen, Tom Arne;
Utne, Ingrid Bouwer;
Sørensen, Asgeir Johan.
(2022)
Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic.
Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability
Academic article
-
Torben, Tobias;
Brodtkorb, Astrid Helene;
Sørensen, Asgeir Johan.
(2020)
Control Allocation for Double-ended Ferries with Full-scale Experimental Results.
International Journal of Control, Automation and Systems
Academic article
-
Torben, Tobias;
Brodtkorb, Astrid H.;
Sørensen, Asgeir Johan.
(2019)
Control allocation for double-ended ferries with full-scale experimental results.
IFAC-PapersOnLine
Academic article
Part of book/report
-
Perez, Tristan;
Morozov, Andrey;
Rokseth, Børge;
Glomsrud, Jon Arne;
Luckuck, Matthew;
Myklebust, Thor.
(2019)
System Verification, Processes and Testing.
Norges teknisk-naturvitenskapelige universitet
Academic chapter/article/Conference paper
Report
-
Torben, Tobias.
(2019)
Control allocation and observer design for autonomous ferries.
NTNU
Masters thesis
Media
2022
-
Academic lectureTorben, Tobias; Smogeli, Øyvind; Utne, Ingrid Bouwer; Sørensen, Asgeir Johan. (2022) On Formal Methods for Design and Verification of Maritime Autonomous Surface Ships. Danish Society for Naval Architecture and Marine Engineering Foundation World Maritime Technology Conference , Copenhagen 2022-04-26 - 2022-04-28
2019
-
Academic lectureTorben, Tobias Valentin Rye; Brodtkorb, Astrid H.; Sørensen, Asgeir Johan. (2019) Control allocation for double-ended ferries with full-scale experimental results. IFAC Control applications for Marine Systems, Robotics and Vehicles , Daejeon 2019-09-18 - 2019-09-20