{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:24:01Z","timestamp":1730204641940,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/cdc.2016.7798308","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T17:11:18Z","timestamp":1483636278000},"page":"441-446","source":"Crossref","is-referenced-by-count":1,"title":["Distributed computation of maximally permissive supervisors in three-level relaxed coordination control of discrete-event systems"],"prefix":"10.1109","author":[{"given":"Jan","family":"Komenda","sequence":"first","affiliation":[]},{"given":"Tomas","family":"Masopust","sequence":"additional","affiliation":[]},{"given":"Jan H.","family":"van Schuppen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ComplexSys.2015.7385990"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2015.7294044"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605915"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.915164"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040194"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6858608"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.2006817"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.04.004"},{"key":"ref18","first-page":"20","volume":"11","author":"theunissen","year":"2014","journal-title":"“Application of supervisory control synthesis to a patient support table of a magnetic resonance imaging scanner” IEEE Trans Autom Sci Eng"},{"key":"ref19","first-page":"477","article-title":"Structural decentralized control of concurrent discrete-event systems","volume":"54","author":"wong","year":"2002","journal-title":"Eur J Control"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0130-6"},{"journal-title":"Computationally Efficient Supervisor Design for Discrete-Event Systems","year":"2007","author":"feng","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2012.07.013"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.04.002"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760889"},{"key":"ref7","first-page":"247","volume":"48","author":"komenda","year":"2012","journal-title":"Supervisory control synthesis of discrete-event systems using a coordination scheme"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6761045"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-013-0179-x"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BF01797154"},{"key":"ref21","article-title":"Supervisory control of discrete-event systems","author":"wonham","year":"2012","journal-title":"Lecture Notes Dept of Elect and Comp Eng Uni Toronto"}],"event":{"name":"2016 IEEE 55th Conference on Decision and Control (CDC)","start":{"date-parts":[[2016,12,12]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 IEEE 55th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786694\/7798233\/07798308.pdf?arnumber=7798308","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,1,24]],"date-time":"2017-01-24T01:57:08Z","timestamp":1485223028000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7798308\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/cdc.2016.7798308","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}