13 papers
Reachability Analysis for Power Systems with Heterogeneous Resources via Jordan Transformation
Damola Ajeyemi, Antonin Colot, Sairaj Dhople +2
This paper develops a computationally efficient framework for reachability analysis of transmission-level power system dynamics with synchronous generators, grid-forming and grid-f…
Trajectory-based Safety of Monotone Systems: Verification and Control Synthesis
Felipe Galarza-Jimenez, Majid Zamani, Saber Jafarpour
This paper presents a novel data-driven framework for the robust safety verification and safe control synthesis of unknown monotone discrete-time systems. While existing data-drive…
Monotone Neural Barrier Certificates
Saber Jafarpour, Alireza Nadali, Ashutosh Trivedi +1
This report presents a neurosymbolic framework for safety verification and control synthesis in high-dimensional monotone dynamical systems without relying on explicit models or co…
Non-Euclidean Monotone Operator Theory and Applications
Alexander Davydov, Saber Jafarpour, Anton V. Proskurnikov +1
While monotone operator theory is often studied on Hilbert spaces, many interesting problems in machine learning and optimization arise naturally in finite-dimensional vector space…
Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
Damola Ajeyemi, Saber Jafarpour, Emiliano Dall'Anese
Control Barrier Functions (CBFs) have been widely utilized in the design of optimization-based controllers and filters for dynamical systems to ensure forward invariance of a given…
Safety Verification of Nonlinear Stochastic Systems via Probabilistic Tube
Zishun Liu, Saber Jafarpour, Yongxin Chen
We address the problem of safety verification for nonlinear stochastic systems, specifically the task of certifying that system trajectories remain within a safe set with high prob…