2 papers
eess.SY2026
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…
eess.SY2026
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…