Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation. (English) Zbl 1282.93177
Summary: For an uncertain nondeterministic discrete event system (DES) modelled as a set of possible nondeterministic finite state automata, uncontrollable events may subsequently occur before a control action issued by a robust supervisor is applied to the system due to delays in sensing, communicating and actuating. For an uncertain nondeterministic DES under such communication delays and partial observation, this article presents necessary and sufficient conditions for the existence of a robust and nonblocking supervisor to achieve a given language specification for any nondeterministic model in the set. Moreover, this article addresses a synthesis problem of a robust and nonblocking supervisor.
MSC:
93C65 | Discrete event control/observation systems |
93E03 | Stochastic systems in control theory (general) |
93A13 | Hierarchical systems |
94C15 | Applications of graph theory to circuits and networks |
Keywords:
robust nonblocking supervisors; nondeterministic discrete event systems; communication delaysReferences:
[1] | DOI: 10.1007/BF01516010 · Zbl 0790.93002 · doi:10.1007/BF01516010 |
[2] | DOI: 10.1109/TAC.2005.860237 · Zbl 1365.93285 · doi:10.1109/TAC.2005.860237 |
[3] | Chen XY, in Proceedings of CCECE/CCGEI pp 957– (2008) |
[4] | DOI: 10.1109/TSMCB.2006.870647 · doi:10.1109/TSMCB.2006.870647 |
[5] | Heymann M, Operators, Systems and Linear Algebra pp 99– (1997) |
[6] | DOI: 10.1109/9.533677 · Zbl 0864.93017 · doi:10.1109/9.533677 |
[7] | Lewis F, Smart Environments: Technologies, Protocols, and Applications (2004) |
[8] | DOI: 10.1109/9.250564 · Zbl 0792.93076 · doi:10.1109/9.250564 |
[9] | DOI: 10.1109/9.995044 · Zbl 1364.93479 · doi:10.1109/9.995044 |
[10] | DOI: 10.1016/j.automatica.2006.08.017 · Zbl 1111.93053 · doi:10.1016/j.automatica.2006.08.017 |
[11] | DOI: 10.1016/j.sysconle.2006.08.002 · Zbl 1112.93049 · doi:10.1016/j.sysconle.2006.08.002 |
[12] | DOI: 10.1137/0325013 · Zbl 0618.93033 · doi:10.1137/0325013 |
[13] | DOI: 10.1016/j.sysconle.2006.04.003 · Zbl 1100.93014 · doi:10.1016/j.sysconle.2006.04.003 |
[14] | DOI: 10.1145/565702.565708 · doi:10.1145/565702.565708 |
[15] | DOI: 10.1109/TAC.2004.834116 · Zbl 1365.93022 · doi:10.1109/TAC.2004.834116 |
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.