Decentralized supervisory control with conditional decisions: supervisor realization

Tae-Sic Yoo, S. Lafortune
2005 IEEE Transactions on Automatic Control  
The strategy of decentralized supervisory control of discreteevent 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.
doi:10.1109/tac.2005.852556 fatcat:wpxq34pysbclrm7fqmuehx5qly