Showing 2022Show all
2 papers · 1 filter
eess.SY2022
Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems
Jiří Balun, Tomáš Masopust
Opacity is an important system-theoretic property expressing whether a system may reveal its secret to a passive observer (an intruder) who knows the structure of the system but ha…
eess.SY2022
Hierarchical Supervisory Control under Partial Observation: Normality
Jan Komenda, Tomáš Masopust
Conditions preserving observability of specifications between the plant and its abstraction are essential for hierarchical supervisory control of discrete-event systems under parti…