Complexity of Local Observation Consistency in Discrete-Event Systems
Systems and Control
2026-08-10 v1
Abstract
Hierarchical and multi-agent supervisory control under partial observation relies on local consistency conditions between a plant and its abstraction: local observation consistency (LOC) for the projection abstractions of hierarchical control, and local relabeling observation consistency (LROC) for the relabeling abstractions of multi-agent systems. Both are companions to a global condition and both have been used without their verification complexity being settled. We show that both are PSpace-complete for nondeterministic plants and decidable in polynomial time for deterministic plants.
Keywords
Cite
@article{arxiv.2608.10111,
title = {Complexity of Local Observation Consistency in Discrete-Event Systems},
author = {Tomáš Masopust},
journal= {arXiv preprint arXiv:2608.10111},
year = {2026}
}