{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:39:34Z","timestamp":1742913574141,"version":"3.40.3"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030409135"},{"type":"electronic","value":"9783030409142"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-40914-2_1","type":"book-chapter","created":{"date-parts":[[2020,2,12]],"date-time":"2020-02-12T21:03:52Z","timestamp":1581541432000},"page":"3-24","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Modeling Guidelines for Component-Based Supervisory Control Synthesis"],"prefix":"10.1007","author":[{"given":"Martijn","family":"Goorden","sequence":"first","affiliation":[]},{"given":"Joanna","family":"van de Mortel-Fronczak","sequence":"additional","affiliation":[]},{"given":"Michel","family":"Reniers","sequence":"additional","affiliation":[]},{"given":"Wan","family":"Fokkink","sequence":"additional","affiliation":[]},{"given":"Jacobus","family":"Rooda","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,2,13]]},"reference":[{"key":"1_CR1","unstructured":"Balemi, S.: Control of discrete event systems: theory and application. Ph.D. thesis, Swiss Federal Institue of Technology Zurich, Zurich (1992)"},{"key":"1_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event Systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer, Boston (2008). https:\/\/doi.org\/10.1007\/978-0-387-68612-7","edition":"2"},{"key":"1_CR3","doi-asserted-by":"publisher","unstructured":"Fabian, M., Hellgren, A.: PLC-based implementation of supervisory control for discrete event systems. In: 37th IEEE Conference on Decision and Control, vol. 3, pp. 3305\u20133310 (1998). https:\/\/doi.org\/10.1109\/CDC.1998.758209","DOI":"10.1109\/CDC.1998.758209"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Fabian, M., Fei, Z., Miremadi, S., Lennartson, B., \u00c5kesson, K.: Supervisory control of manufacturing systems using extended finite automata. In: Campos, J., Seatzo, C., Xie, X. (eds.) Formal Methods in Manufacturing, pp. 295\u2013314. Taylor & Francis Inc., Industrial Information Technology (2014)","DOI":"10.1201\/b16529-13"},{"key":"1_CR5","doi-asserted-by":"publisher","unstructured":"Feng, L., Wonham, W.M.: Nonblocking coordination of discrete-event systems by control-flow nets. In: 46th IEEE Conference on Decision and Control, pp. 3375\u20133380. https:\/\/doi.org\/10.1109\/CDC.2007.4434160","DOI":"10.1109\/CDC.2007.4434160"},{"key":"1_CR6","doi-asserted-by":"publisher","unstructured":"Flordal, H., Malik, R.: Compositional verification in supervisory control. SIAM J. Control Optim. 48(3), 1914\u20131938. https:\/\/doi.org\/10.1137\/070695526","DOI":"10.1137\/070695526"},{"key":"1_CR7","doi-asserted-by":"publisher","unstructured":"G\u00f6be, F., Ney, O., Kowalewski, S.: Reusability and modularity of safety specifications for supervisory control. In: 21st IEEE International Conference on Emerging Technologies and Factory Automation, pp. 1\u20138 (2016). https:\/\/doi.org\/10.1109\/ETFA.2016.7733498","DOI":"10.1109\/ETFA.2016.7733498"},{"issue":"4","key":"1_CR8","doi-asserted-by":"publisher","first-page":"1732","DOI":"10.1109\/TII.2017.2788079","volume":"14","author":"AGC Gonzalez","year":"2018","unstructured":"Gonzalez, A.G.C., Alves, M.V.S., Viana, G.S., Carvalho, L.K., Basilio, J.C.: Supervisory control-based navigation architecture: a new framework for autonomous robots in Industry 4.0 environments. IEEE Trans. Ind. Inform. 14(4), 1732\u20131743 (2018). https:\/\/doi.org\/10.1109\/TII.2017.2788079","journal-title":"IEEE Trans. Ind. Inform."},{"key":"1_CR9","doi-asserted-by":"publisher","unstructured":"Goorden, M.A., Fabian, M.: No synthesis needed, we are alright already. In: 15th IEEE International Conference on Automation Science and Engineering, pp. 195\u2013202. https:\/\/doi.org\/10.1109\/COASE.2019.8843071","DOI":"10.1109\/COASE.2019.8843071"},{"key":"1_CR10","doi-asserted-by":"publisher","unstructured":"Goorden, M.A., van de Mortel-Fronczak, J.M., Etman, L.F.P., Rooda, J.E.: DSM-based analysis for the recognition of modeling errors in supervisory controller design. In: 21st International Dependency and Structure Modeling Conference, pp. 127\u2013135 (2019). https:\/\/doi.org\/10.35199\/dsm2019.7","DOI":"10.35199\/dsm2019.7"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-030-27008-7_5","volume-title":"Formal Methods for Industrial Critical Systems","author":"MA Goorden","year":"2019","unstructured":"Goorden, M.A., van\u00a0de Mortel-Fronczak, J.M., Reniers, M.A., Fokkink, W.J., Rooda, J.E.: The impact of requirement splitting on the efficiency of supervisory control synthesis. In: Larsen, K.G., Willemse, T. (eds.) FMICS 2019. LNCS, vol. 11687, pp. 76\u201392. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-27008-7_5"},{"key":"1_CR12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.292811","author":"MA Goorden","year":"2019","unstructured":"Goorden, M.A., van de Mortel-Fronczak, J.M., Reniers, M.A., Fokkink, W.J., Rooda, J.E.: Structuring multilevel discrete-event systems with dependency structure matrices. IEEE Trans. Autom. Control (2019). https:\/\/doi.org\/10.1109\/TAC.2019.292811 . Early access","journal-title":"IEEE Trans. Autom. Control"},{"key":"1_CR13","doi-asserted-by":"publisher","unstructured":"G\u00f6ssler, G., Sifakis, J.: Composition for component-based modeling. Sci. Comput. Program. 55(1), 161\u2013183. https:\/\/doi.org\/10.1016\/j.scico.2004.05.014","DOI":"10.1016\/j.scico.2004.05.014"},{"issue":"2","key":"1_CR14","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s10626-010-0089-0","volume":"21","author":"L Grigorov","year":"2011","unstructured":"Grigorov, L., Butler, B.E., Cury, J.E.R., Rudie, K.: Conceptual design of discrete-event systems using templates. Discrete Event Dyn. Syst. 21(2), 257\u2013303 (2011). https:\/\/doi.org\/10.1007\/s10626-010-0089-0","journal-title":"Discrete Event Dyn. Syst."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Komenda, J., Masopust, T., van Schuppen, J.H.: Control of an engineering-structured multilevel discrete-event system. In: 13th International Workshop on Discrete Event Systems, pp. 103\u2013108 (2016)","DOI":"10.1109\/WODES.2016.7497833"},{"key":"1_CR16","series-title":"Lecture Notes in Control and Information Sciences","doi-asserted-by":"publisher","DOI":"10.1007\/b105592","volume-title":"Nonblocking Supervisory Control of State Tree Structures","author":"C Ma","year":"2005","unstructured":"Ma, C., Wonham, W.: Nonblocking Supervisory Control of State Tree Structures. Lecture Notes in Control and Information Sciences, vol. 317. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/b105592"},{"key":"1_CR17","unstructured":"Markovski, J., Jacobs, K.G.M., van Beek, D.A., Somers, L.J., Rooda, J.E.: Coordination of resources using generalized state-based requirements. In: 10th International Workshop on Discrete Event Systems, pp. 300\u2013305 (2010)"},{"issue":"1","key":"1_CR18","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10626-015-0217-y","volume":"26","author":"S Mohajerani","year":"2016","unstructured":"Mohajerani, S., Malik, R., Fabian, M.: A framework for compositional nonblocking verification of extended finite-state machines. Discrete Event Dyn. Syst. 26(1), 33\u201384 (2016). https:\/\/doi.org\/10.1007\/s10626-015-0217-y","journal-title":"Discrete Event Dyn. Syst."},{"key":"1_CR19","unstructured":"Moormann, L., Maessen, P., Goorden, M.A., van de Mortel-Fronczak, J.M., Rooda, J.E.: Design of a tunnel supervisory controller using synthesis-based engineering (2020). Accepted for ITA-AITES World Tunnel Congress"},{"issue":"3","key":"1_CR20","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1109\/TASE.2011.2124457","volume":"8","author":"L Ouedraogo","year":"2011","unstructured":"Ouedraogo, L., Kumar, R., Malik, R., \u00c5kesson, K.: Nonblocking and safe control of discrete-event systems modeled as extended finite automata. IEEE Trans. Autom. Sci. Eng. 8(3), 560\u2013569 (2011). https:\/\/doi.org\/10.1109\/TASE.2011.2124457","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"1_CR21","doi-asserted-by":"publisher","unstructured":"Pena, P.N., Cury, J.E.R., Lafortune, S.: Verification of nonconflict of supervisors using abstractions. IEEE Trans. Autom. Control 54(12), 2803\u20132815. https:\/\/doi.org\/10.1109\/TAC.2009.2031730","DOI":"10.1109\/TAC.2009.2031730"},{"key":"1_CR22","series-title":"SECS","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-1-4615-4493-7_10","volume-title":"Discrete Event Systems","author":"MH Queiroz de","year":"2000","unstructured":"de Queiroz, M.H., Cury, J.E.R.: Modular supervisory control of large scale discrete event systems. In: Boel, R., Stremersch, G. (eds.) Discrete Event Systems. SECS, vol. 569, pp. 103\u2013110. Springer, Boston (2000). https:\/\/doi.org\/10.1007\/978-1-4615-4493-7_10"},{"issue":"1","key":"1_CR23","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJG Ramadge","year":"1987","unstructured":"Ramadge, P.J.G., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25(1), 206\u2013230 (1987)","journal-title":"SIAM J. Control Optim."},{"issue":"1","key":"1_CR24","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJG Ramadge","year":"1989","unstructured":"Ramadge, P.J.G., Wonham, W.M.: The control of discrete event systems. Proc. IEEE 77(1), 81\u201398 (1989)","journal-title":"Proc. IEEE"},{"key":"1_CR25","doi-asserted-by":"publisher","unstructured":"Ramos, A.L., Ferreira, J.V., Barcel\u00f3, J.: Model-based systems engineering: an emerging approach for modern systems. IEEE Trans. Syst. Man Cybern. Part C (Appl. Rev.) 42(1), 101\u2013111 (2012). https:\/\/doi.org\/10.1109\/TSMCC.2011.2106495","DOI":"10.1109\/TSMCC.2011.2106495"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Reijnen, F.F.H., Erens, T.R., van de Mortel-Fronczak, J.M., Rooda, J.E.: Supervisory control synthesis for safety PLCs (2020). Submitted to International Workshop on Discrete Event Systems","DOI":"10.1016\/j.ifacol.2021.04.015"},{"key":"1_CR27","doi-asserted-by":"publisher","unstructured":"Reijnen, F.F.H., Goorden, M.A., van de Mortel-Fronczak, J.M., Reniers, M.A., Rooda, J.E.: Application of dependency structure matrices and multilevel synthesis to a production line. In: 2nd IEEE Conference on Control Technology and Applications, pp. 458\u2013464 (2018). https:\/\/doi.org\/10.1109\/CCTA.2018.8511449","DOI":"10.1109\/CCTA.2018.8511449"},{"key":"1_CR28","doi-asserted-by":"publisher","unstructured":"Reijnen, F.F.H., Goorden, M.A., van de Mortel-Fronczak, J.M., Rooda, J.E.: Supervisory control synthesis for a waterway lock. In: 1st IEEE Conference on Control Technology and Applications, pp. 1562\u20131568 (2017). https:\/\/doi.org\/10.1109\/CCTA.2017.8062679","DOI":"10.1109\/CCTA.2017.8062679"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Reijnen, F.F.H., Goorden, M.A., van de Mortel-Fronczak, J.M., Rooda, J.E.: Supervisory control synthesis for a lock-bridge combination (2019). Submitted to Discrete Event Dynamic Systems","DOI":"10.1007\/s10626-020-00314-0"},{"key":"1_CR30","unstructured":"van der Sanden, L.J.: Performance analysis and optimization of supervisory controllers. Ph.D. thesis, Eindhoven University of Technology (2018)"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"van der Sanden, L.J., et al.: Modular model-based supervisory controller design for wafer logistics in lithography machines. In: 18th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (2015)","DOI":"10.1109\/MODELS.2015.7338273"},{"key":"1_CR32","doi-asserted-by":"publisher","unstructured":"Skoldstam, M., \u00c5kesson, K., Fabian, M.: Modeling of discrete event systems using finite automata with variables. In: 46th IEEE Conference on Decision and Control, pp. 3387\u20133392 (2007). https:\/\/doi.org\/10.1109\/CDC.2007.4434894","DOI":"10.1109\/CDC.2007.4434894"},{"key":"1_CR33","doi-asserted-by":"publisher","unstructured":"Su, R., van Schuppen, J.H., Rooda, J.E.: Synthesize nonblocking distributed supervisors with coordinators. In: 17th Mediterranean Conference on Control and Automation, pp. 1108\u20131113 (2009). https:\/\/doi.org\/10.1109\/MED.2009.5164694","DOI":"10.1109\/MED.2009.5164694"},{"key":"1_CR34","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1016\/j.simpat.2017.08.005","volume":"78","author":"L Swartjes","year":"2017","unstructured":"Swartjes, L., van Beek, D.A., Fokkink, W.J., van Eekelen, J.A.W.M.: Model-based design of supervisory controllers for baggage handling systems. Simul. Model. Pract. Theory 78, 28\u201350 (2017). https:\/\/doi.org\/10.1016\/j.simpat.2017.08.005","journal-title":"Simul. Model. Pract. Theory"},{"key":"1_CR35","unstructured":"Swartjes, L.: Model-based design of baggage handling systems. Ph.D. thesis, Eindhoven University of Technology (2018)"},{"issue":"1","key":"1_CR36","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/TASE.2013.2279692","volume":"11","author":"RJM Theunissen","year":"2013","unstructured":"Theunissen, R.J.M., Petreczky, M., Schiffelers, R.R.H., van Beek, D.A., Rooda, J.E.: Application of supervisory control synthesis to a patient support table of a magnetic resonance imaging scanner. IEEE Trans. Autom. Sci. Eng. 11(1), 20\u201332 (2013)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"1","key":"1_CR37","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/BF02551233","volume":"1","author":"WM Wonham","year":"1988","unstructured":"Wonham, W.M., Ramadge, P.J.G.: Modular supervisory control of discrete-event systems. Math. Control Signals Syst. 1(1), 13\u201330 (1988)","journal-title":"Math. Control Signals Syst."},{"key":"1_CR38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77452-7","volume-title":"Supervisory Control of Discrete-Event Systems","author":"WM Wonham","year":"2019","unstructured":"Wonham, W.M., Cai, K.: Supervisory Control of Discrete-Event Systems, 1st edn. Springer, Heidelberg (2019). https:\/\/doi.org\/10.1007\/978-3-319-77452-7","edition":"1"},{"issue":"2","key":"1_CR39","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1080\/00207540010002388","volume":"39","author":"J Zaytoon","year":"2001","unstructured":"Zaytoon, J., Carre-Meneatrier, V.: Synthesis of control implementation for discrete manufacturing systems. Int. J. Prod. Res. 39(2), 329\u2013345 (2001). https:\/\/doi.org\/10.1080\/00207540010002388","journal-title":"Int. J. Prod. Res."}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-40914-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,15]],"date-time":"2022-10-15T11:10:01Z","timestamp":1665832201000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-40914-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030409135","9783030409142"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-40914-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"13 February 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FACS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Aspects of Component Software","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"facs2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/facs2019.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"33% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2 other accepted papers","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}