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

Full description

Bibliographic Details

Published in:	OCEANS 2022 - Chennai pp. 1 - 9
Main Authors:	He, Hans J., Stilwell, Daniel J., Farhood, Mazen, Muniraj, Devaprakash
Format:	Conference Proceeding
Language:	English
Published:	IEEE 21.02.2022
Subjects:	collision avoidance Computational modeling cross-entropy Distance measurement falsification Gaussian mixture guidance algorithms Oceans Prediction algorithms Robustness Space exploration Trajectory
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!