Concurrency and state feedback in discrete-event systems

In parallel and/or distributed architectures, strict concurrency (simultaneity of events) may have critical implications for the validity of a proposed supervisory control law. The authors consider this problem in the Ramadge-Wonham framework of controlled automata. They derive a simpler description of the concept of weak interaction introduced in earlier work, together with new necessary and sufficient conditions for state-feedback control to remain valid in the presence of strict concurrency.<>