52 citations · 201 across the 50 of their papers we have counts for
4 papers · 2 filters
Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions
Shuo Yang, Mitchell Black, Georgios Fainekos +3
Control Barrier Functions (CBF) have provided a very versatile framework for the synthesis of safe control architectures for a wide class of nonlinear dynamical systems. Typically,…
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
Yiqi Zhao, Bardh Hoxha, Georgios Fainekos +2
Cyber-physical systems (CPS) designed in simulators behave differently in the real-world. Once they are deployed in the real-world, we would hence like to predict system failures d…
Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions
Mitchell Black, Georgios Fainekos, Bardh Hoxha +2
We propose a novel class of risk-aware control barrier functions (RA-CBFs) for the control of stochastic safety-critical systems. Leveraging a result from the stochastic level-cros…
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi +3
Signal Temporal Logic (STL) has become a popular tool for expressing formal requirements of Cyber-Physical Systems (CPS). The problem of verifying STL properties of neural network-…