Showing 2026Show all
3 papers · 1 filter
cs.FL2026
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…
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…