{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:18:19Z","timestamp":1762521499291},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s10626-012-0130-6","type":"journal-article","created":{"date-parts":[[2012,2,17]],"date-time":"2012-02-17T18:17:34Z","timestamp":1329502654000},"page":"511-540","source":"Crossref","is-referenced-by-count":61,"title":["Application of supervisory control theory to theme park vehicles"],"prefix":"10.1007","volume":"22","author":[{"given":"Stefan T. J.","family":"Forschelen","sequence":"first","affiliation":[]},{"given":"Joanna M.","family":"van de Mortel-Fronczak","sequence":"additional","affiliation":[]},{"given":"Rong","family":"Su","sequence":"additional","affiliation":[]},{"given":"Jacobus E.","family":"Rooda","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,2,19]]},"reference":[{"key":"130_CR1","unstructured":"Balemi S (1992) Control of discrete event systems: theory and application. PhD thesis, Swiss Federal Institute of Technology Zurich"},{"key":"130_CR2","doi-asserted-by":"crossref","unstructured":"van Beek D, Reniers M, Rooda J, Schiffelers R (2008) Concrete syntax and semantics of the compositional interchange format for hybrid systems. In: Proc. of the 17th IFAC World Congress","DOI":"10.3182\/20080706-5-KR-1001.01348"},{"key":"130_CR3","unstructured":"Braspenning N (2008) Model-based integration and testing of high-tech multi-disciplinary systems. PhD thesis, Eindhoven University of Technology"},{"issue":"1","key":"130_CR4","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/j.compind.2010.05.011","volume":"62","author":"N Braspenning","year":"2011","unstructured":"Braspenning N, Boumen R, van\u00a0de Mortel-Fronczak J, Rooda J (2011) Estimating and quantifying the impact of using models for integration and testing. Comput Ind 62(1):65\u201377","journal-title":"Comput Ind"},{"key":"130_CR5","doi-asserted-by":"crossref","unstructured":"Dietrich P, Malik R, Wonham W, Brandin B (2002) Implementation considerations in supervisory control. In: Synthesis and control of discrete event systems. Kluwer Academic Publishers, pp\u00a0185\u2013201","DOI":"10.1007\/978-1-4757-6656-1_12"},{"key":"130_CR6","unstructured":"Feng L, Wonham W (2006) Computationally efficient supervisor design: abstraction and modularity. In: Proceedings of WODES 2006, pp\u00a03\u20138"},{"issue":"4","key":"130_CR7","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/s10626-007-0018-z","volume":"17","author":"H Flordal","year":"2007","unstructured":"Flordal H, Malik R, Fabian M, Akesson K (2007) Compositional synthesis of maximally permissive supervisors using supervisor equivalence. Discrete Event Dyn Syst 17(4):475\u2013504","journal-title":"Discrete Event Dyn Syst"},{"key":"130_CR8","unstructured":"Forschelen S (2010) Supervisory control of theme park vehicles. MSc thesis, Eindhoven University of Technology"},{"key":"130_CR9","doi-asserted-by":"crossref","unstructured":"Forschelen S, van\u00a0de Mortel-Fronczak J, Su R, Rooda J (2010) Application of supervisory control theory to theme park vehicles. In: Proceedings of WODES 2010, pp 303\u2013309","DOI":"10.3182\/20100830-3-DE-4013.00049"},{"key":"130_CR10","doi-asserted-by":"crossref","unstructured":"Hill R, Tilbury D, Lafortune S (2008) Modular supervisory control with equivalence-based conflict resolution. In: Proceedings of ACC 2008, pp 491\u2013498","DOI":"10.1109\/ACC.2008.4586539"},{"issue":"4","key":"130_CR11","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1109\/TASE.2008.923820","volume":"5","author":"J Huang","year":"2008","unstructured":"Huang J, Kumar R (2008) Directed control of discrete event systems for safety and nonblocking. IEEE Trans Autom Sci Eng 5(4):620\u2013629","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"9","key":"130_CR12","doi-asserted-by":"crossref","first-page":"1336","DOI":"10.1109\/TAC.2005.854612","volume":"50","author":"R Leduc","year":"2005","unstructured":"Leduc R, Lawford M, Wonham W (2005) Hierarchical interface-based supervisory control\u2014part II: parallel case. IEEE Trans Automat Contr 50(9):1336\u20131348","journal-title":"IEEE Trans Automat Contr"},{"issue":"5","key":"130_CR13","doi-asserted-by":"crossref","first-page":"782","DOI":"10.1109\/TAC.2006.875030","volume":"51","author":"C Ma","year":"2006","unstructured":"Ma C, Wonham W (2006) Nonblocking supervisory control of state tree structures. IEEE Trans Automat Contr 51(5):782\u2013793","journal-title":"IEEE Trans Automat Contr"},{"key":"130_CR14","unstructured":"Malik P (2003) From supervisory control to nonblocking controllers for discrete event systems. PhD thesis, University of Kaiserslautern"},{"key":"130_CR15","doi-asserted-by":"crossref","unstructured":"Malik R, Flordal H (2008) Yet another approach to compositional synthesis of discrete event systems. In: Proceedings of WODES 2008, pp\u00a016\u201321","DOI":"10.1109\/WODES.2008.4605916"},{"key":"130_CR16","doi-asserted-by":"crossref","unstructured":"Markovski J, Jacobs K, van Beek D, Somers L, Rooda J (2010) Coordination of resources using generalized state-based requirements. In: Proceedings of WODES 2010, pp 297\u2013302","DOI":"10.3182\/20100830-3-DE-4013.00048"},{"key":"130_CR17","unstructured":"Martin J (1996) Systems engineering guidebook. CRC Press"},{"issue":"5","key":"130_CR18","doi-asserted-by":"crossref","first-page":"1202","DOI":"10.1137\/0325066","volume":"25","author":"P Ramadge","year":"1987","unstructured":"Ramadge P, Wonham W (1987a) Modular feedback logic for discrete event systems. SIAM J Control Optim 25(5):1202\u20131218","journal-title":"SIAM J Control Optim"},{"issue":"1","key":"130_CR19","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P Ramadge","year":"1987","unstructured":"Ramadge P, Wonham W (1987b) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206\u2013230","journal-title":"SIAM J Control Optim"},{"key":"130_CR20","unstructured":"Rechtin E, Maier M (1997) The art of systems architecting. CRC Press"},{"issue":"1","key":"130_CR21","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1049\/sej.1986.0003","volume":"1","author":"P Rook","year":"1986","unstructured":"Rook P (1986) Controlling software projects. Softw Eng J 1(1):7\u201316","journal-title":"Softw Eng J"},{"issue":"11","key":"130_CR22","doi-asserted-by":"crossref","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K Rudie","year":"1992","unstructured":"Rudie K, Wonham W (1992) Think globally, act locally: decentralized supervisory control. IEEE Trans Automat Contr 37(11):1692\u20131708","journal-title":"IEEE Trans Automat Contr"},{"issue":"6","key":"130_CR23","doi-asserted-by":"crossref","first-page":"957","DOI":"10.1109\/TAC.2003.812780","volume":"48","author":"K Rudie","year":"2003","unstructured":"Rudie K, Lafortune S, Lin F (2003) Minimum communication in a distributed discrete-event system. IEEE Trans Automat Contr 48(6):957\u2013975","journal-title":"IEEE Trans Automat Contr"},{"issue":"9","key":"130_CR24","first-page":"1","volume":"21","author":"R Schiffelers","year":"2009","unstructured":"Schiffelers R, Theunissen R, van Beek D, Rooda J (2009) Model-based engineering of supervisory controller using cif. Electronic Communications of the EASST 21(9):1\u201310","journal-title":"Electronic Communications of the EASST"},{"key":"130_CR25","unstructured":"SE\u00a0Group, Eindhoven University of Technology (2010) SuSyNA\u00a0package. http:\/\/se.wtb.tue.nl\/sewiki\/supcon\/susyna"},{"key":"130_CR26","unstructured":"Su R, Thistle J (2006) A distributed supervisor synthesis approach based on weak bisimulation. In: Proceedings of WODES 2006, pp 64\u201369"},{"key":"130_CR27","doi-asserted-by":"crossref","unstructured":"Su R, van Schuppen J, Rooda J (2009) Synthesize nonblocking distributed supervisors with coordinators. In: Proceedings of MED 2009, pp\u00a01108\u20131113","DOI":"10.1109\/MED.2009.5164694"},{"issue":"7","key":"130_CR28","doi-asserted-by":"crossref","first-page":"1627","DOI":"10.1109\/TAC.2010.2042342","volume":"55","author":"R Su","year":"2010","unstructured":"Su R, van Schuppen J, Rooda J (2010a) Aggregative synthesis of distributed supervisors based on automaton abstraction. IEEE Trans Automat Contr 55(7):1627\u20131640","journal-title":"IEEE Trans Automat Contr"},{"issue":"11","key":"130_CR29","doi-asserted-by":"crossref","first-page":"2527","DOI":"10.1109\/TAC.2010.2046931","volume":"55","author":"R Su","year":"2010","unstructured":"Su R, van Schuppen J, Rooda J (2010b) Model abstraction of nondeterministic finite state automata in supervisor synthesis. IEEE Trans Automat Contr 55(11):2527\u20132541","journal-title":"IEEE Trans Automat Contr"},{"issue":"11","key":"130_CR30","doi-asserted-by":"crossref","first-page":"2447","DOI":"10.1109\/TAC.2010.2046062","volume":"55","author":"W Wang","year":"2010","unstructured":"Wang W, Lafortune S, Lin F, Girard A (2010) Minimization of dynamic sensor activation in discrete event systems for the purpose of control. IEEE Trans Automat Contr 55(11):2447\u20132461","journal-title":"IEEE Trans Automat Contr"},{"key":"130_CR31","unstructured":"Wonham W (2011) Supervisory control of discrete-event systems. Tech. rep., University of Toronto, Toronto"},{"issue":"1","key":"130_CR32","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF02551233","volume":"1","author":"W Wonham","year":"1988","unstructured":"Wonham W, Ramadge P (1988) Modular supervisory control of discrete event systems. Math Control Signals Syst 1(1):13\u201330","journal-title":"Math Control Signals Syst"},{"issue":"3","key":"130_CR33","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1023\/A:1015625600613","volume":"12","author":"T Yoo","year":"2002","unstructured":"Yoo T, Lafortune S (2002) A general architecture for decentralized supervisory control of discrete-event systems. Discrete Event Dyn Syst 12(3):335\u2013377","journal-title":"Discrete Event Dyn Syst"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-012-0130-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,23]],"date-time":"2019-06-23T18:38:39Z","timestamp":1561315119000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-012-0130-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,19]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["130"],"URL":"https:\/\/doi.org\/10.1007\/s10626-012-0130-6","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,2,19]]}}}