52 citations · 201 across the 50 of their papers we have counts for
11 papers · 1 filter
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
Yiqi Zhao, Emily Zhu, Bardh Hoxha +3
Cyber-physical systems (CPS) designed in simulators, often consisting of multiple interacting agents (e.g. in multi-agent formations), behave differently in the real-world. We want…
Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
Navid Hashemi, Bardh Hoxha, Danil Prokhorov +2
This paper introduces a model-based approach for training feedback controllers for an autonomous agent operating in a highly nonlinear (albeit deterministic) environment. We desire…
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-…
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives
Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh +4
In this paper, we consider the problem of synthesizing a controller in the presence of uncertainty such that the resulting closed-loop system satisfies certain hard constraints whi…
Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions
Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi +2
In this paper, we study Stochastic Control Barrier Functions (SCBFs) to enable the design of probabilistic safe real-time controllers in presence of uncertainties and based on nois…
Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
A framework for the elicitation and debugging of formal specifications for Cyber-Physical Systems is presented. The elicitation of specifications is handled through a graphical int…
On-Line Monitoring for Temporal Logic Robustness
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
In this paper, we provide a Dynamic Programming algorithm for on-line monitoring of the state robustness of Metric Temporal Logic specifications with past time operators. We comput…
Conformance Testing as Falsification for Cyber-Physical Systems
Houssam Abbas, Bardh Hoxha, Georgios Fainekos +3
In Model-Based Design of Cyber-Physical Systems (CPS), it is often desirable to develop several models of varying fidelity. Models of different fidelity levels can enable mathemati…