52 citations · 98 across the 37 of their papers we have counts for
3 papers · 1 filter
Data-Driven Compositional Safety Verification of Interconnected Monotone Systems
Amirreza Alavi, Majid Zamani, Saber Jafarpour
This paper introduces a sample-efficient compositional method for formal safety verification of interconnected monotone systems without requiring explicit models of the local subsy…
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…