Document Zbl 1111.93053

Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor. (English) Zbl 1111.93053

Automatica 43, No. 2, 377-383 (2007).

Summary: This paper addresses a decentralized supervisory control problem for an uncertain discrete event system (DES) modeled by a set of possible nondeterministic automata with unidentified internal events. For a given language specification, we present the existence condition of a robust and nonblocking decentralized supervisor that achieves this specification for any nondeterministic model in the set. In particular, we show that the given language specification can be achieved based on the properties of its controllability and coobservability with respect to the overall nominal behavior of the uncertain DES. It is further shown that the existence of a nonblocking decentralized supervisor can be examined with a trajectory model of the language specification.

Cited in 1 Document

MSC:

93C65	Discrete event control/observation systems
93B51	Design techniques (robust design, computer-aided design, etc.)

Keywords:

decentralized supervisory control; nondeterministic discrete event systems; robust supervisors; nonblockingness; trajectory models

Software:

UMDES

Cite Review PDF

Full Text: DOI

References:

[1]	Cassandras, C. G.; Lafortune, S., Introduction to discrete event systems (1999), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht · Zbl 0934.93001
[2]	Heymann, M.; Lin, F., Nonblocking supervisory control of nondeterministic systems, (Helmke, U.; Pratzel-Wolters, D.; Zerz, E., Operators, Systems and Linear Algebra (1997)), 99-110 · Zbl 1058.93519
[3]	Kumar, R.; Shayman, M. A., Nonblocking supervisory control of nondeterministic systems via prioritized synchronization, IEEE Transactions on Automatic Control, 41, 8, 1160-1175 (1996) · Zbl 0864.93017
[4]	Park, S.-J.; Lim, J.-T., Decentralized supervisory control of discrete event systems with model uncertainty, IEICE Transactions on Information and Systems, E83-D, 12, 2174-2177 (2000)
[5]	Park, S.-J.; Lim, J.-T., Robust and nonblocking supervisory control of nondeterministic discrete event systems using trajectory models, IEEE Transactions on Automatic Control, 47, 4, 655-658 (2002) · Zbl 1364.93479
[6]	Ramadge. P. J., & Wonham, W. M. (1987). Supervisory control of a class of discrete event processes. SIAM J. Control Optim., 25(1), 206-230.; Ramadge. P. J., & Wonham, W. M. (1987). Supervisory control of a class of discrete event processes. SIAM J. Control Optim., 25(1), 206-230. · Zbl 0618.93033
[7]	Rudie, K.; Wonham, W. M., Think globally, act locally: decentralized supervisory control, IEEE Transactions on Automatic Control, 37, 1692-1708 (1992) · Zbl 0778.93002
[8]	Yoo, T.-S.; Lafortune, S., A general architecture for decentralized supervisory control of discrete-event systems, Discrete Event Dynamic Systems: Theory and Applications, 12, 3, 335-377 (2002) · Zbl 1048.93067

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.