Nonblocking Supervisory Control of Nondeterministic Systems

Abstract

In this paper we extend the theory of supervisory control of nondeterministic discrete-event systems, subject to nondeterministic speci cation, deve l o p e d i n 1 1 ] . W e focus our attention on nonblocking and liveness considerations and develop algorithms for nonblocking-supervisor synthesis.

Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution

“…Therefore, we have a situation where our "plant" and "specification" are both nondeterministic. Research that addresses this situation is presented in Overkamp (1997), Zhou et al (2006) and Heymann and Lin (1996). The work of Overkamp (1997) only addresses deadlock avoidance and its construction algorithm for building supervisors has exponential complexity.…”

“…A limitation of Zhou et al (2006) is that supervisor synthesis is not addressed other than to mention that a search can be performed over the cartesian product of the plant and specification state spaces. The work of Heymann and Lin (1996) handles the situation of a nondeterministic plant and specification by converting the models to partially observed deterministic ones. At this point, traditional techniques for control under partial observation can be applied.…”

Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation

“…It is also natural that a specification (control objective) is described by identified events. In general, is often used to represent internal events in nondeterministic DESs (Kumar and Shayman 1996;Heymann and Lin 1997). However, also represents a null string, and therefore in order to avoid any confusion, we use D in this article to denote an internal event instead of .…”

“…As presented by Heymann and Lin (1997), the following two procedures are required for this. The first step is the extension of a nondeterministic automaton G l into a deterministic automatonG l by introducing some hypothetical uncontrollable and unobservable events.…”

Modular Synthesis of Discrete Controllers

“…Heymann [4] proposes a framework for supervisory control based on the failure trace semantics, which has been extended to handle nonblocking [5]. He only considers a weak kind of congruence, called language-congruence.…”