{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:20:21Z","timestamp":1761488421606},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2010,11,1]],"date-time":"2010-11-01T00:00:00Z","timestamp":1288569600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2010,11]]},"DOI":"10.1109\/tac.2010.2046931","type":"journal-article","created":{"date-parts":[[2010,4,7]],"date-time":"2010-04-07T18:41:06Z","timestamp":1270665666000},"page":"2527-2541","source":"Crossref","is-referenced-by-count":42,"title":["Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis"],"prefix":"10.1109","volume":"55","author":[{"given":"Rong","family":"Su","sequence":"first","affiliation":[]},{"given":"Jan H.","family":"van Schuppen","sequence":"additional","affiliation":[]},{"given":"Jacobus E.","family":"Rooda","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.854586"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90001-1"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.875030"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605916"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50024-X"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/9.566659"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678416"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2000.876983"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678423"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.873004"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678415"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551233"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(90)90071-K"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/9.654883"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.875036"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0018-z"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012994272903"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4586539"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678399"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2007.4282703"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1996.572970"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MED.2009.5164694"},{"key":"ref22","first-page":"64","article-title":"A distributed supervisor synthesis approach based on weak bisimulation","author":"su","year":"2006","journal-title":"Proc 8th Int Workshop Discrete Event Syst (WODES06)"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042342"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1023\/B:DISC.0000005010.55515.27"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BF01797154"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1137\/0325036"},{"key":"ref25","author":"wonham","year":"2007","journal-title":"Supervisory Control of Discrete-Event Systems Systems Control Group"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9\/5617351\/05443758.pdf?arnumber=5443758","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,23]],"date-time":"2021-12-23T05:43:52Z","timestamp":1640238232000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5443758\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11]]},"references-count":29,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tac.2010.2046931","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,11]]}}}