{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T04:08:49Z","timestamp":1747541329793,"version":"3.40.5"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319149769"},{"type":"electronic","value":"9783319149776"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-14977-6_6","type":"book-chapter","created":{"date-parts":[[2015,1,28]],"date-time":"2015-01-28T09:23:24Z","timestamp":1422437004000},"page":"93-113","source":"Crossref","is-referenced-by-count":3,"title":["Discrete Control-Based Design of Adaptive and Autonomic Computing Systems"],"prefix":"10.1007","author":[{"given":"Xin","family":"An","sequence":"first","affiliation":[]},{"given":"Gwena\u00ebl","family":"Delaval","sequence":"additional","affiliation":[]},{"given":"Jean-Philippe","family":"Diguet","sequence":"additional","affiliation":[]},{"given":"Abdoulaye","family":"Gamati\u00e9","sequence":"additional","affiliation":[]},{"given":"Soguy","family":"Gueye","sequence":"additional","affiliation":[]},{"given":"Herv\u00e9","family":"Marchand","sequence":"additional","affiliation":[]},{"given":"No\u00ebl","family":"de Palma","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Rutten","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"An, X., Rutten, E., Diguet, J.-P., le Griguer, N., Gamati\u00e9, A.: Autonomic management of dynamically partially reconfigurable fpga architectures using discrete control. In: In Proc. of the 10th International Conference on Autonomic Computing (ICAC 2013) (June 2013)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"\u00c5rz\u00e9n, K.-E.: al. Conclusions of the ARTIST2 roadmap on control of computing systems. ACM SIGBED (Special Interest Group on Embedded Systems) Review 3(3) (July 2006)","DOI":"10.1145\/1164050.1164053"},{"issue":"1","key":"6_CR3","first-page":"64","volume":"91","author":"A. Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Guernic, P.L., de Simone, R.: The synchronous languages twelve years later. Proc. of the IEEE, Special issue on Embedded Systems\u00a091(1), 64\u201383 (2003)","journal-title":"Proc. of the IEEE, Special issue on Embedded Systems"},{"key":"6_CR4","unstructured":"Berthier, N., Marchand, H.: Discrete Controller Synthesis for Infinite State Systems with ReaX. In: IEEE International Workshop on Discrete Event Systems, Cachan, France, pp. 420\u2013427 (2014)"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-02161-9_3","volume-title":"Software Engineering for Self-Adaptive Systems","author":"Y. Brun","year":"2009","unstructured":"Brun, Y., et al.: Engineering self-adaptive systems through feedback loops. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 48\u201370. Springer, Heidelberg (2009)"},{"issue":"9","key":"6_CR6","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/2330667.2330686","volume":"55","author":"R. Calinescu","year":"2012","unstructured":"Calinescu, R., Ghezzi, C., Kwiatkowska, M., Mirandola, R.: Self-adaptive software needs quantitative verification at runtime. Communications of the ACM\u00a055(9), 69\u201377 (2012)","journal-title":"Communications of the ACM"},{"key":"6_CR7","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.\u00a02404, pp. 414\u2013427. Springer, Heidelberg (2002)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02161-9_1","volume-title":"Software Engineering for Self-Adaptive Systems","author":"B.H.C. Cheng","year":"2009","unstructured":"Cheng, B.H.C., et al.: Software engineering for self-adaptive systems: A research roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 1\u201326. Springer, Heidelberg (2009)"},{"issue":"1","key":"6_CR9","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1147\/sj.421.0107","volume":"42","author":"D.M. Chess","year":"2003","unstructured":"Chess, D.M., Palmer, C., White, S.R.: Security in an autonomic computing environment. IBM Syst. J.\u00a042(1), 107\u2013118 (2003)","journal-title":"IBM Syst. J."},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35813-5_1","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"R. Lemos de","year":"2013","unstructured":"de Lemos, R., et al.: Software engineering for self-adaptive systems: A second research roadmap. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol.\u00a07475, pp. 1\u201332. Springer, Heidelberg (2013)"},{"key":"6_CR11","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/2602458.2602465","volume-title":"Proceedings of the 17th International ACM Sigsoft Symposium on Component-based Software Engineering, CBSE 2014","author":"G. Delaval","year":"2014","unstructured":"Delaval, G., Gueye, S.M.-K., Rutten, E., De Palma, N.: Modular coordination of multiple autonomic managers. In: Proceedings of the 17th International ACM Sigsoft Symposium on Component-based Software Engineering, CBSE 2014, pp. 3\u201312. ACM, New York (2014)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Delaval, G., Rutten, \u00c9.: A domain-specific language for multitask systems, applying discrete controller synthesis. EURASIP Journal on Embedded Systems 2007, 084192 (2007)","DOI":"10.1186\/1687-3963-2007-084192"},{"issue":"4","key":"6_CR13","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10626-013-0163-5","volume":"23","author":"G. Delaval","year":"2013","unstructured":"Delaval, G., Rutten, E., Marchand, H.: Integrating discrete controller synthesis into a reactive programming language compiler. Discrete Event Dynamic Systems\u00a023(4), 385\u2013418 (2013)","journal-title":"Discrete Event Dynamic Systems"},{"key":"6_CR14","first-page":"217","volume-title":"Proceedings of the 8th ACM International Conference on Autonomic Computing, ICAC 2011","author":"B. Gaudin","year":"2011","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)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/3-540-45828-X_18","volume-title":"Embedded Software","author":"N. Halbwachs","year":"2002","unstructured":"Halbwachs, N., Baghdadi, S.: Synchronous modeling of asynchronous systems. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol.\u00a02491, pp. 240\u2013251. Springer, Heidelberg (2002)"},{"key":"6_CR16","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.\u00a03393, pp. 309\u2013324. Springer, Heidelberg (2005)"},{"issue":"4","key":"6_CR17","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The statemate semantics of statecharts. ACM Trans. Softw. Eng. Methodol.\u00a05(4), 293\u2013333 (1996)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"6_CR18","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":"6_CR19","unstructured":"Heptagon\/BZR language, http:\/\/bzr.inria.fr"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Huebscher, M.C., McCann, J.A.: A survey of autonomic computing: degrees, models, and applications. ACM Comput. Surv. 40(3), 7:1\u20137:28 (2008)","DOI":"10.1145\/1380584.1380585"},{"issue":"1","key":"6_CR21","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J.O. Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Computer\u00a036(1), 41\u201350 (2003)","journal-title":"IEEE Computer"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Kloukinas, C., Yovine, S.: Synthesis of safe, qos extendible, application specific schedulers for heterogeneous real-time systems. In: Proceedings of 15th Euromicro Conference on Real-Time Systems, pp. 287\u2013294 (July 2003)","DOI":"10.1109\/EMRTS.2003.1212754"},{"issue":"4","key":"6_CR23","doi-asserted-by":"publisher","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 Dynamic Systems: Theory and Applications\u00a010(4), 325\u2013346 (2000)","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"6_CR24","unstructured":"Marchand, H., Rutten, \u00c9.: Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis. In: 14th Euromicro Conference on Real-Time Systems (2002)"},{"key":"6_CR25","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: ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Zurich, Switzerland (2012)","DOI":"10.1109\/SEAMS.2012.6224389"},{"issue":"1","key":"6_CR26","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P.J. Ramadge","year":"1987","unstructured":"Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM J. Control Optim.\u00a025(1), 206\u2013230 (1987)","journal-title":"SIAM J. Control Optim."},{"key":"6_CR27","unstructured":"Wallace, C., Jensen, P., Soparkar, N.: Supervisory control of workflow scheduling. In: Advanced Transaction Models and Architectures Workshop (ATMA), Goa, India (1996)"},{"key":"6_CR28","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":"6_CR29","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), http:\/\/controlofsystems.org\/febid2010\/program.html"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Internet Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14977-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,17]],"date-time":"2025-05-17T22:08:23Z","timestamp":1747519703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14977-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319149769","9783319149776"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14977-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}