12 citations · 19 across the 18 of their papers we have counts for
4 papers · 1 filter
Safe, Real-Time Active Model Discrimination and Fault Diagnosis for Nonlinear Systems via Differentiable Reachability
Xinpei Ni, Melkior Ornik, Glen Chou +1
We present a safe, real-time algorithm for active fault diagnosis and model discrimination for uncertain continuous-time nonlinear systems with process and measurement disturbances…
Output Feedback Backup Control Barrier Functions: Safety Guarantees Under Input Bounds and State Estimation Error
David E. J. van Wijk, Tamas G. Molnar, Samuel Coogan +3
Guaranteeing the safety of controllers is vital for real-world applications, but is markedly difficult when the states are not perfectly known and when the control inputs are bound…
Differentiable Invariant Sets for Hybrid Limit Cycles with Application to Legged Robots
Varun Madabushi, Akash Harapanahalli, Samuel Coogan +1
For hybrid systems exhibiting periodic behavior, analyzing the invariant set containing the limit cycle is a natural way to study the robustness of the closed-loop system. However,…
Learning Certified Neural Network Controllers Using Contraction and Interval Analysis
Akash Harapanahalli, Samuel Coogan, Alexander Davydov
We present a novel framework that jointly trains a neural network controller and a neural Riemannian metric with rigorous closed-loop contraction guarantees using formal bound prop…