Decentralized Control Using the Hierarchical Interface-based Supervisory Control Approach
Huailiang Liu, Ryan J. Leduc, S.L. Ricker · 2014
The Hierarchical Interface-Based Supervisory Control (HISC) framework was pro-posed to address challenges inherent in modeling the behavior of large, complex systems. Such systems are often characterized by decentralized or distributed architectures, where agents have only a partial view of the system behavior and cooperate to achieve the control objective, aspects unsupported by HISC. We intro-duce the Hierarchical Interface-Based Decentralized Supervisory Control (HIDSC) framework that extends HISC to decentralized control. In decentralized control, the specification must satisfy a property called co-observability. The verification of co-observability requires the (possibly intractable) construction of the complete system. To adapt this property for HIDSC, we pro-pose a per-component definition of co-observability along with a verification strat-egy that does not require the construction of the complete system. We provide and prove the necessary and sufficient conditions for supervisor existence in this