{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:11:39Z","timestamp":1761487899944},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/acc.2007.4282703","type":"proceedings-article","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T16:01:54Z","timestamp":1186588914000},"page":"4260-4267","source":"Crossref","is-referenced-by-count":8,"title":["Synthesis Method for Hierarchical Interface-based Supervisory Control"],"prefix":"10.1109","author":[{"given":"Ryan J.","family":"Leduc","sequence":"first","affiliation":[]},{"given":"Pengcheng","family":"Dai","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.1109\/WODES.2006.1678416"},{"journal-title":"Symbolic Synthesis and Verification of Hierarchical Interface-Based Supervisory Control","year":"2006","author":"song","key":"ref12"},{"key":"ref13","first-page":"419","article-title":"Symbolic synthesis and verification of hierarchical interface-based supervisory control","author":"song","year":"2006","journal-title":"Proc of WODES 2006"},{"key":"ref14","article-title":"Supervisory Control of Discrete-Event Systems","author":"wonham","year":"2006","journal-title":"Department of Electrical and Computer Engineering University of Toronto"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1137\/0325036"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678415"},{"journal-title":"Synthesis method for hierarchical interface-based supervisory control","year":"2006","author":"dai","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1844-9"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382507"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.854586"},{"journal-title":"Hierarchical interface-based supervisory control","year":"2002","author":"leduc","key":"ref7"},{"journal-title":"Commande par supervision des systèmes à événements discrets application à un site experimental l’ Atelier Inter-établissement de Productique Technical report","year":"1994","author":"charbonnier","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CIMAT.1994.389054"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2006.876635"}],"event":{"name":"2007 American Control Conference","start":{"date-parts":[[2007,7,9]]},"location":"New York, NY, USA","end":{"date-parts":[[2007,7,13]]}},"container-title":["2007 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4282134\/4282135\/04282703.pdf?arnumber=4282703","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T20:05:16Z","timestamp":1489608316000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4282703\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/acc.2007.4282703","relation":{},"ISSN":["0743-1619"],"issn-type":[{"type":"print","value":"0743-1619"}],"subject":[],"published":{"date-parts":[[2007,7]]}}}