Nonblocking supervisory control of nondeterministic systems. (English) Zbl 1058.93519
Helmke, Uwe (ed.) et al., Operators, systems, and linear algebra. Three decades of algebraic systems theory. Dedicated to Paul A. Fuhrmann on the occasion of his 60th birthday. Stuttgart: B. G. Teubner (ISBN 3-519-02608-2). Eur. Consortium Math. Ind., 96-110 (1997).
Summary: In this paper we extend the theory of supervisory control of nondeterministic discrete-event systems, subject to nondeterministic specification, developed by us in [IEEE Trans. Autom. Control 43, No. 1, 3–17 (1998; Zbl 0991.93060)]. We focus our attention on nonblocking and liveness considerations and develop algorithms for nonblocking-supervisor synthesis.
For the entire collection see [Zbl 0873.00030].
For the entire collection see [Zbl 0873.00030].
MSC:
| 93C83 | Control/observation systems involving computers (process control, etc.) |
| 93B40 | Computational methods in systems theory (MSC2010) |
