1 citations · 1 across the 4 of their papers we have counts for
4 papers
Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference
Navid Hashemi, Xin Qin, Lars Lindemann +1
We consider data-driven reachability analysis of discrete-time stochastic dynamical systems using conformal inference. We assume that we are not provided with a symbolic representa…
Conformance Testing for Stochastic Cyber-Physical Systems
Xin Qin, Navid Hashemi, Lars Lindemann +1
Conformance is defined as a measure of distance between the behaviors of two dynamical systems. The notion of conformance can accelerate system design when models of varying fideli…
Convex Optimization-based Policy Adaptation to Compensate for Distributional Shifts
Navid Hashemi, Justin Ruths, Jyotirmoy V. Deshmukh
Many real-world systems often involve physical components or operating environments with highly nonlinear and uncertain dynamics. A number of different control algorithms can be us…
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-…