activity
20242026
most citedEfficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing 2024Show all

5 papers · 1 filter

eess.SY2024

Conformal Prediction for Distribution-free Optimal Control of Linear Stochastic Systems

Eleftherios E. Vlahakis, Lars Lindemann, Pantelis Sopasakis +1

We address an optimal control problem for linear stochastic systems with unknown noise distributions and joint chance constraints using conformal prediction. Our approach involves…

eess.SY2024

Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic

Eleftherios E. Vlahakis, Lars Lindemann, Pantelis Sopasakis +1

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 predefine…

eess.SY2024

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications

Arash Bahari Kordabad, Eleftherios E. Vlahakis, Lars Lindemann +2

We consider distributionally robust optimal control of stochastic linear systems under signal temporal logic (STL) chance constraints when the disturbance distribution is unknown.…

eess.SY2024

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

Maico H. W. Engelaar, Zengjie Zhang, Eleftherios E. Vlahakis +3

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

eess.SY2024

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…