5 citations · 15 across the 17 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
eess.SY2026
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,…
eess.SY2026
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…