Nonblocking Supervisory Control of Nondeterministic Systems

In this paper we extend the theory of supervisory control of nondeterministic discrete-event systems, subject to nondeterministic specification, developed in [11]. We focus our attention on nonblocking and liveness considerations and develop algorithms for nonblocking-supervisor synthesis. 1 Introduction Most of the published research on control of discrete-event systems (DES) has focused on systems that are modeled as deterministic finite state machines. For such systems, an extensive theory has been developed [27]. A great deal of attention was also given to the control of partially observed discrete-event systems [18] [19], in which only a subset of the system's events are available for external observation. For such systems, necessary and sufficient conditions for existence of supervisors [18] [26] [27], algorithms for supervisor synthesis [1] [2] [3] [18] [19] [20], for off-line as well as on-line implementation [3] [9], have been obtained, and a wide variety of related questions..