Discrete event control of nondeterministic systems

Nondeterminism in discrete-event systems may occur as a result of partial modeling. For the adequate description of nondeterministic systems and nondeterministic phenomena, Heyman's trajectory-model formalism (1990, 1991) is employed. In the present paper we develop a theory of supervisory control for nondeterministic discrete-event systems subject to trajectory-model specifications. We show how well known algorithms for supervisory control (of deterministic systems) under partial observation can be adapted for synthesis of supervisors for nondeterministic systems.