4 papers
Opacity Enforcing Supervisory Control with a Priori Unknown Supervisors
Bohan Cui, Ziyue Ma, Alessandro Giua +1
We investigate the enforcement of opacity in discrete-event systems via supervisory control. A system is said to be opaque if a passive intruder can never unambiguously infer wheth…
Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach
Bohan Cui, Jianing Zhao, Yu Chen +3
In this paper, we investigate the probabilistic formal verification of stochastic dynamical systems over continuous state spaces. Motivated by problems in state estimation and info…
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…
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…