{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:52:26Z","timestamp":1771703546925,"version":"3.50.1"},"reference-count":60,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T00:00:00Z","timestamp":1585699200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T00:00:00Z","timestamp":1585699200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T00:00:00Z","timestamp":1585699200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Ministry of Infrastructure and Water Management of the Government of The Netherlands"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2020,4]]},"DOI":"10.1109\/tac.2019.2928119","type":"journal-article","created":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T19:43:12Z","timestamp":1562874192000},"page":"1625-1639","source":"Crossref","is-referenced-by-count":16,"title":["Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices"],"prefix":"10.1109","volume":"65","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0641-7240","authenticated-orcid":false,"given":"Martijn","family":"Goorden","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1381-5132","authenticated-orcid":false,"given":"Joanna van de","family":"Mortel-Fronczak","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9283-4074","authenticated-orcid":false,"given":"Michel","family":"Reniers","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7443-8978","authenticated-orcid":false,"given":"Wan","family":"Fokkink","sequence":"additional","affiliation":[]},{"given":"Jacobus","family":"Rooda","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263721"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062679"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/8896.001.0001"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2016.7497833"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605916"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0018-z"},{"key":"ref37","first-page":"9","article-title":"Computationally efficient supervisor design: Control flow decomposition","author":"feng","year":"0","journal-title":"Proc 8th Int Workshop Discrete Event Syst"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760889"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1137\/070695526"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TEM.2015.2491283"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2018.8511449"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/s10626-013-0179-x","article-title":"Coordination control of discrete-event systems revisited","volume":"25","author":"komenda","year":"2014","journal-title":"Discrete Event Dyn Syst"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.07.008"},{"key":"ref29","first-page":"399","article-title":"Modular supervisory control of discrete-event sytems with abstraction and incremental hierarchical construction","author":"hill","year":"0","journal-title":"Proc 8th Int Workshop Discrete Event Syst"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.927679"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042342"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2039237"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/s10626-014-0194-6","article-title":"New results on supervisor localization, with case studies","volume":"25","author":"cai","year":"2014","journal-title":"Discrete Event Dyn Syst"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4276-8"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605915"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-014-0208-4"},{"key":"ref50","article-title":"CIF3 models used in the T-AC 2018 paper","author":"goorden","year":"0"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_48"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.06.310"},{"key":"ref58","first-page":"416","article-title":"Modular model-based supervisory controller design for wafer logistics in lithography machines","author":"sanden","year":"0","journal-title":"Proc ACM\/IEEE 19th Int Conf Model Driven Eng Lang Syst"},{"key":"ref57","article-title":"PLC implementation of a DES supervisor for a manufacturing testbed: An implementation perspective","author":"leduc","year":"1996","journal-title":"M S thesis Dept Electron Eng"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2776354"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-008-1555-9"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2002.1167714"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.427"},{"key":"ref52","article-title":"Matlab","year":"0"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4493-7_10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.3182\/20020721-6-ES-1901.00517"},{"key":"ref40","article-title":"Structural awareness in complex product design","author":"maurer","year":"2007"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2011.6059038"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/9.58555"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0033527"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/BF01797154"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2022101"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/9.61009"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/9.173140"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015625600613"},{"key":"ref4","first-page":"275","article-title":"Supervisor computation and representation: A case study","author":"miremadi","year":"0","journal-title":"Proc Int Workshop Discrete Event Syst"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434894"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3182\/20100830-3-DE-4013.00048"},{"key":"ref5","author":"ma","year":"2005","journal-title":"Nonblocking supervisory control of state tree structures"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551233"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2303134"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2124457"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008210519960"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-015-0217-y"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77452-7"},{"key":"ref48","volume":"25","author":"birkhoff","year":"1940","journal-title":"Lattice Theory"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/9.250512"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1115\/1.4037626"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1080\/0954482031000091103"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1137\/040608635"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/9049232\/08759973.pdf?arnumber=8759973","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T16:21:52Z","timestamp":1651076512000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8759973\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4]]},"references-count":60,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tac.2019.2928119","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,4]]}}}