activity
20162026
most citedControl Design for Risk-Based Signal Temporal Logic Specifications

21 citations · 129 across the 42 of their papers we have counts for

collaborators
Showing 2024Show all

7 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

A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems

Gregorio Marchesini, Siyuan Liu, Lars Lindemann +1

We consider the problem of decomposing a global task assigned to a multi-agent system, expressed as a formula within a fragment of Signal Temporal Logic (STL), under range-limited…

eess.SY2024

Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies

Gregorio Marchesini, Siyuan Liu, Lars Lindemann +1

We introduce a novel distributed sampled-data control method tailored for heterogeneous multi-agent systems under a global spatio-temporal task with acyclic dependencies. Specifica…

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

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

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…