화학공학소재연구정보센터
IEEE Transactions on Automatic Control, Vol.50, No.8, 1205-1211, 2005
Decentralized supervisory control with conditional decisions: Supervisor realization
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.