Bakgrunn og aktiviteter

 

Forskningstema

Design og verifikasjon av styringssystem for autonome skip

Forskningsinteresser

  • Simuleringsbasert verifikasjon
  • Formelle metoder
  • Risiko-bevisst styring
  • Online konsekvensanalyse
  • Førerløse passasjerferger

Forskningsgrupper og prosjekter

Vitenskapelig, faglig og kunstnerisk arbeid

Tidsskriftspublikasjoner

Del av bok/rapport

  • 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.

Rapport/avhandling

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