52 citations · 201 across the 50 of their papers we have counts for
6 papers · 1 filter
Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation
Hardik Parwana, Mitchell Black, Bardh Hoxha +4
Quadratic programs (QP) subject to multiple time-dependent control barrier function (CBF) based constraints have been used to design safety-critical controllers. However, ensuring…
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-…
Timed Partial Order Inference Algorithm
Kandai Watanabe, Bardh Hoxha, Danil Prokhorov +4
In this work, we propose the model of timed partial orders (TPOs) for specifying workflow schedules, especially for modeling manufacturing processes. TPOs integrate partial orders…