Showing 2024Show all
2 papers · 1 filter
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…