Showing 2025Show all
2 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…