3 papers
cs.RO2024
Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis
Karan Mahesh, Tyler M. Paine, Max L. Greene +6
Marine robots must maintain precise control and ensure safety during tasks like ocean monitoring, even when encountering unpredictable disturbances that affect performance. Designi…
eess.SY2024
Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops
Nicholas Rober, Jonathan P. How
Neural networks (NNs) are becoming increasingly popular in the design of control pipelines for autonomous systems. However, since the performance of NNs can degrade in the presence…
eess.SY2022
A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops
Nicholas Rober, Michael Everett, Songan Zhang +1
As neural networks become more integrated into the systems that we depend on for transportation, medicine, and security, it becomes increasingly important that we develop methods t…