Probabilistic tube-based control synthesis of stochastic multi-agent systems under signal temporal logic

no code implementations • 5 May 2024 • Eleftherios E. Vlahakis, Lars Lindemann, Pantelis Sopasakis, Dimos V. Dimarogonas

We consider the control design of stochastic discrete-time linear multi-agent systems (MASs) under a global signal temporal logic (STL) specification to be satisfied at a predefined probability.

Scheduling

Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications

no code implementations • 2 Apr 2024 • Maico H. W. Engelaar, Zengjie Zhang, Eleftherios E. Vlahakis, Mircea Lazar, Sofie Haesaert

This paper addresses the control synthesis of heterogeneous stochastic linear multi-agent systems with real-time allocation of signal temporal logic (STL) specifications.

Autonomous Driving Model Predictive Control

Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic

no code implementations • 12 Nov 2023 • 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 over an infinite horizon.

Scheduling