{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T23:07:28Z","timestamp":1760828848644,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/etfa.2008.4638585","type":"proceedings-article","created":{"date-parts":[[2008,10,7]],"date-time":"2008-10-07T18:08:47Z","timestamp":1223402927000},"page":"1433-1440","source":"Crossref","is-referenced-by-count":5,"title":["A supervisor implementation approach in Discrete Controller Synthesis"],"prefix":"10.1109","author":[{"given":"Emil","family":"Dumitrescu","sequence":"first","affiliation":[]},{"given":"Mingming","family":"Ren","sequence":"additional","affiliation":[]},{"given":"Laurent","family":"Pietrac","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Niel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1998.730577"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2002.1167714"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2006.02.013"},{"key":"18","article-title":"residual for component specifications","author":"raclet","year":"2007","journal-title":"Proc Int'l Workshop Formal Aspects of Component Software"},{"key":"15","article-title":"convertibility verification and converter synthesis: two faces of the same coin","author":"passerone","year":"2002","journal-title":"International Conferenca on Computer Aided Design (ICCAD)"},{"key":"16","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/277044.277047","article-title":"Automatic synthesis of interfaces between incompatible protocols","author":"passerone","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"article-title":"note sur la triangulation d'une equation polynomiale","year":"2004","author":"marchand","key":"13"},{"journal-title":"Symbolic Model Checking - An Approach to the State Explosion Problem","year":"1992","author":"mcmillan","key":"14"},{"journal-title":"Me?thode de Synthe?se d'automatismes de?crits par des syste?mes a? e?ve?nements discrets finis","year":"1997","author":"marchand","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008311720696"},{"journal-title":"CUDD CU decision diagram package release","year":"1998","author":"somenzi","key":"21"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364456"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/EFTA.2007.4416836"},{"key":"2","first-page":"1","article-title":"symbolic controller synthesis for discrete and timed systems","author":"asarin","year":"1994","journal-title":"Hybrid Systems"},{"key":"1","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1109\/DAC.1999.781349","article-title":"formal verification using parametric representations of boolean constraints","author":"aagaard","year":"1999","journal-title":"Design Automation Conference 1999 Proceedings 36th"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00093-X"},{"key":"7","article-title":"automatic error correction based on discrete controller synthesis","author":"dumitrescu","year":"2007","journal-title":"The 4th International Federation of Automatic Control Conference on Management and Control of Production and Logistics IFAC MCPL'07"},{"key":"6","article-title":"design and synthesis of synchronization skeletons using branching time temporal logic","volume":"131","author":"clarke","year":"1981","journal-title":"LNCS"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015621532472"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2006.11.001"},{"key":"8","article-title":"plc-based implementation of supervisory control for discrete event systems","author":"fabian","year":"1998","journal-title":"Proceedings of the 37th IEEE Conference on Decision and Control"}],"event":{"name":"Factory Automation (ETFA 2008)","start":{"date-parts":[[2008,9,15]]},"location":"Hamburg, Germany","end":{"date-parts":[[2008,9,18]]}},"container-title":["2008 IEEE International Conference on Emerging Technologies and Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4631965\/4638343\/04638585.pdf?arnumber=4638585","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T12:22:02Z","timestamp":1497788522000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4638585\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/etfa.2008.4638585","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}