Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles von Arne Glomsrud, Jon, Kemna, Stephanie, Vasanthan, Chanjei, Zhao, Luman, McGeorge, Dag, Arne Pedersen, Tom, Rye Torben, Tobias, Rokseth, Børge, Trong Nguyen, Dong

Volltext

Development and testing of a risk-based control system for autonomous ships von Johansen, Thomas, Blindheim, Simon, Torben, Tobias Rye, Utne, Ingrid Bouwer, Johansen, Tor Arne, Sørensen, Asgeir J.

Volltext

Towards contract-based verification for autonomous vessels von Torben, Tobias Rye, Smogeli, Øyvind, Glomsrud, Jon Arne, Utne, Ingrid B., Sørensen, Asgeir J.

Volltext

Formal approaches to design and verification of safe control systems for autonomous vessels von Torben, Tobias Rye

Volltext bestellen

Control allocation and observer design for autonomous ferries von Torben, Tobias Rye

Volltext bestellen

System Verification, Processes and Testing von Perez, Tristan, Morozov, Andrey, Rokseth, Børge, Glomsrud, Jon Arne, Luckuck, Matthew, Myklebust, Thor, Torben, Tobias Valentin Rye, Yang, Xue

Volltext bestellen

System Verification, Processes and Testing von Perez, Tristan, Morozov, Andrey, Rokseth, Børge, Glomsrud, Jon Arne, Luckuck, Matthew, Myklebust, Thor, Torben, Tobias Valentin Rye, Yang, Xue

Volltext bestellen

SYSTEMS AND METHODS FOR OPERATING AUTONOMOUS VESSELS von TORBEN, Tobias Rye, SMOGELI, Øyvind Rasmussen

Volltext bestellen

SYSTEMS AND METHODS FOR OPERATING AUTONOMOUS VESSELS von Smogeli, Øyvind Rasmussen, Torben, Tobias Rye

Volltext bestellen

Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles von Glomsrud, Jon Arne, Kemna, Stephanie, Vasanthan, Chanjei, Zhao, Luman, McGeorge, Dag, Pedersen, Tom Arne, Torben, Tobias Rye, Rokseth, Børge, Nguyen, Dong Trong

Volltext

A Resetting Observer for Linear Time-Varying Systems with Application to Dynamic Positioning of Marine Surface Vessels von Torben, Tobias Valentin Rye, Teel, Andrew R, Kjerstad, Øivind Kåre, Wittemann, Emilie H. T, Skjetne, Roger

Volltext

Development and testing of a risk-based control system for autonomous ships von Johansen, Thomas, Blindheim, Simon André Johnsen, Torben, Tobias Valentin Rye, Utne, Ingrid Bouwer, Johansen, Tor Arne, Sørensen, Asgeir Johan

Volltext bestellen

milliAmpere: An Autonomous Ferry Prototype von 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

Volltext bestellen

System Verification, Processes and Testing von Perez, Tristan, Morozov, Andrey, Rokseth, Børge, Glomsrud, Jon Arne, Luckuck, Matthew, Myklebust, Thor, Torben, Tobias Valentin Rye, Yang, Xue

Volltext bestellen