26 citations · 115 across the 68 of their papers we have counts for
3 papers · 1 filter
Stability Analysis and Data-driven Verification via Recurrent Lyapunov Functions
Roy Siegelmann, Fernando Paganini, Enrique Mallada
Lyapunov's direct method is a cornerstone of stability and control, but it hinges on finding a Lyapunov function, a task demanding ingenuity or computation. A key difficulty is tha…
On the Limits of Sampling-Based Reachability: Geometry, Dynamics, and Sample Complexity
Jixian Liu, Ihab Tabbara, Hussein Sibai +1
Reachability analysis is central to safety-critical control, robotics, and neural network verification, but classical computational methods, such as Hamilton--Jacobi reachability a…
Decentralized Stability Certificates in IBR-Dominated Grids: The Role of the Network State
Zhimeng Wang, Sushobhan Chatterjee, Sijia Geng +2
Small-signal instabilities, such as unforced sub-synchronous oscillations (SSOs), are increasingly observed in inverter-based resource (IBR) dominated grids. While decentralized st…