Reliable conditional-coobservability for decentralized supervisory control of discrete event systems with conditional decisions
Sho Yoshida, Shigemasa Takai · 2016
We consider a reliable decentralized supervisory control problem for discrete event systems in the conditional architecture. This reliable decentralized control problem requires synthesizing local supervisors such that a given specification can be achieved without blocking even if local control decisions of some local supervisors are not available for making the global control decision. We introduce a notion of reliable conditional-coobservability and show that reliable conditional-coobservability together with reliable controllability and Lm(G)-closedness is a necessary and sufficient condition for the existence of a solution to the reliable decentralized control problem. In addition, we develop a method for verifying reliable conditional-coobservability.