Nonblocking Supervisory Control of Nondeterministic Systems
Michael A Heymann, Feng Lin · European Consortium for Mathematics in Industry · 1997
In this paper we extend the theory of supervisory control of nondeterministic discrete-event systems, subject to nondeterministic specification, developed in [9]. We focus our attention on nonblocking and liveness considerations and develop algorithms for nonblocking-supervisor synthesis.