Shaowen Miao

Supervisory Control for Current-State E-Opacity Enforcement Under Encrypted Observations

2025

This paper presents a supervisory control approach to enforce current-state E-opacity in discrete-event systems under encrypted observations. In this context, encrypted observations represent a situation where the intruder and the supervisor have different observation capabilities: …