Tobias Rye Torben
About
Publications
2023
-
Johansen, Thomas;
Utne, Ingrid Bouwer;
Torben, Tobias Valentin Rye;
Blindheim, Simon André Johnsen;
Johansen, Tor Arne;
Sørensen, Asgeir Johan.
(2023)
Development and testing of a risk-based control system for autonomous ships.
Reliability Engineering & System Safety.
volum 234.
Academic article
-
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.
volum 270.
Academic article
2022
-
Brekke, Edmund Førland;
Eide, Egil;
Eriksen, Bjørn-Olav Holtung;
Wilthil, Erik Falmår;
Breivik, Morten;
Skjellaug, Even;
Helgesen, Øystein Kaarstad;
Lekkas, Anastasios M.;
Martinsen, Andreas Bell;
Thyri, Emil Hjelseth;
Torben, Tobias Valentin Rye;
Veitch, Erik Aleksander;
Alsos, Ole Andreas;
Johansen, Tor Arne.
(2022)
milliAmpere: An Autonomous Ferry Prototype.
Journal of Physics: Conference Series (JPCS).
volum 2311.
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.
volum Januar 2022.
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
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.
volum 18 (3).
Academic article
2019
-
Perez, Tristan;
Morozov, Andrey;
Rokseth, Børge;
Glomsrud, Jon Arne;
Luckuck, Matthew;
Myklebust, Thor;
Torben, Tobias Valentin Rye;
Yang, Xue.
(2019)
System Verification, Processes and Testing.
Proceedings of the First International Workshop on Autonomous Systems Safety.
Academic chapter/article/Conference paper
-
Torben, Tobias.
(2019)
Control allocation and observer design for autonomous ferries.
2019.
Master thesis
-
Torben, Tobias;
Brodtkorb, Astrid H.;
Sørensen, Asgeir Johan.
(2019)
Control allocation for double-ended ferries with full-scale experimental results.
IFAC-PapersOnLine.
volum 52 (21).
Academic article
Journal publications
-
Johansen, Thomas;
Utne, Ingrid Bouwer;
Torben, Tobias Valentin Rye;
Blindheim, Simon André Johnsen;
Johansen, Tor Arne;
Sørensen, Asgeir Johan.
(2023)
Development and testing of a risk-based control system for autonomous ships.
Reliability Engineering & System Safety.
volum 234.
Academic article
-
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.
volum 270.
Academic article
-
Brekke, Edmund Førland;
Eide, Egil;
Eriksen, Bjørn-Olav Holtung;
Wilthil, Erik Falmår;
Breivik, Morten;
Skjellaug, Even;
Helgesen, Øystein Kaarstad;
Lekkas, Anastasios M.;
Martinsen, Andreas Bell;
Thyri, Emil Hjelseth;
Torben, Tobias Valentin Rye;
Veitch, Erik Aleksander;
Alsos, Ole Andreas;
Johansen, Tor Arne.
(2022)
milliAmpere: An Autonomous Ferry Prototype.
Journal of Physics: Conference Series (JPCS).
volum 2311.
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.
volum Januar 2022.
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
-
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.
volum 18 (3).
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.
volum 52 (21).
Academic article
Part of book/report
-
Perez, Tristan;
Morozov, Andrey;
Rokseth, Børge;
Glomsrud, Jon Arne;
Luckuck, Matthew;
Myklebust, Thor;
Torben, Tobias Valentin Rye;
Yang, Xue.
(2019)
System Verification, Processes and Testing.
Proceedings of the First International Workshop on Autonomous Systems Safety.
Academic chapter/article/Conference paper
Report
-
Torben, Tobias.
(2019)
Control allocation and observer design for autonomous ferries.
2019.
Master 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. World Maritime Technology Conference . Danish Society for Naval Architecture and Marine Engineering Foundation; 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. Control applications for Marine Systems, Robotics and Vehicles . IFAC; Daejeon. 2019-09-18 - 2019-09-20.