{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T09:02:39Z","timestamp":1726131759114},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,8,23]],"date-time":"2021-08-23T00:00:00Z","timestamp":1629676800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,8,23]],"date-time":"2021-08-23T00:00:00Z","timestamp":1629676800000},"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":[[2021,8,23]]},"DOI":"10.1109\/case49439.2021.9551593","type":"proceedings-article","created":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T20:53:51Z","timestamp":1633640031000},"page":"777-783","source":"Crossref","is-referenced-by-count":2,"title":["Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis"],"prefix":"10.1109","author":[{"given":"Sander","family":"Thuijsman","sequence":"first","affiliation":[{"name":"Eindhoven University of Technology,Department of Mechanical Engineering,Eindhoven,The Netherlands"}]},{"given":"Michel","family":"Reniers","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology,Department of Mechanical Engineering,Eindhoven,The Netherlands"}]},{"given":"Dennis","family":"Hendriks","sequence":"additional","affiliation":[{"name":"Dennis Hendriks is with ESI (TNO),Eindhoven,The Netherlands"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0130-6"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2279692"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-020-00314-0"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.03.002"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551233"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1959.tb01585.x"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2006.02.013"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2022101"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2011.2167150"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.427"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_48"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717095"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1996.563525"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/43.759068"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090934"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2012.07.001"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2124457"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2019.8843327"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.04.058"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"volume-title":"Initialization and termination of flexible manufacturing systems: a formal approach","year":"2019","author":"Vos","key":"ref24"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/wodes.2008.4605932"}],"event":{"name":"2021 IEEE 17th International Conference on Automation Science and Engineering (CASE)","start":{"date-parts":[[2021,8,23]]},"location":"Lyon, France","end":{"date-parts":[[2021,8,27]]}},"container-title":["2021 IEEE 17th International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9551387\/9551265\/09551593.pdf?arnumber=9551593","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T01:13:54Z","timestamp":1706058834000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9551593\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,23]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/case49439.2021.9551593","relation":{},"subject":[],"published":{"date-parts":[[2021,8,23]]}}}