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.SY2024
On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications
Bohan Cui, Ziyue Ma, Shaoyuan Li +1
In this paper, we investigate the property verification problem for partially-observed DES from a new perspective. Specifically, we consider the problem setting where the system is…