Navigation

  • Skip to Content
NTNU Home

ntnu.edu

  • Studies
    • Master's programmes in English
    • For exchange students
    • PhD opportunities
    • All programmes of study
    • Courses
    • Financing
    • Language requirements
    • Application process
    • Academic calendar
    • FAQ
  • Research and innovation
    • NTNU research
    • Research excellence
    • Strategic research areas
    • Innovation resources
    • PhD opportunities
  • Life and housing
    • Student in Trondheim
    • Student in Gjøvik
    • Student in Ålesund
    • For researchers
    • Life and housing
  • About NTNU
    • Contact us
    • Faculties and departments
    • Libraries
    • International researcher support
    • Vacancies
    • About NTNU
    • Maps
  1. Employees

Språkvelger

Norsk

Tobias Rye Torben

Tobias Rye Torben

PhD Candidate

tobias.torben@ntnu.no
+4794894584 Marinteknisk senter, C2.089, Tyholt, Otto Nielsen veg 10
About Publications Media

About

Research topic

Design and verification of control systems for autonomous ships

Research interests

  • Simulation based verification
  • Formal methods
  • Risk-aware control
  • Online consequence analysis
  • Autonomous passenger ferries

Research groups and projects

  • ORCAS
  • aFerry
  • Autoferry

Publications

  • Chronological
  • By category

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 lecture
    Torben, 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 lecture
    Torben, 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.
NTNU
Studies
  • Master's programmes in English
  • For exchange students
  • PhD opportunities
  • Courses
  • Career development
  • Continuing education
  • Application process
Contact
  • Contact NTNU
  • Employees
  • For alumni
  • Press contacts
  • Researcher support
Discover NTNU
  • Experts
  • Vacancies
  • Pictures from NTNU
  • Innovation resources
  • NTNU in Gjøvik
  • NTNU in Trondheim
  • NTNU in Ålesund
  • Maps
About NTNU
  • NTNU's strategy
  • Research excellence
  • Strategic research areas
  • Organizational chart
  • Libraries
  • About the university
Services
  • For employees
  • For students
  • Blackboard
  • Intranet

Norwegian University of Science and Technology

Use of cookies
Accessibility statement (in Norwegian)
Privacy policy
Editoral responsibility
Sign In