10 citations · 11 across the 15 of their papers we have counts for
15 papers
Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
Eleftherios E. Vlahakis, Arash Bahari Kordabad, Lars Lindemann +3
Multi-agent planning under Signal Temporal Logic (STL) is often hindered by collaborative tasks that lead to computational challenges due to the inherent high dimensionality of the…
Conformal Prediction-Based MPC for Stochastic Linear Systems
Lukas Vogel, Andrea Carron, Eleftherios E. Vlahakis +1
We propose a stochastic model predictive control (MPC) framework for linear systems subject to joint-in-time chance constraints under unknown disturbance distributions. Unlike exis…
Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications
Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas
We address control synthesis of stochastic discrete-time linear multi-agent systems under jointly chance-constrained collaborative signal temporal logic specifications in a distrib…
Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints
Arash Bahari Kordabad, Eleftherios E. Vlahakis, Lars Lindemann +3
In this paper, we propose a distributionally robust control synthesis for an agent with stochastic dynamics that interacts with other agents under uncertainties and constraints exp…
Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
Davide Peron, Victor Nan Fernandez-Ayala, Eleftherios E. Vlahakis +1
We consider multi-robot systems under recurring tasks formalized as linear temporal logic (LTL) specifications. To solve the planning problem efficiently, we propose a bottom-up ap…
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…
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.…
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…
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…
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…
Quantifying impact on safety from cyber-attacks on cyber-physical systems
Eleftherios Vlahakis, Gregory Provan, Gordon Werner +2
We propose a novel framework for modelling attack scenarios in cyber-physical control systems: we represent a cyber-physical system as a constrained switching system, where a singl…
Optimal Resource Scheduling and Allocation under Allowable Over-Scheduling
Wei Ren, Eleftherios Vlahakis, Nikolaos Athanasopoulos +1
This paper studies optimal scheduling and resource allocation under allowable over-scheduling. Formulating an optimisation problem where over-scheduling is embedded, we derive an o…
Constraints on GeV Dark Matter interaction with baryons, from a novel Dewar experiment
Xingchen Xu, Glennys R. Farrar
Dark matter which scatters off ordinary matter with a relatively large cross section cannot be constrained by deep underground WIMP experiments, due to the energy loss of DM along…
AIMD scheduling and resource allocation in distributed computing systems
Eleftherios Vlahakis, Nikolaos Athanasopoulos, Sean McLoone
We consider the problem of simultaneous scheduling and resource allocation of an incoming flow of requests to a set of computing units. By representing each computing unit as a nod…
Distributed LQR-based observer design for large-scale multi-agent networks
Eleftherios Vlahakis, George Halikias
In this paper, network of agents with identical dynamics is considered. The agents are assumed to be fed by self and neighboring output measurements, while the states are not avail…