{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T23:59:07Z","timestamp":1769731147372,"version":"3.49.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1109\/coase.2017.8256101","type":"proceedings-article","created":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T18:11:01Z","timestamp":1516212661000},"page":"187-192","source":"Crossref","is-referenced-by-count":13,"title":["Matrix approach to detectability of discrete event systems under partial observation"],"prefix":"10.1109","author":[{"given":"Xiaoguang","family":"Han","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zengqiang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiemei","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2290314"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2363916"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.910713"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.05.025"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2011.02.001"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1109\/TASE.2012.2230443","article-title":"I-detectability of discrete-event systems","volume":"10","author":"shu","year":"2013","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2224255"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2251796"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2484359"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1142\/8323"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"1199","DOI":"10.1109\/TAC.2003.814099","article-title":"Fault diagnosis in discrete-event systems: Framework and model reduction","volume":"48","author":"hashtrudi zad","year":"2003","journal-title":"IEEE Trans Autom Control"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BF01441211"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1986.267551"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1976.4309444"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802769"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/9.57018"},{"key":"ref2","author":"wonham","year":"2017","journal-title":"Supervisory control of discrete-event systems"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2003.814503"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2501365"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"1609","DOI":"10.1049\/iet-cta.2013.0096","article-title":"Observability analysis and observer design for finite automata via matrix approach","volume":"7","author":"xu","year":"2013","journal-title":"IET Control Theory Appl"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1137\/140991285"},{"key":"ref24","author":"ross","year":"2003","journal-title":"Discrete Mathematics"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2507162"}],"event":{"name":"2017 13th IEEE Conference on Automation Science and Engineering (CASE 2017)","location":"Xi'an","start":{"date-parts":[[2017,8,20]]},"end":{"date-parts":[[2017,8,23]]}},"container-title":["2017 13th IEEE Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8244402\/8256062\/08256101.pdf?arnumber=8256101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T09:32:20Z","timestamp":1570613540000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8256101\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/coase.2017.8256101","relation":{},"subject":[],"published":{"date-parts":[[2017,8]]}}}