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