{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:32:05Z","timestamp":1762522325011,"version":"3.37.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030270070"},{"type":"electronic","value":"9783030270087"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-27008-7_5","type":"book-chapter","created":{"date-parts":[[2019,8,22]],"date-time":"2019-08-22T23:12:33Z","timestamp":1566515553000},"page":"76-92","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0641-7240","authenticated-orcid":false,"given":"Martijn","family":"Goorden","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1381-5132","authenticated-orcid":false,"given":"Joanna","family":"van\u00a0de Mortel-Fronczak","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9283-4074","authenticated-orcid":false,"given":"Michel","family":"Reniers","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7443-8978","authenticated-orcid":false,"given":"Wan","family":"Fokkink","sequence":"additional","affiliation":[]},{"given":"Jacobus","family":"Rooda","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,7,25]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","unstructured":"Basile, D., ter Beek, M.H., Di Giandomenico, F., Gnesi, S.: Orchestration of dynamic service product lines with featured modal contract automata. In: 21st International Systems and Software Product Line Conference , vol. B, pp. 117\u2013122. ACM (2017). https:\/\/doi.org\/10.1145\/3109729.3109741","DOI":"10.1145\/3109729.3109741"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/978-3-642-54862-8_48","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"DA Beek van","year":"2014","unstructured":"van Beek, D.A., et al.: CIF 3: model-based engineering of supervisory controllers. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 575\u2013580. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54862-8_48"},{"issue":"3","key":"5_CR3","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1109\/TAC.2009.2039237","volume":"55","author":"K Cai","year":"2010","unstructured":"Cai, K., Wonham, W.M.: Supervisor localization: a top-down approach to distributed control of discrete-event systems. IEEE Trans. Autom. Control. 55(3), 605\u2013618 (2010)","journal-title":"IEEE Trans. Autom. Control."},{"key":"5_CR4","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":"5_CR5","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/8896.001.0001","volume-title":"Design Structure Matrix Methods and Applications","author":"SD Eppinger","year":"2012","unstructured":"Eppinger, S.D., Browning, T.R.: Design Structure Matrix Methods and Applications. MIT Press, Cambridge (2012)"},{"key":"5_CR6","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. Industrial Information Technology, pp. 295\u2013314. Taylor & Francis Inc., Boca Raton, February 2014","DOI":"10.1201\/b16529-13"},{"key":"5_CR7","doi-asserted-by":"publisher","unstructured":"G\u00f6be, F., Ney, O., Kowalewski, S.: Reusability and modularity of safety specifications for supervisory control. In: IEEE 21st International Conference on Emerging Technologies and Factory Automation, pp. 1\u20138, September 2016. https:\/\/doi.org\/10.1109\/ETFA.2016.7733498","DOI":"10.1109\/ETFA.2016.7733498"},{"key":"5_CR8","doi-asserted-by":"publisher","unstructured":"Goorden, M.A., van de Mortel-Fronczak, J.M., Reniers, M.A., Rooda, J.E.: Structuring multilevel discrete-event systems with dependency structure matrices. In: 56th IEEE Conference on Decision and Control, pp. 558\u2013564, December 2017. https:\/\/doi.org\/10.1109\/CDC.2017.8263721","DOI":"10.1109\/CDC.2017.8263721"},{"key":"5_CR9","doi-asserted-by":"publisher","unstructured":"Greenyer, J., Brenner, C., Cordy, M., Heymans, P., Gressi, E.: Incrementally synthesizing controllers from scenario-based product line specifications. In: 9th Joint Meeting on Foundations of Software Engineering, pp. 433\u2013443. ACM (2013). https:\/\/doi.org\/10.1145\/2491411.2491445","DOI":"10.1145\/2491411.2491445"},{"issue":"2","key":"5_CR10","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. Discret. Event Dyn. Syst. 21(2), 257\u2013303 (2011). https:\/\/doi.org\/10.1007\/s10626-010-0089-0","journal-title":"Discret. Event Dyn. Syst."},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TSMC.2018.2795011","volume":"99","author":"T Jiao","year":"2018","unstructured":"Jiao, T., Gan, Y., Xiao, G., Wonham, W.M.: Exploiting symmetry of discrete-event systems by relabeling and reconfiguration. IEEE Trans. Syst. Man Cybern.: Syst. 99, 1\u201312 (2018). https:\/\/doi.org\/10.1109\/TSMC.2018.2795011","journal-title":"IEEE Trans. Syst. Man Cybern.: Syst."},{"key":"5_CR12","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, May 2016","DOI":"10.1109\/WODES.2016.7497833"},{"issue":"2","key":"5_CR13","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1109\/TITS.2017.2776354","volume":"19","author":"T Korssen","year":"2017","unstructured":"Korssen, T., Dolk, V., van de Mortel-Fronczak, J.M., Reniers, M.A., Heemels, M.: Systematic model-based design and implementation of supervisors for advanced driver assistance systems. IEEE Trans. Intell. Transp. Syst. 19(2), 533\u2013544 (2017). https:\/\/doi.org\/10.1109\/TITS.2017.2776354","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"12","key":"5_CR14","doi-asserted-by":"publisher","first-page":"1330","DOI":"10.1109\/9.61009","volume":"35","author":"F Lin","year":"1990","unstructured":"Lin, F., Wonham, W.M.: Decentralized control and coordination of discrete-event systems with partial observation. IEEE Trans. Autom. Control 35(12), 1330\u20131337 (1990). https:\/\/doi.org\/10.1109\/9.61009","journal-title":"IEEE Trans. Autom. Control"},{"key":"5_CR15","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"},{"issue":"12","key":"5_CR16","doi-asserted-by":"publisher","first-page":"287","DOI":"10.3182\/20100830-3-DE-4013.00048","volume":"43","author":"J. Markovski","year":"2010","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, pp. 300\u2013305 (2010)","journal-title":"IFAC Proceedings Volumes"},{"key":"5_CR17","doi-asserted-by":"publisher","DOI":"10.1201\/b21429","volume-title":"Risk Analysis in Engineering : Techniques, Tools, and Trends","author":"M Modarres","year":"2016","unstructured":"Modarres, M.: Risk Analysis in Engineering : Techniques, Tools, and Trends. CRC Press, Boca Raton (2016). https:\/\/doi.org\/10.1201\/b21429"},{"issue":"1","key":"5_CR18","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/TAC.2013.2283109","volume":"59","author":"S Mohajerani","year":"2014","unstructured":"Mohajerani, S., Malik, R., Fabian, M.: A framework for compositional synthesis of modular nonblocking supervisors. IEEE Trans. Autom. Control 59(1), 150\u2013162 (2014)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"1","key":"5_CR19","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. Discret. Event Dyn. Syst. 26(1), 33\u201384 (2016). https:\/\/doi.org\/10.1007\/s10626-015-0217-y","journal-title":"Discret. Event Dyn. Syst."},{"key":"5_CR20","series-title":"The Springer International Series in Engineering and Computer Science","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. The Springer International Series in Engineering and Computer Science, vol. 569, pp. 103\u2013110. Springer, Boston (2000). https:\/\/doi.org\/10.1007\/978-1-4615-4493-7_10"},{"issue":"1","key":"5_CR21","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":"5_CR22","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"},{"issue":"1","key":"5_CR23","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1109\/TSMCC.2011.2106495","volume":"42","author":"AL Ramos","year":"2012","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","journal-title":"IEEE Trans. Syst., Man, Cybern., Part C (Appl. Rev.)"},{"key":"5_CR24","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: IEEE Conference on Control Technology and Applications, pp. 458\u2013464, August 2018. https:\/\/doi.org\/10.1109\/CCTA.2018.8511449","DOI":"10.1109\/CCTA.2018.8511449"},{"key":"5_CR25","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, August 2017. https:\/\/doi.org\/10.1109\/CCTA.2017.8062679","DOI":"10.1109\/CCTA.2017.8062679"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Reijnen, F.F.H., Verbakel, J.J., van de Mortel-Fronczak, J.M., Rooda, J.E.: Hardware-in-the-loop set-up for supervisory controllers with an application: the Prinses Marijke complex. In: IEEE Conference on Control Technology and Applications, August 2019 (accepted)","DOI":"10.1109\/CCTA.2019.8920561"},{"key":"5_CR27","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. Discret. Event Dyn. Syst. (2019, submitted)","DOI":"10.1007\/s10626-020-00314-0"},{"issue":"11","key":"5_CR28","doi-asserted-by":"publisher","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K Rudie","year":"1992","unstructured":"Rudie, K., Wonham, W.M.: Think globally, act locally: decentralized supervisory control. IEEE Trans. Autom. Control 37(11), 1692\u20131708 (1992)","journal-title":"IEEE Trans. Autom. Control"},{"key":"5_CR29","doi-asserted-by":"crossref","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, June 2009","DOI":"10.1109\/MED.2009.5164694"},{"issue":"6","key":"5_CR30","doi-asserted-by":"publisher","first-page":"968","DOI":"10.1016\/j.automatica.2010.02.025","volume":"46","author":"R Su","year":"2010","unstructured":"Su, R., van Schuppen, J.H., Rooda, J.E., Hofkamp, A.T.: Nonconflict check by using sequential automaton abstractions based on weak observation equivalence. Automatica 46(6), 968\u2013978 (2010)","journal-title":"Automatica"},{"key":"5_CR31","unstructured":"Theunissen, R.J.M.: Supervisory Control in Health Care Systems. Ph.D. thesis, Eindhoven University of Technology, Eindhoven (2015). http:\/\/repository.tue.nl\/786117"},{"issue":"1","key":"5_CR32","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 Sig. Syst. 1(1), 13\u201330 (1988)","journal-title":"Math. Control Sig. Syst."},{"key":"5_CR33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77452-7","volume-title":"Supervisory Control of Discrete-Event Systems","author":"WM Wonham","year":"2018","unstructured":"Wonham, W.M., Cai, K.: Supervisory Control of Discrete-Event Systems, 1st edn. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-319-77452-7","edition":"1"},{"issue":"10","key":"5_CR34","doi-asserted-by":"publisher","first-page":"1125","DOI":"10.1109\/9.58555","volume":"35","author":"H Zhong","year":"1990","unstructured":"Zhong, H., Wonham, W.M.: On the consistency of hierarchical supervision in discrete-event systems. IEEE Trans. Autom. Control 35(10), 1125\u20131134 (1990)","journal-title":"IEEE Trans. Autom. Control"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-27008-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,17]],"date-time":"2021-01-17T07:23:37Z","timestamp":1610868217000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-27008-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030270070","9783030270087"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-27008-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"25 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Formal Methods for Industrial Critical Systems","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":"30 August 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 August 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2019","order":10,"name":"conference_id","label":"Conference ID","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":"15","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":"0","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":"60% - 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":"2","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)"}}]}}