Decentralized supervisory control with conditional decisions: supervisor realization
Tae-Sic Yoo, Stéphane Lafortune · IEEE Transactions on Automatic Control · 2005
The strategy of decentralized supervisory control of discrete-event systems using so-called "conditional decisions" initiated in prior work is further investigated in this note. Specifically, a constructive methodology for realizing supervisors that employ conditional decisions is developed. This methodology is based on the construction of (deterministic) observers of nondeterministic automata that are built so as to track violations of C&P and D&A coobservability.