9 papers
Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints
Ahan Basu, Ratnangshu Das, Soumyodipta Nath +2
This paper presents a Spatiotemporal Tube (STT)-based control framework for general unknown nonlinear Euler-Lagrange (EL) systems subject to input constraints, with the objective o…
A Reactive Redistribution Mechanism for STL Tasks in Multi-Agent Systems Under Time-Varying Communication
Gregorio Marchesini, Bjarne Jan Jesse Moro, Siyuan Liu +2
We present a communication-aware task decomposition framework for multi-agent systems with collaborative relative configuration objectives specified in Signal Temporal Logic (STL),…
Correct-by-Design Control Synthesis of Stochastic Multi-agent Systems: a Robust Tensor-based Solution
Ruohan Wang, Siyuan Liu, Zhiyong Sun +1
Discrete-time stochastic systems with continuous spaces are hard to verify and control, even with MDP abstractions due to the curse of dimensionality. We propose an abstraction-bas…
Observer-based Control of Multi-agent Systems under STL Specifications
Tommaso Zaccherini, Siyuan Liu, Dimos V. Dimarogonas
This paper proposes a decentralized controller for large-scale heterogeneous multi-agent systems subject to bounded external disturbances, where agents must satisfy Signal Temporal…
Robust Estimation and Control for Heterogeneous Multi-agent Systems Based on Decentralized k-hop Prescribed Performance Observers
Tommaso Zaccherini, Siyuan Liu, Dimos V. Dimarogonas
We propose decentralized k-hop Prescribed Performance State and Input Observers for heterogeneous multi-agent systems subject to bounded external disturbances. In the proposed inpu…
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…