8 papers
Supervisory Control under Partial Observation: Where Observation Consistency Becomes Decidable
Shaowen Miao, Jan Komenda, Tomáš Masopust +1
Observation consistency (OC) and modified observation consistency (MOC) are structural conditions used in hierarchical and modular supervisory control under partial observation. Th…
Deciding Relabeling Observation Consistency in Multi-Agent Discrete-Event Systems
Tomáš Masopust
Scalable supervisors for multi-agent discrete-event systems control groups of isomorphic agents through a common template. Under partial observation, such a supervisor is maximally…
Complexity of Local Observation Consistency in Discrete-Event Systems
Tomáš Masopust
Hierarchical and multi-agent supervisory control under partial observation relies on local consistency conditions between a plant and its abstraction: local observation consistency…
Secret Protection in Labeled Petri Nets
Stefan Haar, Tomáš Masopust, Jakub Večeřa
We study the secret protection problem (SPP), where the objective is to find a policy of minimal cost ensuring that every execution path from an initial state to a secret state con…
On the Secret Protection Problem in Discrete-Event Systems
Tomáš Masopust, Jakub Večeřa
The secret protection problem (SPP) seeks to synthesize a minimum-cost policy ensuring that every execution from an initial state to a secret state includes a sufficient number of…
On Algorithms verifying Initial-and-Final-State Opacity: Complexity, Special Cases, and Comparison
Tomáš Masopust, Petr Osička
Opacity is a general framework modeling security properties of systems interacting with a passive attacker. Initial-and-final-state opacity (IFO) generalizes the classical notions…
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…
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…