Tobias Rye Torben
Om
Publikasjoner
2023
-
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
Vitenskapelig artikkel
-
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
Vitenskapelig artikkel
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
Vitenskapelig artikkel
-
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)
Vitenskapelig artikkel
-
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
Vitenskapelig artikkel
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
Vitenskapelig artikkel
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
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Torben, Tobias;
Brodtkorb, Astrid H.;
Sørensen, Asgeir Johan.
(2019)
Control allocation for double-ended ferries with full-scale experimental results.
IFAC-PapersOnLine
Vitenskapelig artikkel
-
Torben, Tobias.
(2019)
Control allocation and observer design for autonomous ferries.
NTNU
Mastergradsoppgave
Tidsskriftspublikasjoner
-
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
Vitenskapelig artikkel
-
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
Vitenskapelig artikkel
-
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
Vitenskapelig artikkel
-
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)
Vitenskapelig artikkel
-
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
Vitenskapelig artikkel
-
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
Vitenskapelig artikkel
-
Torben, Tobias;
Brodtkorb, Astrid H.;
Sørensen, Asgeir Johan.
(2019)
Control allocation for double-ended ferries with full-scale experimental results.
IFAC-PapersOnLine
Vitenskapelig artikkel
Del av bok/rapport
-
Perez, Tristan;
Morozov, Andrey;
Rokseth, Børge;
Glomsrud, Jon Arne;
Luckuck, Matthew;
Myklebust, Thor.
(2019)
System Verification, Processes and Testing.
Norges teknisk-naturvitenskapelige universitet
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Rapport
-
Torben, Tobias.
(2019)
Control allocation and observer design for autonomous ferries.
NTNU
Mastergradsoppgave
Formidling
2022
-
Vitenskapelig foredragTorben, 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
-
Vitenskapelig foredragTorben, 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