{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:21:02Z","timestamp":1762521662539},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548611"},{"type":"electronic","value":"9783642548628"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54862-8_48","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T09:33:34Z","timestamp":1395394414000},"page":"575-580","source":"Crossref","is-referenced-by-count":59,"title":["CIF 3: Model-Based Engineering of Supervisory Controllers"],"prefix":"10.1007","author":[{"given":"D. A.","family":"van Beek","sequence":"first","affiliation":[]},{"given":"W. J.","family":"Fokkink","sequence":"additional","affiliation":[]},{"given":"D.","family":"Hendriks","sequence":"additional","affiliation":[]},{"given":"A.","family":"Hofkamp","sequence":"additional","affiliation":[]},{"given":"J.","family":"Markovski","sequence":"additional","affiliation":[]},{"given":"J. M.","family":"van de Mortel-Fronczak","sequence":"additional","affiliation":[]},{"given":"M. A.","family":"Reniers","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"48_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science\u00a0138(1), 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"key":"48_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/3-540-46430-1_5","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2000","unstructured":"Alur, R., Grosu, R., Hur, Y., Kumar, V., Lee, I.: Modular specification of hybrid systems in CHARON. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 6\u201319. Springer, Heidelberg (2000)"},{"key":"48_CR3","unstructured":"van Beek, D.A., Hendriks, D., Swartjes, L., Reniers, M.A.: Report on the extensions of the CIF and transformation algorithms. Technical Report HYCON Deliverable D6.2.4 (2013)"},{"key":"48_CR4","doi-asserted-by":"crossref","unstructured":"van Beek, D.A., Reniers, M.A., Rooda, J.E., Schiffelers, R.R.H.: Concrete syntax and semantics of the Compositional Interchange Format for hybrid systems. In: IFAC World Congress 2008, pp. 7979\u20137986, IFAC (2008)","DOI":"10.3182\/20080706-5-KR-1001.01348"},{"key":"48_CR5","doi-asserted-by":"crossref","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer (2007)","DOI":"10.1007\/978-0-387-68612-7"},{"key":"48_CR6","unstructured":"van Dijk, D.: Supervisory control of a Philips MRI-scanner. Master\u2019s thesis, Eindhoven University of Technology (2013)"},{"issue":"4","key":"48_CR7","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/s10626-012-0130-6","volume":"22","author":"S.T.J. Forschelen","year":"2012","unstructured":"Forschelen, S.T.J., van de Mortel-Fronczak, J.M., Su, R., Rooda, J.E.: Application of supervisory control theory to theme park vehicles. Discrete Event Dynamic Systems\u00a022(4), 511\u2013540 (2012)","journal-title":"Discrete Event Dynamic Systems"},{"key":"48_CR8","unstructured":"Geurts, J.W.P.: Supervisory control of MRI subsystems. Master\u2019s thesis, Eindhoven University of Technology (2012)"},{"key":"48_CR9","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Verification of Digital and Hybrid Systems. NATO ASI Series F: Computer and Systems Science, vol.\u00a0170, pp. 265\u2013292. Springer (2000)","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"48_CR10","doi-asserted-by":"crossref","unstructured":"van Hulst, A., Fokkink, W.J., Reniers, M.A.: Maximal synthesis for Hennessy-Milner Logic. In: ACSD 2013, pp. 1\u201310. IEEE (2013)","DOI":"10.1109\/ACSD.2013.4"},{"key":"48_CR11","doi-asserted-by":"crossref","unstructured":"John, K.H., Tiegelkamp, M.: IEC 61131-3: Programming Industrial Automation Systems, 2nd edn. Springer (2010)","DOI":"10.1007\/978-3-642-12015-2"},{"key":"48_CR12","unstructured":"Kamphuis, R.H.J.: Design and real-time implementation of a supervisory controller for baggage handling at Veghel Airport. Master\u2019s thesis, Eindhoven University of Technology (2013)"},{"key":"48_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/3-540-45351-2_33","volume-title":"Hybrid Systems: Computation and Control","author":"N. Lynch","year":"2001","unstructured":"Lynch, N., Segala, R., Vaandrager, F.: Hybrid I\/O automata revisited. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 403\u2013417. Springer, Heidelberg (2001)"},{"key":"48_CR14","first-page":"163","volume":"296","author":"J. Markovski","year":"2013","unstructured":"Markovski, J., Estens Musa, E.S., Reniers, M.A.: Extending a synthesis-centric model-based systems engineering framework with stochastic model checking. ENTCS\u00a0296, 163\u2013181 (2013)","journal-title":"ENTCS"},{"key":"48_CR15","unstructured":"Markovski, J., Jacobs, K.G.M., van Beek, D.A., Somers, L.J.A.M., Rooda, J.E.: Coordination of resources using generalized state-based requirements. In: WODES 2010, pp. 300\u2013305. IFAC (2010)"},{"key":"48_CR16","doi-asserted-by":"crossref","unstructured":"Markovski, J., Reniers, M.A.: An integrated state- and event-based framework for verifying liveness in supervised systems. In: ICARCV 2012, pp. 246\u2013251. IEEE (2012)","DOI":"10.1109\/ICARCV.2012.6485166"},{"key":"48_CR17","doi-asserted-by":"crossref","unstructured":"Markovski, J., Reniers, M.A.: Verifying performance of supervised plants. In: ACSD 2012, pp. 52\u201361. IEEE (2012)","DOI":"10.1109\/ACSD.2012.24"},{"issue":"1","key":"48_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jlap.2012.07.001","volume":"82","author":"D.E. Nadales Agut","year":"2012","unstructured":"Nadales Agut, D.E., van Beek, D.A., Rooda, J.E.: Syntax and semantics of the compositional interchange format for hybrid systems. Journal of Logic and Algebraic Programming\u00a082(1), 1\u201352 (2012)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"48_CR19","doi-asserted-by":"crossref","unstructured":"Nadales Agut, D.E., Reniers, M.A., Schiffelers, R.R.H., J\u00f8rgensen, K.Y., van Beek, D.A.: A semantic-preserving transformation from the Compositional Interchange Format to UPPAAL. In: IFAC World Congress 2011, pp. 12496\u201312502, IFAC (2011)","DOI":"10.3182\/20110828-6-IT-1002.03030"},{"issue":"3","key":"48_CR20","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1016\/j.aei.2012.02.009","volume":"26","author":"R.J.M. Theunissen","year":"2012","unstructured":"Theunissen, R.J.M., van Beek, D.A., Rooda, J.E.: Improving evolvability of a patient communication control system using state-based supervisory control synthesis. Advanced Engineering Informatics\u00a026(3), 502\u2013515 (2012)","journal-title":"Advanced Engineering Informatics"},{"key":"48_CR21","unstructured":"The MathWorks, Inc. Writing S-functions, version 6 (2005), \n                    \n                      http:\/\/www.mathworks.com"},{"issue":"3","key":"48_CR22","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"W.M. Wonham","year":"1987","unstructured":"Wonham, W.M., Ramadge, P.J.: On the supremal controllable sublanguage of a given language. SIAM Journal on Control and Optimization\u00a025(3), 637\u2013659 (1987)","journal-title":"SIAM Journal on Control and Optimization"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54862-8_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T07:58:28Z","timestamp":1558857508000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54862-8_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548611","9783642548628"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54862-8_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}