{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T03:12:11Z","timestamp":1725419531099},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/acc.2005.1470591","type":"proceedings-article","created":{"date-parts":[[2005,8,10]],"date-time":"2005-08-10T14:45:32Z","timestamp":1123685132000},"page":"3937-3942","source":"Crossref","is-referenced-by-count":2,"title":["A small model theorem for bisimilarity control under partial observation"],"prefix":"10.1109","author":[{"family":"Changyan Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28644-8_30"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.875036"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4493-7_2"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2000.876986"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0039075"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90001-1"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00307-8"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/9.533677"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012994272903"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.875036"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/2455.2460"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482830-9\/50019-9"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1997.609068"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00442-5"},{"key":"10","doi-asserted-by":"crossref","first-page":"4472","DOI":"10.23919\/ACC.2004.1384014","article-title":"Control using nondeterministic supervisors for partially observed discrete event systems","author":"kumar","year":"2004","journal-title":"Proceedings of 2004 American Control Conference"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012902409982"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802768"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0033530"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/9.654883"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2002.1167665"},{"key":"8","first-page":"12","article-title":"Coalgebra and supervisory control of discrete-event systems with partial observations","author":"komenda","year":"2002","journal-title":"Int Symp (MTNS 2002)"}],"event":{"name":"Proceedings of the 2005, American Control Conference, 2005.","location":"Portland, OR, USA"},"container-title":["Proceedings of the 2005, American Control Conference, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9861\/31519\/01470591.pdf?arnumber=1470591","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T15:36:42Z","timestamp":1552491402000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1470591\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/acc.2005.1470591","relation":{},"subject":[]}}