{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T06:50:26Z","timestamp":1781938226870,"version":"3.54.5"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032283573","type":"print"},{"value":"9783032283580","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-28358-0_3","type":"book-chapter","created":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T06:02:04Z","timestamp":1781935324000},"page":"47-69","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Motif Refinement for\u00a0the\u00a0Hierarchical Control of\u00a0Structured CPSs"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7900-5271","authenticated-orcid":false,"given":"Simon","family":"Bliudze","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0122-0796","authenticated-orcid":false,"given":"Sophie","family":"Cerf","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1482-9015","authenticated-orcid":false,"given":"Olga","family":"Kouchnarenko","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,6,21]]},"reference":[{"key":"3_CR1","unstructured":"National Institute of Standards and Technology (NIST, USA): framework for cyber-physical systems (special publication 1500-201) (2017)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Ar\u00e9chiga, N., Loos, S.M., Platzer, A., Krogh, B.H.: Using theorem provers to guarantee closed-loop system properties. In: 2012 American Control Conference (ACC), pp. 3573\u20133580 (2012). ISSN: 2378-5861","DOI":"10.1109\/ACC.2012.6315388"},{"key":"3_CR3","unstructured":"Astrom, K.J.: PID controllers: theory, design, and tuning. Int. Soc. Measur. Control (1995)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"\u00c5str\u00f6m, K.J.: Model uncertainty and robust control. In: Lecture Notes on Iterative Identification and Control Design, pp. 63\u2013100 (2000)","DOI":"10.1007\/978-1-4471-0205-2_4"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Bak, S., Manamcheri, K., Mitra, S., Caccamo, M.: Sandboxing controllers for cyber-physical systems. In: 2011 IEEE\/ACM International Conference on Cyber-Physical Systems, pp. 3\u201312 (2011)","DOI":"10.1109\/ICCPS.2011.25"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Balakrishnan, G., Sankaranarayanan, S., Ivan\u010di\u0107, F., Gupta, A.: Refining the control structure of loops using static analysis. In: Proceedings of the ACM International Conference on Embedded Software, EMSOFT \u201909, pp. 49\u201358 (2009)","DOI":"10.1145\/1629335.1629343"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-030-02146-7_6","volume-title":"Formal Aspects of Component Software","author":"R El Ballouli","year":"2018","unstructured":"El Ballouli, R., Bensalem, S., Bozga, M., Sifakis, J.: Programming dynamic reconfigurable systems. In: Bae, K., \u00d6lveczky, P.C. (eds.) FACS 2018. LNCS, vol. 11222, pp. 118\u2013136. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-02146-7_6"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.scico.2014.04.013","volume":"94","author":"R Banach","year":"2014","unstructured":"Banach, R., Zhu, H., Su, W., Wu, X.: ASM, controller synthesis, and complete refinement. Sci. Comput. Program. 94, 109\u2013129 (2014)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"3_CR9","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MS.2011.27","volume":"28","author":"A Basu","year":"2011","unstructured":"Basu, A., et al.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41\u201348 (2011)","journal-title":"IEEE Softw."},{"issue":"1\u20132","key":"3_CR10","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s12243-008-0068-8","volume":"64","author":"F Baude","year":"2009","unstructured":"Baude, F., et al.: GCM: a grid extension to fractal for autonomous distributed components. Ann. des T\u00e9l\u00e9commun. 64(1\u20132), 5\u201324 (2009)","journal-title":"Ann. des T\u00e9l\u00e9commun."},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-45251-6_2","volume-title":"FME 2001: Formal Methods for Increasing Software Productivity","author":"F Bellegarde","year":"2001","unstructured":"Bellegarde, F., Darlot, C., Julliand, J., Kouchnarenko, O.: Reformulation: a way to combine dynamic properties and B refinement. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol. 2021, pp. 2\u201319. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45251-6_2"},{"key":"3_CR12","doi-asserted-by":"publisher","unstructured":"Bliudze, S., Cerf, S., Kouchnarenko, O.: A hybrid modelling approach for hierarchical control of structured CPSs. In: Mezzina, C.A., Schmitt, A., eds., Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday, volume 16065 of LNCS, pp. 175\u2013196. Springer Nature Switzerland, Cham (2026). https:\/\/doi.org\/10.1007\/978-3-031-99717-4_10","DOI":"10.1007\/978-3-031-99717-4_10"},{"issue":"11\u201312","key":"3_CR13","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1002\/spe.767","volume":"36","author":"E Bruneton","year":"2006","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Qu\u00e9ma, V., Stefani, J.-B.: The Fractal component model and its support in Java: experiences with auto-adaptive and reconfigurable systems. Softw. Pract. Exper. 36(11\u201312), 1257\u20131284 (2006)","journal-title":"Softw. Pract. Exper."},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-642-28872-2_17","volume-title":"Fundamental Approaches to Software Engineering","author":"R Bruni","year":"2012","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: A conceptual framework for adaptation. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 240\u2013254. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28872-2_17"},{"key":"3_CR15","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.110972","volume":"178","author":"T Bures","year":"2021","unstructured":"Bures, T., Calinescu, R., Weyns, D.: Special issue on software engineering for trustworthy cyber-physical systems. J. Syst. Softw. 178, 110972 (2021)","journal-title":"J. Syst. Softw."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Bures, T., Hnetynka, P., Pl\u00e1sil, F.: SOFA 2.0: balancing advanced features in a hierarchical component model. In: Proceedings of the Internatinal Conference (SERA 2006), pp. 40\u201348. IEEE Computer Society (2006)","DOI":"10.1109\/SERA.2006.62"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Coullon, H., Henrio, L., Loulergue, F., Robillard, S.: Component-based distributed software reconfiguration: a verification-oriented survey. ACM Comput. Surv. 56(1), 2:1\u20132:37 (2024)","DOI":"10.1145\/3595376"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"de\u00a0Lemos, R.: Software self-adaptation and industry: Blame MAPE-K. In: Proceedings of the International Symposium. SEAMS 2023, pp. 88\u201389. IEEE (2023)","DOI":"10.1109\/SEAMS59076.2023.00021"},{"key":"3_CR19","doi-asserted-by":"publisher","unstructured":"de\u00a0Lemos, R., et\u00a0al.: Software engineering for self-adaptive systems: research challenges in the provision of assurances. In: Software Engineering for Self-Adaptive Systems III. Assurances, volume 9640 of LNCS, pp. 3\u201330. Springer, Cham (2013). https:\/\/doi.org\/10.1007\/978-3-319-74183-3_1","DOI":"10.1007\/978-3-319-74183-3_1"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Ding, Z., Chen, Z., Liu, J.: A rigorous model of service component architecture. In: Pu, G., Stolz, V., eds., Proceedings of the International Workshop TTSS 2007, volume 207 of ENTCS, pp. 33\u201348. Elsevier (2007)","DOI":"10.1016\/j.entcs.2008.03.084"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-32759-9_16","volume-title":"FM 2012: Formal Methods","author":"J Dormoy","year":"2012","unstructured":"Dormoy, J., Kouchnarenko, O., Lanoix, A.: When structural refinement of components keeps temporal properties over reconfigurations. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 171\u2013186. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32759-9_16"},{"key":"3_CR22","unstructured":"Doyle, J.C., Francis, B.A., Tannenbaum, A.R.: Feedback control theory. Courier Corporation (2013)"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Dupont, G., Ameur, Y.A., Singh, N.K., Pantel, M.: Event-B hybridation: a proof and refinement-based framework for modelling hybrid systems. ACM Trans. Embed. Comput. Syst. 20(4), 35:1\u201335:37 (2021)","DOI":"10.1145\/3448270"},{"issue":"16","key":"3_CR24","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.ifacol.2018.08.026","volume":"51","author":"S Dutta","year":"2018","unstructured":"Dutta, S., Jha, S., Sankaranarayanan, S., Tiwari, A.: Learning and verification of feedback control systems using feedforward neural networks. IFAC-PapersOnLine 51(16), 151\u2013156 (2018)","journal-title":"IFAC-PapersOnLine"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Filieri, A., et\u00a0al.: Software engineering meets control theory. In: Proceedings of the IEEE\/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 71\u201382. IEEE (2015)","DOI":"10.1109\/SEAMS.2015.12"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Girard, A., Pappas, G.J.: Hierarchical control using approximate simulation relations. In: Proceedings of the IEEE Conference on Decision and Control, pp. 264\u2013269 (2006)","DOI":"10.1109\/CDC.2006.377051"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Hellerstein, J.L., Diao, Y., Parekh, Y., Tilbury, D.M.: Feedback Control of Computing Systems. John Wiley & Sons (2004)","DOI":"10.1002\/047166880X"},{"key":"3_CR28","doi-asserted-by":"publisher","first-page":"909","DOI":"10.1007\/s00165-016-0376-0","volume":"28","author":"S Hoang","year":"2016","unstructured":"Hoang, S., Schneider, S.A., Treharne, H., Williams, D.M.: Foundations for using linear temporal logic in Event-B refinement. Formal Aspects Comput. 28, 909\u2013935 (2016)","journal-title":"Formal Aspects Comput."},{"key":"3_CR29","doi-asserted-by":"publisher","first-page":"1211","DOI":"10.1109\/LCSYS.2024.3410150","volume":"8","author":"I Incer","year":"2024","unstructured":"Incer, I., Csomay-Shanklin, N., Ames, A.D., Murray, R.M.: Layered control systems operating on multiple clocks. IEEE Control Syst. Lett. 8, 1211\u20131216 (2024)","journal-title":"IEEE Control Syst. Lett."},{"issue":"1","key":"3_CR30","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"JO Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1), 41\u201350 (2003)","journal-title":"Computer"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Klein, C., Maggio, M., \u00c5rz\u00e9n, K.-E., Hern\u00e1ndez-Rodriguez, F.: Brownout: building more robust cloud applications. In: Jalote, P., Briand, L.C., van\u00a0der Hoek, A., eds., Proceedings of the International Conference ICSE\u201914, pp. 700\u2013711. ACM (2014)","DOI":"10.1145\/2568225.2568227"},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"Lanoix, A., Kouchnarenko, O.: Component substitution through dynamic reconfigurations. In: Buhnova, B., Happe, L., Kofron, J., eds. Proceedings of the International Workshop FESCA 2014, vol. 147 of EPTCS, pp. 32\u201346 (2014)","DOI":"10.4204\/EPTCS.147.3"},{"key":"3_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-319-70848-5_6","volume-title":"Formal Methods: Foundations and Applications","author":"T Lecomte","year":"2017","unstructured":"Lecomte, T., Deharbe, D., Prun, E., Mottin, E.: Applying a formal method in industry: a 25-year trajectory. In: Cavalheiro, S., Fiadeiro, J. (eds.) SBMF 2017. LNCS, vol. 10623, pp. 70\u201387. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-70848-5_6"},{"issue":"3","key":"3_CR34","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/MCS.2024.3382388","volume":"44","author":"N Matni","year":"2024","unstructured":"Matni, N., Ames, A.D., Doyle, J.C.: A quantitative framework for layered multirate control: Toward a theory of control architecture. IEEE Control Syst. Mag. 44(3), 52\u201394 (2024)","journal-title":"IEEE Control Syst. Mag."},{"issue":"3","key":"3_CR35","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s10626-017-0262-9","volume":"28","author":"P Prabhakar","year":"2018","unstructured":"Prabhakar, P., Liu, J., Murray, R.M.: Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems. Discrete Event Dyn. Syst. 28(3), 349\u2013374 (2018)","journal-title":"Discrete Event Dyn. Syst."},{"key":"3_CR36","doi-asserted-by":"publisher","unstructured":"Rutten, \u00c9., Marchand, N., Simon, D.: Feedback control as MAPE-K loop in autonomic computing. In: de\u00a0Lemos, R., Garlan, D., Ghezzi, C., Giese, H., eds., Software Engineering for Self-Adaptive Systems III. Assurances, vol. 9640 of LNCS, pp. 349\u2013373. Springer, Cham (2013). https:\/\/doi.org\/10.1007\/978-3-319-74183-3_12","DOI":"10.1007\/978-3-319-74183-3_12"},{"key":"3_CR37","doi-asserted-by":"crossref","unstructured":"Sangiovanni-Vincentelli, A., Damm, W., Passerone, R.: Taming Dr. Frankenstein: contract-based design for cyber-physical systems. Eur. J. Control 18(3), 217\u2013238 (2012)","DOI":"10.3166\/ejc.18.217-238"},{"key":"3_CR38","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109910","volume":"134","author":"A Saoud","year":"2021","unstructured":"Saoud, A., Girard, A., Fribourg, L.: Assume-guarantee contracts for continuous-time systems. Automatica 134, 109910 (2021)","journal-title":"Automatica"},{"issue":"8","key":"3_CR39","doi-asserted-by":"publisher","first-page":"784","DOI":"10.1109\/TSE.2017.2704579","volume":"44","author":"S Shevtsov","year":"2018","unstructured":"Shevtsov, S., Berekmeri, M., Weyns, D., Maggio, M.: Control-theoretical software adaptation: a systematic literature review. IEEE Trans. Software Eng. 44(8), 784\u2013810 (2018)","journal-title":"IEEE Trans. Software Eng."},{"key":"3_CR40","doi-asserted-by":"crossref","unstructured":"Vinnicombe, G.: Uncertainty and Feedback. World Scientific, H Loop-shaping and the V-gap Metric (2000)","DOI":"10.1142\/p140"},{"key":"3_CR41","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-030-00262-6_11","volume-title":"Handbook of Software Engineering","author":"D Weyns","year":"2019","unstructured":"Weyns, D.: Software engineering of self-adaptive systems. In: Handbook of Software Engineering, pp. 399\u2013443. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-00262-6_11"},{"key":"3_CR42","doi-asserted-by":"crossref","unstructured":"Weyns, D., et\u00a0al.: Towards better adaptive systems by combining MAPE, control theory, and machine learning. In: Proceedings of the International Symposium SEAMS@ICSE 2021, pp. 217\u2013223. IEEE (2021)","DOI":"10.1109\/SEAMS51251.2021.00036"},{"key":"3_CR43","unstructured":"Zhou, K., Doyle, J.C.: Essentials of Robust Control, vol. 104. Prentice Hall (1998)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-28358-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T06:02:09Z","timestamp":1781935329000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-28358-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032283573","9783032283580"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-28358-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"21 June 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Models and Languages","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Urbino","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 June 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 June 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.discotec.org\/2026\/coordination","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}