{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T14:33:40Z","timestamp":1784212420846,"version":"3.55.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2018,5,12]],"date-time":"2018-05-12T00:00:00Z","timestamp":1526083200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,5,12]],"date-time":"2018-05-12T00:00:00Z","timestamp":1526083200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1507096"],"award-info":[{"award-number":["1507096"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61673297"],"award-info":[{"award-number":["61673297"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1007\/s10626-018-0268-y","type":"journal-article","created":{"date-parts":[[2018,5,12]],"date-time":"2018-05-12T07:58:31Z","timestamp":1526111911000},"page":"449-470","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":32,"title":["Detectability of networked discrete event systems"],"prefix":"10.1007","volume":"28","author":[{"given":"Yazeed","family":"Sasi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6831-4458","authenticated-orcid":false,"given":"Feng","family":"Lin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,5,12]]},"reference":[{"issue":"1","key":"268_CR1","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF01516010","volume":"4","author":"S Balemi","year":"1994","unstructured":"Balemi S (1994) Input\/output discrete event processes and communication delays. Discret Event Dyn Syst Theory Appl 4(1):41\u201385","journal-title":"Discret Event Dyn Syst Theory Appl"},{"issue":"12","key":"268_CR2","first-page":"84","volume":"43","author":"LK Carvalho","year":"2010","unstructured":"Carvalho LK, Basilio JC, Moreira MV (2010) Robust diagnosability of discrete event systems subject to intermittent sensor failures. Proc 10th Int Workshop Discret Event Syst 43(12):84\u20139","journal-title":"Proc 10th Int Workshop Discret Event Syst"},{"key":"268_CR3","doi-asserted-by":"crossref","unstructured":"Cassandras CG, Lafortune S (2007) Introduction to discrete event systems, 2nd edn. Springer","DOI":"10.1007\/978-0-387-68612-7"},{"issue":"12","key":"268_CR4","doi-asserted-by":"publisher","first-page":"1921","DOI":"10.1109\/9.182478","volume":"37","author":"SL Chung","year":"1992","unstructured":"Chung SL, Lafortune S, Lin F (1992) Limited lookahead policies in supervisory control of discrete event systems. IEEE Trans Autom Control 37(12):1921\u20131935","journal-title":"IEEE Trans Autom Control"},{"issue":"5","key":"268_CR5","doi-asserted-by":"publisher","first-page":"1089","DOI":"10.1109\/TAC.2010.2042008","volume":"55","author":"J Dubreil","year":"2010","unstructured":"Dubreil J, Darondeau P, Marchand H (2010) Supervisory control for opacity. IEEE Trans Autom Control 55(5):1089\u20131100","journal-title":"IEEE Trans Autom Control"},{"issue":"7","key":"268_CR6","doi-asserted-by":"publisher","first-page":"2527","DOI":"10.1109\/TIE.2009.2035462","volume":"57","author":"RA Gupta","year":"2010","unstructured":"Gupta RA, Chow MY (2010) Networked control system: overview and research trends. IEEE Trans Indus Electron 57(7):2527\u20132535","journal-title":"IEEE Trans Indus Electron"},{"issue":"1","key":"268_CR7","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1109\/JPROC.2006.887288","volume":"95","author":"JP Hespanha","year":"2007","unstructured":"Hespanha JP, Naghshtabrizi P, Xu Y (2007) A survey of recent results in networked control systems. Proc IEEE 95(1):138\u2013162","journal-title":"Proc IEEE"},{"issue":"3","key":"268_CR8","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF01438708","volume":"4","author":"M Heymann","year":"1994","unstructured":"Heymann M, Lin F (1994) On-line control of partially observed discrete event systems. Discret Event Dyn Syst Theory Appl 4(3):221\u2013236","journal-title":"Discret Event Dyn Syst Theory Appl"},{"issue":"7","key":"268_CR9","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1016\/j.ifacol.2015.06.490","volume":"48","author":"R Jacob","year":"2015","unstructured":"Jacob R, Lesage JJ, Faure JM (2015) Opacity of discrete event systems: models, validation and quantification. IFAC-PapersOnLine 48(7):174\u2013181","journal-title":"IFAC-PapersOnLine"},{"issue":"12","key":"268_CR10","doi-asserted-by":"publisher","first-page":"1848","DOI":"10.1109\/9.250564","volume":"38","author":"F Lin","year":"1993","unstructured":"Lin F (1993) Robust and adaptive supervisory control of discrete event systems. IEEE Trans Autom Control 38(12):1848\u20131852","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"268_CR11","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1016\/j.automatica.2011.01.002","volume":"47","author":"F Lin","year":"2011","unstructured":"Lin F (2011) Opacity of discrete event systems and its applications. Automatica 47(3):496\u2013503","journal-title":"Automatica"},{"issue":"2","key":"268_CR12","doi-asserted-by":"publisher","first-page":"1276","DOI":"10.1137\/130914942","volume":"52","author":"F Lin","year":"2014","unstructured":"Lin F (2014) Control of networked discrete event systems: dealing with communication delays and losses. SIAM J Control Optim 52(2):1276\u20131298","journal-title":"SIAM J Control Optim"},{"issue":"3","key":"268_CR13","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0020-0255(88)90001-1","volume":"44","author":"F Lin","year":"1988","unstructured":"Lin F, Wonham WM (1988a) On observability of discrete-event systems. Inform Sci 44(3):173\u2013198","journal-title":"Inform Sci"},{"issue":"3","key":"268_CR14","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0020-0255(88)90002-3","volume":"44","author":"F Lin","year":"1988","unstructured":"Lin F, Wonham WM (1988b) Decentralized supervisory control of discrete-event systems. Inform Sci 44(3):199\u2013224","journal-title":"Inform Sci"},{"key":"268_CR15","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/s10626-017-0265-6"},{"issue":"7","key":"268_CR16","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1109\/9.57018","volume":"35","author":"CM Ozveren","year":"1990","unstructured":"Ozveren CM, Willsky AS (1990) Observability of discrete event dynamic systems. IEEE Trans Autom Control 35(7):797\u2013806","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"268_CR17","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.sysconle.2006.08.002","volume":"56","author":"SJ Park","year":"2007","unstructured":"Park SJ, Cho KH (2007a) Supervisory control of discrete event systems with communication delays and partial observations. Syst Control Lett 56(2):106\u2013112","journal-title":"Syst Control Lett"},{"issue":"4","key":"268_CR18","doi-asserted-by":"publisher","first-page":"738","DOI":"10.1016\/j.automatica.2006.10.016","volume":"43","author":"SJ Park","year":"2007","unstructured":"Park SJ, Cho KH (2007b) Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structure. Automatica 43(4):738\u2013743","journal-title":"Automatica"},{"key":"268_CR19","doi-asserted-by":"crossref","unstructured":"Ramadge PJ (1986) Observability of discrete event systems. In: 1986 25th IEEE Conference on decision and control, vol 25, pp 1108\u20131112","DOI":"10.1109\/CDC.1986.267551"},{"issue":"1","key":"268_CR20","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206\u2013230","journal-title":"SIAM J Control Optim"},{"issue":"11","key":"268_CR21","doi-asserted-by":"publisher","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K Rudie","year":"1992","unstructured":"Rudie K, Wonham WM (1992) Think globally, act locally: decentralized supervisory control. IEEE Trans Autom Control 37(11):1692\u20131708","journal-title":"IEEE Trans Autom Control"},{"issue":"6","key":"268_CR22","doi-asserted-by":"publisher","first-page":"1965","DOI":"10.1109\/TAC.2003.812780","volume":"48","author":"K Rudie","year":"2003","unstructured":"Rudie K, Lafortune S, Lin F (2003) Minimal communication in a distributed discrete event system. IEEE Trans Autom Control 48(6):1965\u20131970","journal-title":"IEEE Trans Autom Control"},{"key":"268_CR23","doi-asserted-by":"crossref","unstructured":"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\u20135061","DOI":"10.1109\/CDC.2007.4434515"},{"key":"268_CR24","doi-asserted-by":"crossref","unstructured":"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\u2013894","DOI":"10.1109\/CDC.2008.4738646"},{"key":"268_CR25","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.ins.2013.05.033","volume":"246","author":"A Saboori","year":"2013","unstructured":"Saboori A, Hadjicostis CN (2013) Verification of initial-state opacity in security applications of discrete event systems. Inform Sci 246:115\u2013132","journal-title":"Inform Sci"},{"issue":"1","key":"268_CR26","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s10626-014-0184-8","volume":"25","author":"WH Sadid","year":"2015","unstructured":"Sadid WH, Ricker L, Hashtrudi-Zad S (2015) Robustness of synchronous communication protocols with delay for decentralized discrete-event control. Discret Event Dyn Syst 25(1):159\u2013176","journal-title":"Discret Event Dyn Syst"},{"issue":"9","key":"268_CR27","doi-asserted-by":"publisher","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1995) Diagnosability of discrete event systems. IEEE Trans Autom Control 40(9):1555\u20131575","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"268_CR28","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M Sampath","year":"1996","unstructured":"Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1996) Failure diagnosis using discrete event models. IEEE Trans Control Syst Technol 4(2):105\u2013124","journal-title":"IEEE Trans Control Syst Technol"},{"issue":"5","key":"268_CR29","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1016\/j.sysconle.2011.02.001","volume":"60","author":"S Shu","year":"2011","unstructured":"Shu S, Lin F (2011) Generalized detectability for discrete event systems. Syst Control Lett 60(5):310\u2013317","journal-title":"Syst Control Lett"},{"issue":"12","key":"268_CR30","doi-asserted-by":"publisher","first-page":"2356","DOI":"10.1109\/TAC.2007.910713","volume":"52","author":"S Shu","year":"2007","unstructured":"Shu S, Lin F, Ying H (2007) Detectability of discrete event systems. IEEE Trans Autom Control 52(12):2356\u20132359","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"268_CR31","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/s10626-008-0045-4","volume":"18","author":"W Wang","year":"2008","unstructured":"Wang W, Lafortune S, Lin F (2008a) On the minimization of communication in networked systems with a central station. Discret Event Dyn Syst Theory Appl 18 (3):415\u2013443","journal-title":"Discret Event Dyn Syst Theory Appl"},{"issue":"9","key":"268_CR32","doi-asserted-by":"publisher","first-page":"2197","DOI":"10.1109\/TAC.2008.929873","volume":"53","author":"W Wang","year":"2008","unstructured":"Wang W, Lafortune S, Lin F (2008b) Minimization of communication of event occurrences in acyclic discrete event systems. IEEE Trans Autom Control 53 (9):2197\u20132202","journal-title":"IEEE Trans Autom Control"},{"issue":"11","key":"268_CR33","doi-asserted-by":"publisher","first-page":"2447","DOI":"10.1109\/TAC.2010.2046062","volume":"55","author":"W Wang","year":"2010","unstructured":"Wang W, Lafortune S, Lin F, Girard AR (2010) Minimization of dynamic sensor activation in discrete event systems for the purpose of control. IEEE Trans Autom Control 55(11):2447\u20132461","journal-title":"IEEE Trans Autom Control"},{"issue":"9","key":"268_CR34","doi-asserted-by":"publisher","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","volume":"47","author":"TS Yoo","year":"2002","unstructured":"Yoo TS, Lafortune S (2002) Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Trans Autom Control 47(9):1491\u20131495","journal-title":"IEEE Trans Autom Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-018-0268-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-018-0268-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-018-0268-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T15:03:32Z","timestamp":1589727812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-018-0268-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,12]]},"references-count":34,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,9]]}},"alternative-id":["268"],"URL":"https:\/\/doi.org\/10.1007\/s10626-018-0268-y","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,5,12]]},"assertion":[{"value":"8 July 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 March 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 May 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}