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

Celý popis

Podrobná bibliografie

Vydáno v:	OCEANS 2022 - Chennai s. 1 - 9
Hlavní autoři:	He, Hans J., Stilwell, Daniel J., Farhood, Mazen, Muniraj, Devaprakash
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 21.02.2022
Témata:	collision avoidance Computational modeling cross-entropy Distance measurement falsification Gaussian mixture guidance algorithms Oceans Prediction algorithms Robustness Space exploration Trajectory
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!