Hierarchical supervisory control of discrete-event systems under partial observation
Mohsen Zamani Fekri, Shahin Hashtrudi-Zad · 2009
In this paper, the setup of Zhong-Wonham for hierarchical control of discrete-event systems is extended to the case of control under partial observation. A suitable reporting map is developed for sending information to the high-level supervisor. A Partially-Observable-Strict-Output-Control-Consistency (PO-SOCC) property is introduced to ensure hierarchical consistency.