{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T12:55:53Z","timestamp":1770468953030,"version":"3.49.0"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031997167","type":"print"},{"value":"9783031997174","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"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-031-99717-4_10","type":"book-chapter","created":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T19:57:39Z","timestamp":1760817459000},"page":"175-196","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Hybrid Modelling Approach for\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":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0122-0796","authenticated-orcid":false,"given":"Sophie","family":"Cerf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1482-9015","authenticated-orcid":false,"given":"Olga","family":"Kouchnarenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,19]]},"reference":[{"key":"10_CR1","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":"10_CR2","doi-asserted-by":"crossref","unstructured":"Bak, S., Manamcheri, K., Mitra, S., Caccamo, M.: Sandboxing controllers for cyber-physical systems. In: IEEE\/ACM International Conference on Cyber-Physical Systems, pp. 3\u201312 (2011)","DOI":"10.1109\/ICCPS.2011.25"},{"key":"10_CR3","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 7th ACM International Conference on Embedded software, EMSOFT 2009, pp. 49\u201358. ACM (2009)","DOI":"10.1145\/1629335.1629343"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"El Ballouli, R., Bensalem, S., Bozga, M., Sifakis, J.: Programming dynamic reconfigurable systems. In: Bae, K., Csaba Olveczky, P. (eds.) Proceedings of International Conference on FACS 2018. LNCS, vol. 11222, pp. 118\u2013136. Springer (2018)","DOI":"10.1007\/978-3-030-02146-7_6"},{"issue":"3","key":"10_CR5","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":"10_CR6","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\u00e9communications 64(1\u20132), 5\u201324 (2009)","journal-title":"Ann. des T\u00e9l\u00e9communications"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Bliudze, S., Furic, S.: An operational semantics for hybrid systems involving behavioral abstraction. In: Proceedings of the 10th International Modelica Conference, Link\u00f6ping Electronic Conference Proceedings, pp. 693\u2013706, Link\u00f6ping. Link\u00f6ping University Electronic Press, Link\u00f6pings universitet (2014)","DOI":"10.3384\/ecp14096693"},{"issue":"3","key":"10_CR8","doi-asserted-by":"publisher","first-page":"1613","DOI":"10.1007\/s10270-017-0642-5","volume":"18","author":"S Bliudze","year":"2019","unstructured":"Bliudze, S., Furic, S., Sifakis, J., Viel, A.: Rigorous design of cyber-physical systems: Linking physicality and computation. Int. J. Softw. Syst. Model. 18(3), 1613\u20131636 (2019)","journal-title":"Int. J. Softw. Syst. Model."},{"key":"10_CR9","unstructured":"Bozga, M., Esparza, J., Iosif, R., Sifakis, J., Welzel, C.: Structural invariants for the verification of systems with parameterized architectures. In: Biere, A., Parker, D. (eds.) Proceedings of International Conference on TACAS 2020, Part I. LNCS, vol. 12078, pp. 228\u2013246. Springer (2020)"},{"issue":"11\u201312","key":"10_CR10","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":"10_CR11","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":"10_CR12","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 International Conference on SERA 2006, pp. 40\u201348. IEEE Computer Society (2006)","DOI":"10.1109\/SERA.2006.62"},{"key":"10_CR13","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":"10_CR14","doi-asserted-by":"crossref","unstructured":"de Lemos, R.: Software self-adaptation and industry: blame MAPE-K. In: Proceedings of International Symposium on SEAMS 2023, pp. 88\u201389. IEEE (2023)","DOI":"10.1109\/SEAMS59076.2023.00021"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-74183-3_1","volume-title":"Software Engineering for Self-Adaptive Systems III. Assurances","author":"R Lemos","year":"2017","unstructured":"Lemos, R., et al.: Software engineering for self-adaptive systems: research challenges in the provision of assurances. In: de Lemos, R., Garlan, D., Ghezzi, C., Giese, H. (eds.) Software Engineering for Self-Adaptive Systems III. Assurances. LNCS, vol. 9640, pp. 3\u201330. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-74183-3_1"},{"key":"10_CR16","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 International Workshop TTSS 2007. ENTCS, vol. 207, pp. 33\u201348. Elsevier (2007)","DOI":"10.1016\/j.entcs.2008.03.084"},{"issue":"16","key":"10_CR17","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":"10_CR18","doi-asserted-by":"crossref","unstructured":"Filieri, A., et al.: Software engineering meets control theory. In: Proceedings of 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":"10_CR19","doi-asserted-by":"crossref","unstructured":"Girard, A., Pappas, G.J.: Hierarchical control using approximate simulation relations. In: Proceedings of the 45th IEEE Conference on Decision and Control, pp. 264\u2013269 (2006)","DOI":"10.1109\/CDC.2006.377051"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-642-21464-6_2","volume-title":"Coordination Models and Languages","author":"C Giusto","year":"2011","unstructured":"Giusto, C., Stefani, J.-B.: Revisiting glue expressiveness in component-based systems. In: De Meuter, W., Roman, G.-C. (eds.) COORDINATION 2011. LNCS, vol. 6721, pp. 16\u201330. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21464-6_2"},{"key":"10_CR21","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/j.buildenv.2011.11.009","volume":"51","author":"I Hazyuk","year":"2012","unstructured":"Hazyuk, I., Ghiaus, C., Penhouet, D.: Optimal temperature control of intermittently heated buildings using model predictive control: Part I - Building modeling. Build. Environ. 51, 379\u2013387 (2012)","journal-title":"Build. Environ."},{"key":"10_CR22","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1016\/j.buildenv.2011.11.008","volume":"51","author":"I Hazyuk","year":"2012","unstructured":"Hazyuk, I., Ghiaus, C., Penhouet, D.: Optimal temperature control of intermittently heated buildings using model predictive control: Part II \u2013 Control algorithm. Build. Environ. 51, 388\u2013394 (2012)","journal-title":"Build. Environ."},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Hellerstein, J.L., Diao, Y., Parekh, S., Tilbury, D.M.: Feedback Control of Computing Systems. Wiley (2004)","DOI":"10.1002\/047166880X"},{"key":"10_CR24","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":"10_CR25","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":"10_CR26","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 der Hoek, A. (eds.) Proceedings of International Conference on ICSE 2014, pp. 700\u2013711. ACM (2014)","DOI":"10.1145\/2568225.2568227"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Liu, S., Saoud, A., Dimarogonas, D.V.: Controller synthesis of collaborative signal temporal logic tasks for multi-agent systems via assume-guarantee contracts. IEEE Trans. Autom. Control 1\u201316 (2025)","DOI":"10.1109\/TAC.2025.3549288"},{"issue":"3","key":"10_CR28","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":"9","key":"10_CR29","doi-asserted-by":"publisher","first-page":"1445","DOI":"10.1016\/j.enbuild.2010.03.014","volume":"42","author":"P-D Moro\u015fan","year":"2010","unstructured":"Moro\u015fan, P.-D., Bourdais, R., Dumur, D., Buisson, J.: Building temperature regulation using a distributed model predictive control. Energy Build. 42(9), 1445\u20131452 (2010)","journal-title":"Energy Build."},{"key":"10_CR30","unstructured":"National Institute of Standards and Technology (NIST, USA). Framework for cyber-physical systems (special publication 1500-201) (2017)"},{"issue":"3","key":"10_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/986710.986728","volume":"29","author":"F Oquendo","year":"2004","unstructured":"Oquendo, F.: pi-ADL: an architecture description language based on the higher-order typed pi-calculus for specifying dynamic and mobile software architectures. ACM SIGSOFT Softw. Eng. Notes 29(3), 1\u201314 (2004)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"10_CR32","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)"},{"key":"10_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-319-74183-3_12","volume-title":"Software Engineering for Self-Adaptive Systems III. Assurances","author":"E Rutten","year":"2017","unstructured":"Rutten, E., Marchand, N., Simon, D.: Feedback control as MAPE-K loop in autonomic computing. In: de Lemos, R., Garlan, D., Ghezzi, C., Giese, H. (eds.) Software Engineering for Self-Adaptive Systems III. Assurances. LNCS, vol. 9640, pp. 349\u2013373. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-74183-3_12"},{"key":"10_CR34","doi-asserted-by":"crossref","unstructured":"Saoud, A., Girard, A., Fribourg, L.: Assume-guarantee contracts for continuous-time systems. Automatica 134, 1\u201313, Article 109910 (2021)","DOI":"10.1016\/j.automatica.2021.109910"},{"issue":"8","key":"10_CR35","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":"10_CR36","doi-asserted-by":"crossref","unstructured":"Stefani, J.-B.: Components as location graphs. In: Revised Selected Papers of the 11th International Symposium on Formal Aspects of Component Software (FACS 2014). LNCS, vol. 8997, pp. 3\u201323. Springer (2014)","DOI":"10.1007\/978-3-319-15317-9_1"},{"issue":"6","key":"10_CR37","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1109\/32.508313","volume":"22","author":"RN Taylor","year":"1996","unstructured":"Taylor, R.N., et al.: A component- and message-based architectural style for GUI software. IEEE Trans. Software Eng. 22(6), 390\u2013406 (1996)","journal-title":"IEEE Trans. Software Eng."},{"key":"10_CR38","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: Cha, S., Taylor, R., Kang, K. (eds.) Handbook of Software Engineering, pp. 399\u2013443. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-00262-6_11"},{"key":"10_CR39","doi-asserted-by":"crossref","unstructured":"Weyns, D., et al.: Towards better adaptive systems by combining MAPE, control theory, and machine learning. In: Proceedings of International Symposium SEAMS@ICSE 2021, pp. 217\u2013223. IEEE (2021)","DOI":"10.1109\/SEAMS51251.2021.00036"}],"container-title":["Lecture Notes in Computer Science","Components Operationally: Reversibility and System Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-99717-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T19:57:46Z","timestamp":1760817466000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-99717-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,19]]},"ISBN":["9783031997167","9783031997174"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-99717-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,19]]},"assertion":[{"value":"19 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}