1 citations · 1 across the 10 of their papers we have counts for
4 papers · 1 filter
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…
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…
Games in Public Announcement: How to Reduce System Losses in Optimistic Blockchain Mechanisms
Siyuan Liu, Yulong Zeng
Announcement games, where information is disseminated by announcers and challenged by validators, are prevalent in real-world scenarios. Validators take effort to verify the validi…
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…