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

Saved in:
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!
Description
Summary: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 number of potential encounter scenarios even in cases involving a few ships. While simulating thousands of encounter scenarios is required for an accurate assessment of the algorithm's efficacy in preventing collisions, such a process is computationally expensive and time-consuming. Alternatively, one can reduce the total number of simulations used for algorithm assessment by strategically searching the input space for undesirable behavior from the collision avoidance algorithm. We address this challenge by using optimization-based falsification techniques to efficiently discover failure modes of a ship collision avoidance algorithm. We examine different methods for falsification and show that the cross-entropy approach using a Gaussian mixture distribution for sampling has potential advantages over competing methods for the collision avoidance application. Namely, the Gaussian mixture distribution can identify correlated inputs due to our assumption of nonindependent inputs and is more likely to discover multiple failure regions in the input space.
DOI:10.1109/OCEANSChennai45887.2022.9775363