{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T20:40:28Z","timestamp":1768250428295,"version":"3.49.0"},"reference-count":42,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/models.2015.7338273","type":"proceedings-article","created":{"date-parts":[[2015,11,30]],"date-time":"2015-11-30T21:53:36Z","timestamp":1448920416000},"page":"416-425","source":"Crossref","is-referenced-by-count":22,"title":["Modular model-based supervisory controller design for wafer logistics in lithography machines"],"prefix":"10.1109","author":[{"given":"Bram","family":"van der Sanden","sequence":"first","affiliation":[]},{"given":"Michel","family":"Reniers","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Geilen","sequence":"additional","affiliation":[]},{"given":"Twan","family":"Basten","sequence":"additional","affiliation":[]},{"given":"Johan","family":"Jacobs","sequence":"additional","affiliation":[]},{"given":"Jeroen","family":"Voeten","sequence":"additional","affiliation":[]},{"given":"Ramon","family":"Schiffelers","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46078-8_19"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.858658"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(03)00056-X"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2006.10.013"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2013.09.034"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2279692"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2430536.2430543"},{"key":"ref36","article-title":"SCADE","year":"2015","journal-title":"Esterel Technologies"},{"key":"ref35","article-title":"Simulink: Simulation and model-based design","year":"2015","journal-title":"MathWorks"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2002.1167714"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/9.880616"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2680540"},{"key":"ref11","article-title":"Survey of Model-Based Systems Engineering (MBSE) Methodologies, rev. b. ed","author":"estefan","year":"2008","journal-title":"International Council on Systems Engineering (INCOSE)"},{"key":"ref12","article-title":"Model-based engineering of supervisory controllers using CIF","volume":"21","author":"schiffelers","year":"2010","journal-title":"Electronic Communications of the EASST"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025774"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/3-540-11494-7_22","article-title":"Specification and verification of concurrent systems in CESAR","volume":"137","author":"queille","year":"1982","journal-title":"International Symposium on Programming ser Lecture Notes in Computer Science"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2011.2167150"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434894"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.aei.2012.02.009"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717095"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.854586"},{"key":"ref28","article-title":"Supervisory control synthesis for exception handling in printers","author":"bertens","year":"2009","journal-title":"Proc Philips Conference on Applications of Control Technology"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref27","first-page":"1","article-title":"Constraint-oriented style in LOTOS","author":"turner","year":"1988","journal-title":"Proc British Computer Society Workshop on Formal Methods in Standards"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5711-1"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0130-6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195003"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605919"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_48"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.02.001"},{"key":"ref1","first-page":"167","article-title":"Integration of supervisory control synthesis in model-based systems engineering","author":"baeten","year":"2011","journal-title":"Proc of Special International Conference on Complex Systems Synergy of Control Communications and Computing"},{"key":"ref20","article-title":"Scalable Vector Graphics (SVG) W3C recommendation","year":"2011"},{"key":"ref22","first-page":"384","article-title":"Supremica - an integrated environment for verification, synthesis and simulation of discrete event systems","author":"\u00e5kesson","year":"2006","journal-title":"Workshop on Discrete Event Systems"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref42","first-page":"201","article-title":"Supervisory control for a class of discrete event systems for optimal throughput","volume":"12","author":"shehabinia","year":"2014","journal-title":"Workshop on Discrete Event Systems"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2067250"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.927679"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90111-T"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2146249"}],"event":{"name":"2015 ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)","location":"Ottawa, ON, Canada","start":{"date-parts":[[2015,9,30]]},"end":{"date-parts":[[2015,10,2]]}},"container-title":["2015 ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7328153\/7338220\/07338273.pdf?arnumber=7338273","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T00:43:48Z","timestamp":1498265028000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7338273\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/models.2015.7338273","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}