Abstract
The strategy of decentralized supervisory control of discrete-event systems using so-called 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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have