25 citations · 78 across the 49 of their papers we have counts for
10 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…
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…