9 papers
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…
Data-driven Acceleration of MPC with Guarantees
Agustin Castellano, Shijie Pan, Enrique Mallada
Model Predictive Control (MPC) is a powerful framework for optimal control but can be too slow for low-latency applications. We present a data-driven framework to accelerate MPC by…
Learning Reachability of Energy Storage Arbitrage
Tomás Tapia, Agustin Castellano, Enrique Mallada +1
Power systems face increasing weather-driven variability and, therefore, increasingly rely on flexible but energy-limited storage resources. Energy storage can buffer this variabil…
Safety-Critical Control via Recurrent Tracking Functions
Jixian Liu, Enrique Mallada
This paper addresses the challenge of synthesizing safety-critical controllers for high-order nonlinear systems, where constructing valid Control Barrier Functions (CBFs) remains c…
Data-driven Practical Stabilization of Nonlinear Systems via Chain Policies: Sample Complexity and Incremental Learning
Roy Siegelmann, Enrique Mallada
We propose a method for data-driven practical stabilization of nonlinear systems with provable guarantees, based on the concept of Nonparametric Chain Policies (NCPs). The approach…