{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T17:16:41Z","timestamp":1770225401871,"version":"3.49.0"},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T00:00:00Z","timestamp":1643673600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"NWO-AES"},{"name":"Robust Cyber-Physical Systems","award":["12694"],"award-info":[{"award-number":["12694"]}]},{"name":"ESI"},{"DOI":"10.13039\/501100006339","name":"ASML","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100006339","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Carrying Industrial Partner"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2022,2]]},"DOI":"10.1109\/tac.2021.3129161","type":"journal-article","created":{"date-parts":[[2021,11,18]],"date-time":"2021-11-18T21:47:23Z","timestamp":1637272043000},"page":"870-885","source":"Crossref","is-referenced-by-count":10,"title":["Partial-Order Reduction for Supervisory Controller Synthesis"],"prefix":"10.1109","volume":"67","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1851-2501","authenticated-orcid":false,"given":"Bram","family":"van der Sanden","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2629-3249","authenticated-orcid":false,"given":"Marc","family":"Geilen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9283-4074","authenticated-orcid":false,"given":"Michel","family":"Reniers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2274-7274","authenticated-orcid":false,"given":"Twan","family":"Basten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2124457"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.03.002"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BF00121262"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028727"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0018-z"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2018.00007"},{"key":"ref9","article-title":"Partial-order reduction for synthesis and performance analysis of supervisory controllers","author":"Sanden","year":"2019","journal-title":"Eindhoven Univ. Technol."},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2016.7880372"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2282895"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-009-0083-6"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2015.1048295"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/9.478227"},{"key":"ref16","volume-title":"Synchronization and Linearity: An Algebra for Discrete Event Systems","author":"Baccelli","year":"1992"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2157391"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/9.754807"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1878961.1878985"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1137\/0204007"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1027084.1027085"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1023\/B:AUSE.0000038937.18006.3d"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-17906-2_30"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04761-9_4"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382401"},{"key":"ref27","article-title":"Performance analysis and optimization of supervisory controllers","author":"Sanden","year":"2018"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CCA.1999.801189"},{"key":"ref29","article-title":"Partial order reduction with compositional verification","author":"Shaw","year":"2014"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055643"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008682131325"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24310-3_5"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6656-1_12"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5626-0_12"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.923820"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1023\/B:DISC.0000005009.40749.b6"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/9700790\/09619958.pdf?arnumber=9619958","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T00:41:16Z","timestamp":1705020076000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9619958\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2]]},"references-count":36,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tac.2021.3129161","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":[[2022,2]]}}}