4 papers · 1 filter
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…
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…