Showing 2026Show all
3 papers · 1 filter
eess.SY2026
Deterministic and Nonblocking Supervisory Control of Discrete Event Systems under Cyber Attacks
Feng Lin, Caisheng Wang, Jun Chen +1
We investigate deterministic and nonblocking supervisory control of discrete event systems under cyber-attacks using the ALTER (Attack Language for Transition-basEd Replacement) mo…
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…