{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:31:50Z","timestamp":1761489110694,"version":"3.44.0"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/etfa.2012.6489681","type":"proceedings-article","created":{"date-parts":[[2013,4,5]],"date-time":"2013-04-05T16:57:59Z","timestamp":1365181079000},"page":"1-8","source":"Crossref","is-referenced-by-count":4,"title":["Hierarchical and distributed discrete event control of manufacturing processes"],"prefix":"10.1109","author":[{"given":"Olaf","family":"Stursberg","sequence":"first","affiliation":[{"name":"Control and System Theory, University of Kassel, Dept. of Electrical Eng. and Computer Science, Wilhelmshoeher Allee 73, 34131 Kassel, Germany"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/BF01805563"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355448"},{"key":"17","first-page":"4427","article-title":"Designing dependable logic controllers using the supervisory control theory","author":"roussel","year":"2005","journal-title":"16th IFAC World Congress"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/BF01797154"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.2006817"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/9.58555"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2006.02.002"},{"key":"13","first-page":"870","article-title":"Modular supervisory control of a class of hybrid systems in a behavioural framework","author":"moor","year":"2001","journal-title":"European Control Conf"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2002.1167714"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2007.4282937"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1080\/002071799220317"},{"key":"21","first-page":"421","article-title":"Control of switched hybrid systems based on disjunctive formulations","author":"stursberg","year":"2002","journal-title":"Hybrid Systems Volume 2289 of LNCS"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1076\/1387-3954(200003)6:1;1-Q;FT051"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"key":"1","article-title":"Exploiting modularity for synthesis and verification of supervisors","author":"akesson","year":"2002","journal-title":"15th IFAC World Congress"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2022101"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641220"},{"key":"6","doi-asserted-by":"crossref","first-page":"3305","DOI":"10.1109\/CDC.1998.758209","article-title":"Plc-based implementation of supervisory control for discrete event systems","author":"fabian","year":"1998","journal-title":"37th IEEE Conf Dec and Control"},{"key":"5","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/10722167_15","article-title":"Counterexample-guided abstraction refinement","author":"clarke","year":"2000","journal-title":"LNCS 1855 Computer Aided Verification"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2000.912799"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61042-1_47"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/9.981721"}],"event":{"name":"2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012)","start":{"date-parts":[[2012,9,17]]},"location":"Krakow, Poland","end":{"date-parts":[[2012,9,21]]}},"container-title":["Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6479732\/6489522\/06489681.pdf?arnumber=6489681","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,25]],"date-time":"2025-08-25T20:18:13Z","timestamp":1756153093000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6489681\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/etfa.2012.6489681","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}