3 papers
eess.SY2026
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…
eess.SY2026
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…
cs.FL2025
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…