21 citations · 129 across the 42 of their papers we have counts for
10 papers · 1 filter
Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic
Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas
We consider the synthesis problem of a multi-agent system under signal temporal logic (STL) specifications representing bounded-time tasks that need to be satisfied recurrently ove…
Temporally Robust Multi-Agent STL Motion Planning in Continuous Time
Joris Verhagen, Lars Lindemann, Jana Tumova
Signal Temporal Logic (STL) is a formal language over continuous-time signals (such as trajectories of a multi-agent system) that allows for the specification of complex spatial an…
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…
Control of Nonlinear Systems Under Multiple Time-Varying Output Constraints: A Single Funnel Approach
Farhad Mehdifar, Lars Lindemann, Charalampos P. Bechlioulis +1
This paper proposes a novel control framework for handling (potentially coupled) multiple time-varying output constraints for uncertain nonlinear systems. First, it is shown that t…
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…