Skip to main content

Decision boundary learning for safe vision-based navigation via Hamilton-Jacobi reachability analysis and Support Vector Machine

Resource type
Thesis type
(Thesis) M.Sc.
Date created
2024-03-28
Authors/Contributors
Abstract
We develop a self-supervised learning method that can predict the decision boundary between safe and unsafe high-level waypoints for robot navigation given the first-person view in the form of an RGB image, and the current speed of the robot, without knowledge of the map of the environment. To provide the theoretical basis for such predictions, we use Hamilton-Jacobi reachability analysis, a formal verification method, as the oracle for labeling training datasets. Given the labeled data, our neural network learns the coefficients of a decision boundary via a soft-margin Support Vector Machine loss function to classify safe and unsafe system states. We experimentally show that our method is generalizable to the real world and generates safety decision boundaries in unseen indoor environments. Our method's advantages are its explainability, robustness, data efficiency, and accurate safety prediction. Finally, we demonstrate our method via real-world experiments
Document
Extent
24 pages.
Identifier
etd22961
Copyright statement
Copyright is held by the author(s).
Permissions
This thesis may be printed or downloaded for non-commercial research and scholarly purposes.
Supervisor or Senior Supervisor
Thesis advisor: Chen, Mo
Language
English
Member of collection
Download file Size
etd22961.pdf 6.26 MB

Views & downloads - as of June 2023

Views: 0
Downloads: 1