{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T10:51:26Z","timestamp":1778669486777,"version":"3.51.4"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/cdc.2016.7798305","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T12:11:18Z","timestamp":1483618278000},"page":"420-425","source":"Crossref","is-referenced-by-count":15,"title":["K-detectability in discrete event systems"],"prefix":"10.1109","author":[{"given":"Christoforos N.","family":"Hadjicostis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/9.940942"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","article-title":"Polynomial-time verification of diagnosability of partially observed discrete-event systems","volume":"47","author":"yoo","year":"2002","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.910713"},{"key":"ref14","author":"cassandras","year":"2009","journal-title":"Introduction to Discrete Event Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2009.11.001"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2484359"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2108410"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6761043"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2106775"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.05.033"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605967"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434515"},{"key":"ref7","article-title":"Opacity generalised to transition systems","author":"bryans","year":"2005","journal-title":"Selected Papers of the 3rd International Workshop on Formal Aspects in Security and Trust Tech Rep"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/9.57018"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90001-1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2173774"}],"event":{"name":"2016 IEEE 55th Conference on Decision and Control (CDC)","location":"Las Vegas, NV, USA","start":{"date-parts":[[2016,12,12]]},"end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 IEEE 55th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786694\/7798233\/07798305.pdf?arnumber=7798305","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T03:21:01Z","timestamp":1498360861000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7798305\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/cdc.2016.7798305","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}