collaborators

1 paper

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…