×

Detectability of networked discrete event systems. (English) Zbl 1398.93221

Summary: Detectability of discrete event systems, defined as the ability to determine the current and subsequent states, is very important in diagnosis, control, and many other applications. So far only detectability of non-networked discrete event systems has been defined and investigated. Non-networked discrete event systems assume that all the communications are reliable and instantaneous without any delays or losses. This assumption is often violated in networked systems. In this paper, we study detectability for networked discrete event systems. We investigate the impact of communication delays and losses on detectability. We define two classes of detectabilities: network detectability for determining the state of a networked discrete event systems and network D-detectability for distinguishing certain pairs of states of the systems. Necessary and sufficient conditions for network detectability and network D-detectability are derived. Methods to check network detectability and network D-detectability are also developed. Examples are given to illustrate the results.

MSC:

93C65 Discrete event control/observation systems
93B07 Observability
90B18 Communication networks in operations research

Software:

UMDES
PDFBibTeX XMLCite
Full Text: DOI Link

References:

[1] Balemi, S, Input/output discrete event processes and communication delays, Discret Event Dyn Syst Theory Appl, 4, 41-85, (1994) · Zbl 0790.93002 · doi:10.1007/BF01516010
[2] Carvalho, LK; Basilio, JC; Moreira, MV, Robust diagnosability of discrete event systems subject to intermittent sensor failures, Proc 10th Int Workshop Discret Event Syst, 43, 84-9, (2010)
[3] Cassandras CG, Lafortune S (2007) Introduction to discrete event systems, 2nd edn. Springer
[4] Chung, SL; Lafortune, S; Lin, F, Limited lookahead policies in supervisory control of discrete event systems, IEEE Trans Autom Control, 37, 1921-1935, (1992) · Zbl 0773.93004 · doi:10.1109/9.182478
[5] Dubreil, J; Darondeau, P; Marchand, H, Supervisory control for opacity, IEEE Trans Autom Control, 55, 1089-1100, (2010) · Zbl 1368.93372 · doi:10.1109/TAC.2010.2042008
[6] Gupta, RA; Chow, MY, Networked control system: overview and research trends, IEEE Trans Indus Electron, 57, 2527-2535, (2010) · doi:10.1109/TIE.2009.2035462
[7] Hespanha, JP; Naghshtabrizi, P; Xu, Y, A survey of recent results in networked control systems, Proc IEEE, 95, 138-162, (2007) · doi:10.1109/JPROC.2006.887288
[8] Heymann, M; Lin, F, On-line control of partially observed discrete event systems, Discret Event Dyn Syst Theory Appl, 4, 221-236, (1994) · Zbl 0811.93004 · doi:10.1007/BF01438708
[9] Jacob, R; Lesage, JJ; Faure, JM, Opacity of discrete event systems: models, validation and quantification, IFAC-PapersOnLine, 48, 174-181, (2015) · doi:10.1016/j.ifacol.2015.06.490
[10] Lin, F, Robust and adaptive supervisory control of discrete event systems, IEEE Trans Autom Control, 38, 1848-1852, (1993) · Zbl 0792.93076 · doi:10.1109/9.250564
[11] Lin, F, Opacity of discrete event systems and its applications, Automatica, 47, 496-503, (2011) · Zbl 1216.93020 · doi:10.1016/j.automatica.2011.01.002
[12] Lin, F, Control of networked discrete event systems: dealing with communication delays and losses, SIAM J Control Optim, 52, 1276-1298, (2014) · Zbl 1292.93083 · doi:10.1137/130914942
[13] Lin, F; Wonham, WM, On observability of discrete-event systems, Inform Sci, 44, 173-198, (1988) · Zbl 0644.93008 · doi:10.1016/0020-0255(88)90001-1
[14] Lin, F; Wonham, WM, Decentralized supervisory control of discrete-event systems, Inform Sci, 44, 199-224, (1988) · Zbl 0679.68042 · doi:10.1016/0020-0255(88)90002-3
[15] Nunes SEV, Moreira MV, Alves MVS, Carvalho LK, Basilio JC (2018) Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation. Discrete Event Dynamic Systems: Theory and Applications, to appear · Zbl 1398.93219
[16] Ozveren, CM; Willsky, AS, Observability of discrete event dynamic systems, IEEE Trans Autom Control, 35, 797-806, (1990) · Zbl 0709.68030 · doi:10.1109/9.57018
[17] Park, SJ; Cho, KH, Supervisory control of discrete event systems with communication delays and partial observations, Syst Control Lett, 56, 106-112, (2007) · Zbl 1112.93049 · doi:10.1016/j.sysconle.2006.08.002
[18] Park, SJ; Cho, KH, Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structure, Automatica, 43, 738-743, (2007) · Zbl 1222.93016 · doi:10.1016/j.automatica.2006.10.016
[19] Ramadge PJ (1986) Observability of discrete event systems. In: 1986 25th IEEE Conference on decision and control, vol 25, pp 1108-1112
[20] Ramadge, PJ; Wonham, WM, Supervisory control of a class of discrete event processes, SIAM J Control Optim, 25, 206-230, (1987) · Zbl 0618.93033 · doi:10.1137/0325013
[21] Rudie, K; Wonham, WM, Think globally, act locally: decentralized supervisory control, IEEE Trans Autom Control, 37, 1692-1708, (1992) · Zbl 0778.93002 · doi:10.1109/9.173140
[22] Rudie, K; Lafortune, S; Lin, F, Minimal communication in a distributed discrete event system, IEEE Trans Autom Control, 48, 1965-1970, (2003) · Zbl 1364.93482 · doi:10.1109/TAC.2003.812780
[23] Saboori A, Hadjicostis CN (2007) Notions of security and opacity in discrete event systems. In: Proceedings of the 46th IEEE conference on decision and control, pp 5056-5061
[24] Saboori A, Hadjicostis CN (2008) Opacity-enforcing supervisory strategies for secure discrete event systems. In: Proceedings of the 47th IEEE conference on decision and control, pp 889-894
[25] Saboori, A; Hadjicostis, CN, Verification of initial-state opacity in security applications of discrete event systems, Inform Sci, 246, 115-132, (2013) · Zbl 1320.68119 · doi:10.1016/j.ins.2013.05.033
[26] Sadid, WH; Ricker, L; Hashtrudi-Zad, S, Robustness of synchronous communication protocols with delay for decentralized discrete-event control, Discret Event Dyn Syst, 25, 159-176, (2015) · Zbl 1328.93169 · doi:10.1007/s10626-014-0184-8
[27] Sampath, M; Sengupta, R; Lafortune, S; Sinnamohideen, K; Teneketzis, D, Diagnosability of discrete event systems, IEEE Trans Autom Control, 40, 1555-1575, (1995) · Zbl 0839.93072 · doi:10.1109/9.412626
[28] Sampath, M; Sengupta, R; Lafortune, S; Sinnamohideen, K; Teneketzis, D, Failure diagnosis using discrete event models, IEEE Trans Control Syst Technol, 4, 105-124, (1996) · Zbl 0941.68613 · doi:10.1109/87.486338
[29] Shu, S; Lin, F, Generalized detectability for discrete event systems, Syst Control Lett, 60, 310-317, (2011) · Zbl 1214.93066 · doi:10.1016/j.sysconle.2011.02.001
[30] Shu, S; Lin, F; Ying, H, Detectability of discrete event systems, IEEE Trans Autom Control, 52, 2356-2359, (2007) · Zbl 1366.93366 · doi:10.1109/TAC.2007.910713
[31] Wang, W; Lafortune, S; Lin, F, On the minimization of communication in networked systems with a central station, Discret Event Dyn Syst Theory Appl, 18, 415-443, (2008) · Zbl 1176.90093 · doi:10.1007/s10626-008-0045-4
[32] Wang, W; Lafortune, S; Lin, F, Minimization of communication of event occurrences in acyclic discrete event systems, IEEE Trans Autom Control, 53, 2197-2202, (2008) · Zbl 1367.93377 · doi:10.1109/TAC.2008.929873
[33] Wang, W; Lafortune, S; Lin, F; Girard, AR, Minimization of dynamic sensor activation in discrete event systems for the purpose of control, IEEE Trans Autom Control, 55, 2447-2461, (2010) · Zbl 1368.93393 · doi:10.1109/TAC.2010.2046062
[34] Yoo, TS; Lafortune, S, Polynomial-time verification of diagnosability of partially observed discrete-event systems, IEEE Trans Autom Control, 47, 1491-1495, (2002) · Zbl 1364.93176 · doi:10.1109/TAC.2002.802763
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.