Use of Falsification to Find Rare Failure Modes of a Ship Collision Avoidance Algorithm

Existing collision avoidance algorithms for autonomous ships use techniques ranging from model predictive control to rule-based decision methods. However, verification of these algorithms requires exploring the entire space of ship trajectories, which is difficult due to the prohibitively large numb...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	OCEANS 2022 - Chennai S. 1 - 9
Hauptverfasser:	He, Hans J., Stilwell, Daniel J., Farhood, Mazen, Muniraj, Devaprakash
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 21.02.2022
Schlagworte:	collision avoidance Computational modeling cross-entropy Distance measurement falsification Gaussian mixture guidance algorithms Oceans Prediction algorithms Robustness Space exploration Trajectory
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!