Showing eess.SYShow all
3 papers · 1 filter
eess.SY2025
On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis
Bohan Cui, Yu Chen, Alessandro Giua +1
In this work, we investigate the problem of synthesizing property-enforcing supervisors for partially-observed discrete-event systems (DES). Unlike most existing approaches, where…
eess.SY2025
A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
Bohan Cui, Xinyi Yu, Alessandro Giua +1
In this paper, we investigate the control synthesis problem for Signal Temporal Logic (STL) specifications in the presence of uncontrollable agents. Existing works mainly address t…
eess.SY2024
Algebraic Connectivity Control and Maintenance in Multi-Agent Networks under Attack
Wenjie Zhao, Diego Deplano, Zhiwu Li +2
This paper studies the problem of increasing the connectivity of an ad-hoc peer-to-peer network subject to cyber-attacks targeting the agents in the network. The adopted strategy i…