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.