4 papers
Security-Aware Planning and Control of Multi-Agent Systems with LTL Tasks
Georgios Mitsos, Dimos V. Dimarogonas, Siyuan Liu
This paper presents a secure-by-construction planning and control framework for multi-agent systems subject to linear temporal logic (LTL) specifications. The framework protects se…
Control of Multi-agent Systems under STL Specifications based on Prescribed Performance Observers
Tommaso Zaccherini, Siyuan Liu, Dimos V. Dimarogonas
This paper addresses decentralized control of large-scale heterogeneous multi-agent systems subject to bounded external disturbances and limited communication, with the objective o…
Compressing Correct-by-Design Synthesis for Stochastic Homogeneous Multi-Agent Systems with Counting LTL
Xinyuan Qiu, Ruohan Wang, Siyuan Liu +1
Correct-by-design synthesis provides a principled framework for establishing formal safety guarantees for stochastic multi-agent systems (MAS). However, conventional approaches bas…
On Approximate Opacity of Stochastic Control Systems
Siyuan Liu, Xiang Yin, Dimos V. Dimarogonas +1
This paper investigates an important class of information-flow security property called opacity for stochastic control systems. Opacity captures whether a system's secret behavior…