{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:25:04Z","timestamp":1740122704688,"version":"3.37.3"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T00:00:00Z","timestamp":1537142400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1007\/s10626-018-0272-2","type":"journal-article","created":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T01:31:50Z","timestamp":1537147910000},"page":"509-537","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Computing observers from observation policies in discrete-event systems"],"prefix":"10.1007","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2054-8327","authenticated-orcid":false,"given":"David","family":"Sears","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karen","family":"Rudie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,9,17]]},"reference":[{"key":"272_CR1","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/j.automatica.2017.01.017","volume":"79","author":"LK Carvalho","year":"2017","unstructured":"Carvalho LK, Moreira MV, Basilio JC (2017) Diagnosability of intermittent sensor faults in discrete event systems. Automatica 79:315\u2013325","journal-title":"Automatica"},{"key":"272_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer-Verlag, New York","edition":"2nd edn"},{"issue":"4","key":"272_CR3","first-page":"497","volume":"88","author":"F Cassez","year":"2008","unstructured":"Cassez F., Tripakis S. (2008) Fault diagnosis with static and dynamic observers. Fund Inform 88(4):497\u2013540","journal-title":"Fund Inform"},{"issue":"2","key":"272_CR4","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1023\/B:DISC.0000018570.20941.d2","volume":"14","author":"O Contant","year":"2004","unstructured":"Contant O, Lafortune S, Teneketzis D (2004) Diagnosis of intermittent faults. Discrete Event Dyn Syst 14(2):171\u2013202","journal-title":"Discrete Event Dyn Syst"},{"key":"272_CR5","unstructured":"Dallal E, Lafortune S (2011) Efficient computation of most permissive observers in dynamic sensor activation problems. In: Proceedings of the 2nd international workshop on logical aspects of fault-tolerance (LAFT 2011), Toronto, ON, Canada"},{"key":"272_CR6","volume-title":"Introduction to automata theory, languages, and computation. Reading Massachusetts","author":"JE Hopcroft","year":"1979","unstructured":"Hopcroft JE, Ullman JD (1979) Introduction to automata theory, languages, and computation. Reading Massachusetts. Addison Wesley, USA"},{"key":"272_CR7","unstructured":"Juqin X, Yan J, Shaolong S (2010) Minimal k-step event observation policy for on-line observability of discrete event systems. In: Proceedings of the 29th Chinese control conference, pp 1476\u20131482, Beijing, China"},{"issue":"6","key":"272_CR8","doi-asserted-by":"publisher","first-page":"957","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):957\u2013975","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"272_CR9","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0022-0000(70)80006-X","volume":"4","author":"WJ Savitch","year":"1970","unstructured":"Savitch WJ (1970) Relationships between nondeterministic and deterministic tape complexities. J Comput Syst Sci 4(2):177\u2013192","journal-title":"J Comput Syst Sci"},{"key":"272_CR10","doi-asserted-by":"crossref","unstructured":"Sears D, Rudie K (2013a) Computing sensor activation decisions from state equivalence classes in discrete-event systems. In: Proceedings of the 52nd IEEE conference on decision and control, CDC 2013, December 10-13, 2013, Firenze, Italy, pp 6972\u20136977","DOI":"10.1109\/CDC.2013.6760994"},{"key":"272_CR11","doi-asserted-by":"crossref","unstructured":"Sears D, Rudie K (2013b) Efficient computation of sensor activation decisions in discrete-event systems. In: Proceedings of the 52nd IEEE conference on decision and control, CDC 2013, December 10-13, 2013, Firenze, Italy, pp 6966\u20136971","DOI":"10.1109\/CDC.2013.6760993"},{"key":"272_CR12","volume-title":"Sensor activation and communication problems in discrete-event systems. Technical Report #2013-601, School of Computing,","author":"D Sears","year":"2013","unstructured":"Sears D, Rudie K (2013c) Sensor activation and communication problems in discrete-event systems. Technical Report #2013-601, School of Computing,. Queen\u2019s University Kingston, Ontario. \n                    http:\/\/research.cs.queensu.ca\/TechReports\/Reports\/2013-601.pdf"},{"key":"272_CR13","doi-asserted-by":"crossref","unstructured":"Sears D, Rudie K (2014) On computing indistinguishable states of nondeterministic finite automata with partially observable transitions. In: Proceedings of the 53rd IEEE Conference on Decision and Control, CDC 2014, December 15-17 Los Angeles, California, pp 6731\u20136736","DOI":"10.1109\/CDC.2014.7040446"},{"key":"272_CR14","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/s10626-015-0212-3","volume":"26","author":"D Sears","year":"2015","unstructured":"Sears D, Rudie K (2015) Minimal sensor activation and minimal communication in discrete-event systems. Discrete Event Dyn Syst 26:295\u2013349","journal-title":"Discrete Event Dyn Syst"},{"key":"272_CR15","unstructured":"Sears D, Rudie K (2017) Computation and applications of indistinguishable state pairs in discrete-event systems. Submitted to the Journal of Discrete Event Dynamic Systems"},{"issue":"1","key":"272_CR16","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/j.sysconle.2009.11.001","volume":"59","author":"S Shu","year":"2010","unstructured":"Shu S, Lin F (2010) Detectability of discrete event systems with dynamic event observation. Syst Control Lett 59(1):9\u201317","journal-title":"Syst Control Lett"},{"key":"272_CR17","unstructured":"Stockmeyer LJ, Meyer AR (1973) Word problems requiring exponential time: preliminary report. In: Aho AV, Borodin A, Constable RL, Floyd RW, Harrison MA, Karp RM, Strong HR (eds) Proceedings of the fifth annual ACM symposium on theory of computing (STOC), pp 1\u20139"},{"issue":"4","key":"272_CR18","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/s10626-007-0027-y","volume":"17","author":"D Thorsley","year":"2007","unstructured":"Thorsley D, Teneketzis D (2007) Active acquisition of information for diagnosis and supervisory control of discrete event systems. Discrete Event Dyn Syst 17(4):531\u2013583","journal-title":"Discrete Event Dyn Syst"},{"issue":"7","key":"272_CR19","doi-asserted-by":"publisher","first-page":"1165","DOI":"10.1016\/j.automatica.2010.04.004","volume":"46","author":"W Wang","year":"2010","unstructured":"Wang W, Lafortune S, Girard A R, Lin F (2010a) Optimal sensor activation for diagnosing discrete event systems. Automatica 46(7):1165\u20131175","journal-title":"Automatica"},{"issue":"11","key":"272_CR20","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 A R (2010b) 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"},{"key":"272_CR21","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1016\/j.automatica.2016.06.016","volume":"73","author":"W Wang","year":"2016","unstructured":"Wang W (2016) Online minimization of sensor activation for supervisory control. Automatica 73:8\u201314","journal-title":"Automatica"},{"issue":"11","key":"272_CR22","doi-asserted-by":"publisher","first-page":"5894","DOI":"10.1109\/TAC.2016.2645765","volume":"62","author":"W Wang","year":"2017","unstructured":"Wang W, Gong C (2017) Calculating all minimal transition-based sensor activation policies for the purpose of supervisory control. IEEE Trans Autom Control 62(11):5894\u20135901","journal-title":"IEEE Trans Autom Control"},{"key":"272_CR23","unstructured":"Wonham WM, Cai K (2018) Supervisory control of discrete-event systems. Systems Control Group, Dept. of ECE, Univ. of Toronto, 2018 [Online]. \n                    http:\/\/www.control.toronto.edu\/people\/profs\/wonham\/wonham.html\n                    \n                  , Accessed February 2018"},{"key":"272_CR24","unstructured":"Wang W, Gong C, Wang D (2018) Optimizing sensor activation in a language domain for fault diagnosis. IEEE Transactions on Automatic Control. Accessible at. \n                    https:\/\/ieeexplore.ieee.org\/document\/8373703\/"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-018-0272-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-018-0272-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-018-0272-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T19:09:34Z","timestamp":1568660974000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-018-0272-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,17]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,12]]}},"alternative-id":["272"],"URL":"https:\/\/doi.org\/10.1007\/s10626-018-0272-2","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2018,9,17]]},"assertion":[{"value":"12 March 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 August 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 September 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}