{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T16:22:38Z","timestamp":1780762958679,"version":"3.54.1"},"publisher-location":"Cham","reference-count":78,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319741826","type":"print"},{"value":"9783319741833","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","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":[[2017]]},"DOI":"10.1007\/978-3-319-74183-3_12","type":"book-chapter","created":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T13:02:43Z","timestamp":1516194163000},"page":"349-373","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":33,"title":["Feedback Control as MAPE-K Loop in Autonomic Computing"],"prefix":"10.1007","author":[{"given":"Eric","family":"Rutten","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nicolas","family":"Marchand","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Simon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,1,18]]},"reference":[{"key":"12_CR1","unstructured":"Abdelzaher, T.: Research challenges in feedback computing: an interdisciplinary agenda. In: 8th International Workshop on Feedback Computing, San Jose, California (2013)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Aboubekr, A.S., Gwena\u00ebl, D., Pissard-Gibollet, R., Rutten, \u00c9., Simon, D.: Automatic generation of discrete handlers of real-time continuous control tasks. In: IFAC World Congress 2011, Milano, Italie, August 2011","DOI":"10.3182\/20110828-6-IT-1002.01548"},{"key":"12_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: Assigning Programs to Meanings","author":"J-R Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)"},{"key":"12_CR4","unstructured":"Akesson, K.: Supremica. http:\/\/www.supremica.org\/"},{"key":"12_CR5","unstructured":"Albus, J.S., Barbera, A.J., Nagel, R.N.: Theory and practice of hierarchical control. National Bureau of Standards (1980)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/3-540-36575-3_13","volume-title":"Programming Languages and Systems","author":"K Altisen","year":"2003","unstructured":"Altisen, K., Clodic, A., Maraninchi, F., Rutten, E.: Using controller-synthesis techniques to build property-enforcing layers. In: Degano, P. (ed.) ESOP 2003. LNCS, vol. 2618, pp. 174\u2013188. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36575-3_13"},{"issue":"3","key":"12_CR7","first-page":"11","volume":"3","author":"K-E \u00c5rz\u00e9n","year":"2006","unstructured":"\u00c5rz\u00e9n, K.-E., Robertsson, A., Henriksson, D., Johansson, M., Hjalmarsson, H., Johansson, K.H.: Conclusions of the ARTIST2 roadmap on control of computing systems. ACM SIGBED (Special Interest Group on Embedded Systems) Rev. 3(3), 11\u201320 (2006)","journal-title":"ACM SIGBED (Special Interest Group on Embedded Systems) Rev."},{"key":"12_CR8","unstructured":"\u00c5str\u00f6m, K.J., Murray, R.M.: Feedback Systems: An Introduction for Scientists and Engineers, 2nd edn. Princeton University Press, Princeton (2015). http:\/\/www.cds.caltech.edu\/~murray\/amwiki\/index.php\/Main_Page"},{"key":"12_CR9","volume-title":"Computer-Controlled Systems. Information and System Sciences Series","author":"KJ \u00c5str\u00f6m","year":"1997","unstructured":"\u00c5str\u00f6m, K.J., Wittenmark, B.: Computer-Controlled Systems. Information and System Sciences Series, 3rd edn. Prentice Hall, Upper Saddle River (1997)","edition":"3"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Auer, A., Dingel, J., Rudie, K.: Concurrency control generation for dynamic threads using discrete-event systems. In: 2009 47th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2009, 30 September\u20132 October 2009, pp. 927\u2013934 (2009)","DOI":"10.1109\/ALLERTON.2009.5394896"},{"issue":"1","key":"12_CR11","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages twelve years later. Proc. IEEE 91(1), 64\u201383 (2003). Special issue on embedded systems","journal-title":"Proc. IEEE"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Berthier, N., Marchand, H.: Discrete controller synthesis for infinite state systems with ReaX. In: 12th International Workshop on Discrete Event Systems, WODES 2014. IFAC, May 2014","DOI":"10.3182\/20140514-3-FR-4046.00099"},{"issue":"3","key":"12_CR13","doi-asserted-by":"crossref","first-page":"911","DOI":"10.1016\/j.jcss.2011.08.007","volume":"78","author":"R Bloem","year":"2012","unstructured":"Bloem, R., Jobstmann, B., Piterman, N., Pnueli, A., Saar, Y.: Synthesis of reactive(1) designs. J. Comput. Syst. Sci. 78(3), 911\u2013938 (2012)","journal-title":"J. Comput. Syst. Sci."},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Bodik, R., Chandra, S., Galenson, J., Kimelman, D., Tung, N., Barman, S., Rodarmor, C.: Programming with angelic nondeterminism. In: Principles of Programming Languages, POPL, pp. 339\u2013352, January 2010","DOI":"10.1145\/1706299.1706339"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1007\/978-3-642-05089-3_42","volume-title":"FM 2009: Formal Methods","author":"B Bonakdarpour","year":"2009","unstructured":"Bonakdarpour, B., Kulkarni, S.S.: On the complexity of synthesizing relaxed and graceful bounded-time 2-phase recovery. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 660\u2013675. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-05089-3_42"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Bouhadiba, T., Sabah, Q., Delaval, G., Rutten, E.: Synchronous control of reconfiguration in fractal component-based systems: a case study. In: Proceedings of the Ninth ACM International Conference on Embedded Software, EMSOFT 2011, Taipei, Taiwan, pp. 309\u2013318, October 2011","DOI":"10.1145\/2038642.2038690"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Braberman, V., D\u2019Ippolito, N., Kramer, J., Sykes, D., Uchitel, S.: MORPH: a reference architecture for configuration and behaviour self-adaptation. In: Proceedings of the 1st International Workshop on Control Theory for Software Engineering, CTSE 2015, pp. 9\u201316. ACM, New York (2015)","DOI":"10.1145\/2804337.2804339"},{"key":"12_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event Systems","author":"C Cassandras","year":"2008","unstructured":"Cassandras, C., Lafortune, S.: Introduction to Discrete Event Systems. Springer, New York (2008). https:\/\/doi.org\/10.1007\/978-0-387-68612-7"},{"issue":"1\u20132","key":"12_CR19","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1023\/A:1015394302429","volume":"23","author":"A Cervin","year":"2002","unstructured":"Cervin, A., Eker, J., Bernhardsson, B., \u00c5rz\u00e9n, K.E.: Feedback-feedforward scheduling of control tasks. Real-Time Syst. 23(1\u20132), 25\u201353 (2002)","journal-title":"Real-Time Syst."},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/3-540-45657-0_34","volume-title":"Computer Aided Verification","author":"A Chakrabarti","year":"2002","unstructured":"Chakrabarti, A., de Alfaro, L., Henzinger, T.A., Mang, F.Y.C.: Synchronous and bidirectional component interfaces. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 414\u2013427. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45657-0_34"},{"key":"12_CR21","unstructured":"Feedback Computing. http:\/\/www.feedbackcomputing.org\/"},{"key":"12_CR22","unstructured":"Control for Embedded Systems Cluster: Roadmap on control of real-time computing systems. Technical report, EU\/IST FP6 Artist2 NoE (2006)"},{"key":"12_CR23","unstructured":"Delaval, G.: Bzr. http:\/\/bzr.inria.fr"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Delaval, G.: Modular distribution and application to discrete controller synthesis. In: International Workshop on Model-driven High-level Programming of Embedded Systems (SLA++P 2008), Budapest, Hungary, April 2008","DOI":"10.1155\/2008\/376920"},{"issue":"84192","key":"12_CR25","first-page":"17","volume":"2007","author":"G Delaval","year":"2007","unstructured":"Delaval, G., Rutten, E.: A domain-specific language for multi-task systems, applying discrete controller synthesis. J. Embed. Syst. 2007(84192), 17 (2007)","journal-title":"J. Embed. Syst."},{"issue":"4","key":"12_CR26","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/s10626-013-0163-5","volume":"23","author":"G Delaval","year":"2013","unstructured":"Delaval, G., Rutten, \u00c9., Marchand, H.: Integrating discrete controller synthesis into a reactive programming language compiler. Discrete Event Dyn. Syst. 23(4), 385\u2013418 (2013)","journal-title":"Discrete Event Dyn. Syst."},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Delaval, G., Marchand, H., Rutten, \u00c9.: Contracts for modular discrete controller synthesis. In: ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2010), Stockholm, Sweden, pp. 57\u201366, April 2010","DOI":"10.1145\/1755888.1755898"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"D\u2019Ippolito, N., Braberman, V., Kramer, J., Magee, J., Sykes, D., Uchitel, S.: Hope for the best, prepare for the worst: multi-tier control for adaptive systems. In: Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp. 688\u2013699. ACM, New York (2014)","DOI":"10.1145\/2568225.2568264"},{"issue":"1","key":"12_CR29","first-page":"9:1","volume":"22","author":"N D\u2019ippolito","year":"2013","unstructured":"D\u2019ippolito, N., Braberman, V., Piterman, N., Uchitel, S.: Synthesizing nonanomalous event-based controllers for liveness goals. ACM Trans. Softw. Eng. Methodol. 22(1), 9:1\u20139:36 (2013)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"12_CR30","doi-asserted-by":"crossref","unstructured":"Dragert, C., Dingel, J., Rudie, K.: Generation of concurrency control code using discrete-event systems theory. In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT 2008\/FSE-16, pp. 146\u2013157. ACM, New York (2008)","DOI":"10.1145\/1453101.1453122"},{"key":"12_CR31","unstructured":"Dumitrescu, E., Girault, A., Marchand, H., Rutten, E.: Multicriteria optimal discrete controller synthesis for fault-tolerant tasks. In: Proceedings of the 10th IFAC International Workshop on Discrete Event Systems (WODES 2010), September 2010"},{"key":"12_CR32","doi-asserted-by":"crossref","unstructured":"Durand, S., Alt, A.-M., Simon, D., Marchand, N.: Energy-aware feedback control for a H.264 video decoder. Int. J. Syst. Sci. 46(8), August 2013","DOI":"10.1080\/00207721.2013.822607"},{"key":"12_CR33","doi-asserted-by":"crossref","unstructured":"Filieri, A., Ghezzi, C., Leva, A., Maggio, M.: Self-adaptive software meets control theory: a preliminary approach supporting reliability requirements. In: Proceedings of 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011), pp. 283\u2013292 (2011)","DOI":"10.1109\/ASE.2011.6100064"},{"key":"12_CR34","doi-asserted-by":"crossref","unstructured":"Filieri, A., Hoffmann, H., Maggio, M.: Automated design of self-adaptive software with control-theoretical formal guarantees. In: Proceedings of the 36th International Conference on Software Engineering, ICSE 2014. ACM, New York (2014)","DOI":"10.1145\/2568225.2568272"},{"key":"12_CR35","doi-asserted-by":"crossref","unstructured":"Filieri, A., Maggio, M., Angelopoulos, K., D\u2019Ippolito, N., Gerostathopoulos, I., Hempel, A.B., Hoffmann, H., Jamshidi, P., Kalyvianaki, E., Klein, C., Krikava, F., Misailovic, S., Papadopoulos, A.V., Ray, S., Sharifloo, A.M., Shevtsov, S., Ujma, M., Vogel, T.: Software engineering meets control theory. In: Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015, pp. 71\u201382. IEEE Press, Piscataway (2015)","DOI":"10.1109\/SEAMS.2015.12"},{"key":"12_CR36","doi-asserted-by":"crossref","unstructured":"Gamati\u00e9, A., Yu, H., Delaval, G., Rutten, E.: A case study on controller synthesis for data-intensive embedded systems. In: Proceedings of the 6th IEEE International Conference on Embedded Software and Systems (ICESS 2009), HangZhou, Zhejiang, China, May 2009","DOI":"10.1109\/ICESS.2009.12"},{"key":"12_CR37","doi-asserted-by":"crossref","unstructured":"Gaudin, B., Nixon, P.: Supervisory control for software runtime exception avoidance. In: Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering, C3S2E 2012, pp. 109\u2013112. ACM, New York (2012)","DOI":"10.1145\/2347583.2347598"},{"key":"12_CR38","doi-asserted-by":"crossref","unstructured":"Gaudin, B., Vassev, E.I., Nixon, P., Hinchey, M.: A control theory based approach for self-healing of un-handled runtime exceptions. In: Proceedings of the 8th ACM International Conference on Autonomic Computing, ICAC 2011, pp. 217\u2013220. ACM, New York (2011)","DOI":"10.1145\/1998582.1998633"},{"issue":"2","key":"12_CR39","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/s10703-009-0084-y","volume":"35","author":"A Girault","year":"2009","unstructured":"Girault, A., Rutten, E.: Automating the addition of fault tolerance with discrete controller synthesis. Int. J. Formal Methods Syst. Des. 35(2), 190\u2013225 (2009). https:\/\/doi.org\/10.1007\/s10703-009-0084-y","journal-title":"Int. J. Formal Methods Syst. Des."},{"key":"12_CR40","unstructured":"Gueye, S.M.-K., de Palma, N., Rutten, E.: Coordination control of component-based autonomic administration loops. In: Proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION, 3\u20136 June 2013, Florence, Italy (2013)"},{"issue":"1","key":"12_CR41","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MC.2008.10","volume":"41","author":"D Harel","year":"2008","unstructured":"Harel, D.: Can programming be liberated, period? Computer 41(1), 28\u201337 (2008)","journal-title":"Computer"},{"key":"12_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/978-3-540-31847-7_18","volume-title":"Formal Methods in Software and Systems Modeling","author":"D Harel","year":"2005","unstructured":"Harel, D., Kugler, H., Pnueli, A.: Synthesis revisited: generating statechart models from scenario-based requirements. In: Kreowski, H.-J., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling. LNCS, vol. 3393, pp. 309\u2013324. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31847-7_18"},{"key":"12_CR43","doi-asserted-by":"publisher","unstructured":"Harel, D., Pnueli, A.: On the development of reactive systems. In: Apt, K.R. (eds.) Logics and Models of Concurrent Systems. NATO ASI Series (Series F: Computer and Systems Sciences), vol. 13, pp. 477\u2013498. Springer, Heidelberg (1985). https:\/\/doi.org\/10.1007\/978-3-642-82453-1_17","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"12_CR44","doi-asserted-by":"crossref","unstructured":"Hellerstein, J., Diao, Y., Parekh, S., Tilbury, D.: Feedback Control of Computing Systems. Wiley-IEEE (2004)","DOI":"10.1002\/047166880X"},{"key":"12_CR45","doi-asserted-by":"crossref","unstructured":"Iordache, M., Antsaklis, P.: Concurrent program synthesis based on supervisory control. In: 2010 American Control Conference (2010)","DOI":"10.1109\/ACC.2010.5530904"},{"key":"12_CR46","doi-asserted-by":"crossref","unstructured":"Iordache, M.V., Antsaklis, P.J.: Petri nets and programming: a survey. In: Proceedings of the 2009 American Control Conference, pp. 4994\u20134999 (2009)","DOI":"10.1109\/ACC.2009.5159987"},{"key":"12_CR47","unstructured":"Kalyon, G., Gall, T.L.: SMACS. http:\/\/www.smacs.be\/"},{"key":"12_CR48","unstructured":"Karamanolis, C., Karlsson, M., Zhu, X.: Designing controllable computer systems. In: Proceedings of the 10th Conference on Hot Topics in Operating Systems, HOTOS 2005, vol. 10, p. 9. USENIX Association, Berkeley (2005)"},{"key":"12_CR49","unstructured":"Kephart, J.: Feedback on feedback in autonomic computing systems. In: 7th International Workshop on Feedback Computing, San Jose, California (2012)"},{"issue":"1","key":"12_CR50","doi-asserted-by":"crossref","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. IEEE Comput. 36(1), 41\u201350 (2003)","journal-title":"IEEE Comput."},{"key":"12_CR51","doi-asserted-by":"crossref","unstructured":"Khakpour, N., Arbab, F., Rutten, E.: Supervisory controller synthesis for safe software adaptation. In: 12th IFAC - IEEE International Workshop on Discrete Event Systems, WODES, Cachan, France, 14\u201316 May 2014 (2014)","DOI":"10.3182\/20140514-3-FR-4046.00035"},{"key":"12_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-642-00593-0_6","volume-title":"Fundamental Approaches to Software Engineering","author":"H Kugler","year":"2009","unstructured":"Kugler, H., Plock, C., Pnueli, A.: Controller synthesis from LSC requirements. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol. 5503, pp. 79\u201393. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00593-0_6"},{"key":"12_CR53","doi-asserted-by":"crossref","unstructured":"Kulkarni, S.S., Ebnenasir, A.: Automated synthesis of multitolerance. In: DSN 2004 Proceedings of the 2004 International Conference on Dependable Systems and Networks, pp. 209\u2013219 (2004)","DOI":"10.1109\/DSN.2004.1311891"},{"key":"12_CR54","volume-title":"Autonomic Computing - Principles, Design and Implementation. Undergraduate Topics in Computer Science Series","author":"P Lalanda","year":"2013","unstructured":"Lalanda, P., McCann, J.A., Diaconescu, A.: Autonomic Computing - Principles, Design and Implementation. Undergraduate Topics in Computer Science Series. Springer, London (2013)"},{"key":"12_CR55","doi-asserted-by":"crossref","unstructured":"Lindberg, M., \u00c5rz\u00e9n, K.-E.: Feedback control of cyber-physical systems with multi resource dependencies and model uncertainties. In: 31st IEEE Real-Time Systems Symposium, San Diego, California, USA, November 2010","DOI":"10.1109\/RTSS.2010.14"},{"key":"12_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/978-3-319-74183-3_4","volume-title":"Self-Adaptive Systems III","author":"M Litoiu","year":"2017","unstructured":"Litoiu, M., Shaw, M., Tamura, G., Villegas, N.M., M\u00fcller, H.A., Giese, H., Rouvoy, R., Rutten, E.: What can control theory teach us about assurances in self-adaptive software systems? In: de Lemos, R., et al. (eds.) Self-Adaptive Systems III. LNCS, vol. 9640, pp. 90\u2013134. Springer, Heidelberg (2017)"},{"issue":"4","key":"12_CR57","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1082983.1083071","volume":"30","author":"M Litoiu","year":"2005","unstructured":"Litoiu, M., Woodside, M., Zheng, T.: Hierarchical model-based autonomic control of software systems. ACM SIGSOFT Softw. Eng. Notes 30(4), 1\u20137 (2005)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"12_CR58","unstructured":"Liu, C., Kondratyev, A., Watanabe, Y., Desel, J., Sangiovanni-Vincentelli, A.: Schedulability analysis of petri nets based on structural properties. In: 2006 Sixth International Conference on Application of Concurrency to System Design, ACSD 2006, pp. 69\u201378, June 2006"},{"key":"12_CR59","unstructured":"Lu, C., Stankovic, J., Abdelzaher, T., Tao, G., Son, S., Marley, M.: Performance specifications and metrics for adaptive real-time systems. In: Real-Time Systems Symposium, December 2000"},{"issue":"1\/2","key":"12_CR60","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1023\/A:1015398403337","volume":"23","author":"C Lu","year":"2002","unstructured":"Lu, C., Stankovic, J.A., Son, S.H., Tao, G.: Feedback control real-time scheduling: framework, modeling and algorithms. Real-Time Syst. 23(1\/2), 85\u2013126 (2002). Journal, Special Issue on Control-Theoretical Approaches to Real-Time Computing","journal-title":"Real-Time Syst."},{"key":"12_CR61","doi-asserted-by":"crossref","unstructured":"Maggio, M., Bini, E., Chasparis, G., \u00c5rz\u00e9n, K.-E.: A game-theoretic resource manager for RT applications. In: 25th Euromicro Conference on Real-Time Systems, ECRTS13, Paris, France, July 2013","DOI":"10.1109\/ECRTS.2013.17"},{"issue":"7","key":"12_CR62","doi-asserted-by":"crossref","first-page":"951","DOI":"10.1109\/TC.2010.164","volume":"60","author":"L Malrait","year":"2011","unstructured":"Malrait, L., Bouchenak, S., Marchand, N.: Experience with ConSer: a system for server control through fluid modeling. IEEE Trans. Comput. 60(7), 951\u2013963 (2011)","journal-title":"IEEE Trans. Comput."},{"key":"12_CR63","unstructured":"Marchand, H.: Sigali. http:\/\/www.irisa.fr\/vertecs\/Logiciels\/sigali.html"},{"issue":"4","key":"12_CR64","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1023\/A:1008311720696","volume":"10","author":"H Marchand","year":"2000","unstructured":"Marchand, H., Bournai, P., Le Borgne, M., Le Guernic, P.: Synthesis of discrete-event controllers based on the signal environment. Discrete Event Dyn. Syst. Theor. Appl. 10(4), 325\u2013346 (2000)","journal-title":"Discrete Event Dyn. Syst. Theor. Appl."},{"key":"12_CR65","unstructured":"Moulavi, M.A., Al-Shishtawy, A., Vlassov, V.: State-space feedback control for elastic distributed storage in a cloud environment. In: ICAS 2012, The Eighth International Conference on Autonomic and Autonomous Systems, pp. 18\u201327 (2012)"},{"key":"12_CR66","doi-asserted-by":"crossref","unstructured":"Patikirikorala, T., Colman, A., Han, J., Wang, L.: A systematic survey on the design of self-adaptive software systems using control engineering approaches. In: 2012 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Zurich, Switzerland (2012)","DOI":"10.1109\/SEAMS.2012.6224389"},{"key":"12_CR67","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.conengprac.2011.09.003","volume":"20","author":"T Patikirikorala","year":"2012","unstructured":"Patikirikorala, T., Wang, L., Colman, A., Han, J.: Hammerstein Wiener nonlinear model based predictive control for relative QoS performance and resource management of software systems. Control Eng. Pract. 20, 49\u201361 (2012)","journal-title":"Control Eng. Pract."},{"issue":"9","key":"12_CR68","doi-asserted-by":"crossref","first-page":"1187","DOI":"10.1109\/TC.2004.67","volume":"53","author":"VV Phoha","year":"2004","unstructured":"Phoha, V.V., Nadgar, A.U., Ray, A., Phoha, S.: Supervisory control of software systems. IEEE Trans. Comput. 53(9), 1187\u20131199 (2004)","journal-title":"IEEE Trans. Comput."},{"issue":"1","key":"12_CR69","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge, P.J., 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."},{"key":"12_CR70","doi-asserted-by":"crossref","unstructured":"Sykes, D., Corapi, D., Magee, J., Kramer, J., Russo, A., Inoue, K.: Learning revised models for planning in adaptive systems. In: Proceedings of the 2013 International Conference on Software Engineering, ICSE 2013, pp. 63\u201371. IEEE Press, Piscataway (2013)","DOI":"10.1109\/ICSE.2013.6606552"},{"key":"12_CR71","unstructured":"Wallace, C., Jensen, P., Soparkar, N.: Supervisory control of workflow scheduling. In: Advanced Transaction Models and Architectures Workshop (ATMA), Goa, India (1996)"},{"key":"12_CR72","doi-asserted-by":"crossref","unstructured":"Wang, Y., Cho, H.K., Liao, H., Nazeem, A., Kelly, T., Lafortune, S., Mahlke, S., Reveliotis, S.A.: Supervisory control of software execution for failure avoidance: experience from the Gadara project. In: Proceedings of the 10th IFAC International Workshop on Discrete Event Systems (WODES 2010), September 2010","DOI":"10.3182\/20100830-3-DE-4013.00044"},{"key":"12_CR73","doi-asserted-by":"crossref","unstructured":"Wang, Y., Lafortune, S., Kelly, T., Kudlur, M., Mahlke, S.: The theory of deadlock avoidance via discrete control. In: Principles of Programming Languages, POPL, Savannah, USA, pp. 252\u2013263 (2009)","DOI":"10.1145\/1594834.1480913"},{"key":"12_CR74","unstructured":"Wonham, W.M.: TCT. http:\/\/www.control.utoronto.ca\/cgi-bin\/dlxptct.cgi"},{"issue":"12","key":"12_CR75","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/1341752.1341753","volume":"42","author":"F Xia","year":"2007","unstructured":"Xia, F., Tian, G., Sun, Y.: Feedback scheduling: an event-driven paradigm. ACM SIGPLAN Not. 42(12), 7\u201314 (2007)","journal-title":"ACM SIGPLAN Not."},{"key":"12_CR76","doi-asserted-by":"crossref","unstructured":"Yfoulis, C.A., Gounaris, A.: Honoring SLAs on cloud computing services: a control perspective. In: Proceedings of the European Control Conference (2009)","DOI":"10.23919\/ECC.2009.7074401"},{"key":"12_CR77","unstructured":"Zhu, X.: Application of control theory in management of virtualized data centres. In: Fifth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID), Paris, France (2010)"},{"key":"12_CR78","doi-asserted-by":"crossref","unstructured":"Zhu, X., Wang, Z., Singhal, S.: Utility-driven workload management using nested control design. In: 2006 American Control Conference, p. 6. IEEE (2006)","DOI":"10.1109\/ACC.2006.1657688"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Self-Adaptive Systems III. Assurances"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74183-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,29]],"date-time":"2025-06-29T22:06:25Z","timestamp":1751234785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74183-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319741826","9783319741833"],"references-count":78,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74183-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}