4 papers
Validation of Space Robotics in Underwater Environments via Disturbance Robustness Equivalency
Joris Verhagen, Elias Krantz, Chelsea Sidrane +9
We present an experimental validation framework for space robotics that leverages underwater environments to approximate microgravity dynamics. While neutral buoyancy conditions ma…
BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems
Chelsea Sidrane, Jana Tumova
Learning-enabled planning and control algorithms are increasingly popular, but they often lack rigorous guarantees of performance or safety. We introduce an algorithm for computing…
TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems
Chelsea Sidrane, Jana Tumova
Reachable set computation is an important tool for analyzing control systems. Simulating a control system can show general trends, but a formal tool like reachability analysis can…
Efficient Non-Myopic Layered Bayesian Optimization For Large-Scale Bathymetric Informative Path Planning
Alexander Kiessling, Ignacio Torroba, Chelsea Rose Sidrane +3
Informative path planning (IPP) applied to bathymetric mapping allows AUVs to focus on feature-rich areas to quickly reduce uncertainty and increase mapping efficiency. Existing me…