Background and activities

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

Scientific, academic and artistic work

Journal publications

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.


  • Torben, Tobias. (2019) Control allocation and observer design for autonomous ferries. 2019.