{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:14:49Z","timestamp":1762521289573},"reference-count":27,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2009,7,1]],"date-time":"2009-07-01T00:00:00Z","timestamp":1246406400000},"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":[[2009,7]]},"DOI":"10.1109\/tac.2009.2022101","type":"journal-article","created":{"date-parts":[[2009,7,1]],"date-time":"2009-07-01T14:16:21Z","timestamp":1246457781000},"page":"1548-1560","source":"Crossref","is-referenced-by-count":24,"title":["Synthesis Method for Hierarchical Interface-Based Supervisory Control"],"prefix":"10.1109","volume":"54","author":[{"given":"R.J.","family":"Leduc","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Pengcheng Dai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Raoguang Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"82","article-title":"stct: an efficient algorithm for supervisory control design","author":"zhang","year":"2001","journal-title":"Proc SCODES'01"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582579"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.875030"},{"key":"ref13","first-page":"a1: 20010101","volume":"317","author":"ma","year":"2005","journal-title":"Nonblocking Supervisory Control of State Tree Structures ser Lecture Notes in Control and Information Sciences"},{"key":"ref14","author":"wang","year":"1995","journal-title":"Top-down design for RW supervisory control theory"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678416"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678415"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382507"},{"key":"ref19","author":"dai","year":"2006","journal-title":"Synthesis method for hierarchical interface-based supervisory control"},{"key":"ref4","author":"leduc","year":"2002","journal-title":"Hierarchical interface-based supervisory control"},{"key":"ref27","author":"charbonnier","year":"1994","journal-title":"Commande par Supervision Des Systmes nments Discrets Application un Site Exprimental l'Atelier Inter-tablissement de Productique Laboratoire d'Automatique de Grenoble"},{"key":"ref3","author":"wonham","year":"2006","journal-title":"Supervisory control of discrete-event systems"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.854586"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.854586"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2006.876635"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1137\/0325036"},{"key":"ref9","author":"huth","year":"1999","journal-title":"Logic in Computer Science Modelling and Reasoning about Systems"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2007.4282703"},{"key":"ref22","first-page":"419","article-title":"symbolic synthesis and verification of hierarchical interface-based supervisory control","author":"song","year":"2006","journal-title":"Proc WODES'06"},{"key":"ref21","author":"song","year":"2006","journal-title":"Symbolic Synthesis and Verification of Hierarchical Interface-Based Supervisory Control"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1955.5.285"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CIMAT.1994.389054"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1844-9"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9\/5159545\/05152911.pdf?arnumber=5152911","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:51:54Z","timestamp":1633909914000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5152911\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7]]},"references-count":27,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tac.2009.2022101","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,7]]}}}