6 papers · 1 filter
Communication-Constrained STL Task Decomposition through Convex Optimization
Gregorio Marchesini, Siyuan Liu, Lars Lindemann +1
In this work, we propose a method to decompose signal temporal logic (STL) tasks for multi-agent systems subject to constraints imposed by the communication graph. Specifically, we…
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…
Efficient STL Control Synthesis under Asynchronous Temporal Robustness Constraints
Xinyi Yu, Xiang Yin, Lars Lindemann
In time-critical systems, such as air traffic control systems, it is crucial to design control policies that are robust to timing uncertainty. Recently, the notion of Asynchronous…
Combined Left and Right Temporal Robustness for Control under STL Specifications
Alëna Rodionova, Lars Lindemann, Manfred Morari +1
Many modern autonomous systems, particularly multi-agent systems, are time-critical and need to be robust against timing uncertainties. Previous works have studied left and right t…
Risk Verification of Stochastic Systems with Neural Network Controllers
Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov +1
Motivated by the fragility of neural network (NN) controllers in safety-critical applications, we present a data-driven framework for verifying the risk of stochastic dynamical sys…