. Ples, Nous envisageons d'étudier des scénarios de contrôle plus élaborés, par exemple, un contrôle sur des séquences d'événements et/ou d'états. Des améliorations sont également envisagées pour l'exécution distribuée. Les suppositions considérées dans ce travail de thèse, permettent de démontrer la faisabilité de l'exécution distribuée. Toutefois, en pratique

. De-ce-fait, La mise à jour des contrôleurs, durant l'exécution, est également une perspective intéressante à étudier. L'évolution de la structure du système à contrôler , les changements des objectifs de contrôle conduisent souvent à la recompilation du contrôleur. L'idée est de pouvoir faire cette recompilation à chaud, et intégrer les modifications dans le contrôleur pendant qu'il s'exécute ; tout cela sans devoir arrêter puis redémarrer le contrôleur ce qui conduit généralement à réinitialiser l'état de ce dernier, En effet, cette propriété pourrait être pertinente dans la gestion de centres de données où les applications hébergées et leurs gestionnaires autonomes sont instanciés et

A. Al-shishtawy and V. Vlassov, ElastMan, Proceedings of the 2013 ACM Cloud and Autonomic Computing Conference on, CAC '13, pp.1-710, 2013.
DOI : 10.1145/2494621.2494630

M. Aldinucci, M. Danelutto, P. Kilpatrick, and V. Xhagjika, LIBERO: A Framework for Autonomic Management of Multiple Non-functional Concerns, Lecture Notes in Computer Science, vol.30, issue.3, pp.237-245, 2011.
DOI : 10.1016/j.parco.2003.12.002

L. Hua, H. And, M. Liu, S. Parashar, and . Hariri, A Component Based Programming Framework for Autonomic Applications, Proc. of 1st International Conference on Autonomic Computing, pp.10-17, 2004.

C. André, F. Boulanger, and A. Girault, Software implementation of synchronous programs, Proceedings Second International Conference on Application of Concurrency to System Design, pp.133-142, 2001.
DOI : 10.1109/CSD.2001.981771

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The Synchronous Languages Twelve Years Later, Proc. of the IEEE 91, 2003.

A. Benveniste, P. L. Guernic, and C. Jacquemot, Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991.
DOI : 10.1016/0167-6423(91)90001-E

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

N. Berthier, F. Maraninchi, and L. Mounier, Synchronous programming of device drivers for global resource control in embedded operating systems, Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems, pp.81-90, 2011.
URL : https://hal.archives-ouvertes.fr/tel-00727281

N. Berthier and H. Marchand, Discrete Controller Synthesis for Infinite State Systems with ReaX, IFAC Proceedings Volumes, vol.47, issue.2, pp.420-427, 2014.
DOI : 10.3182/20140514-3-FR-4046.00099
URL : https://hal.archives-ouvertes.fr/hal-00974553

S. Bouchenak, N. Depalma, D. Hagimont, S. Krakowiak, and C. Taton, Autonomic Management of Internet Services: Experience with Self-Optimization, 2006 IEEE International Conference on Autonomic Computing, p.p. (electronic medium), 2006.
DOI : 10.1109/ICAC.2006.1662420
URL : https://hal.archives-ouvertes.fr/hal-00688868

S. Bouchenak, F. Boyer, D. Hagimont, S. Krakowiak, V. Noël-de-palma et al., Architecturebased autonomous repair management : Application to j2ee clusters, pp.369-370, 2005.

S. Bouchenak, D. Noël-de-palma, C. Hagimont, and . Taton, Autonomic Management of Clustered Applications, 2006 IEEE International Conference on Cluster Computing, pp.1-11, 2006.
DOI : 10.1109/CLUSTR.2006.311842
URL : https://hal.archives-ouvertes.fr/hal-00684406

L. Broto, D. Hagimont, P. Stolf, N. Depalma, and S. Temate, Autonomic management policy specification in Tune, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.1658-1663, 2008.
DOI : 10.1145/1363686.1364080

E. Bruneton, T. Coupaye, M. Leclercq, V. Quema, and J. Stefani, The Fractal component model and its support in java, Software ? Practice and Experience, SP&E), vol.36, pp.11-12, 2006.

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.11-12, 2006.
DOI : 10.1002/spe.767

C. G. Cassandras and S. Lafortune, Introduction to discrete event systems, 2006.

E. Cecchet, A. Chanda, S. Elnikety, J. Marguerite, and W. Zwaenepoel, Performance Comparison of Middleware Architectures for Generating Dynamic Web Content, Proceedings of the ACM/I- FIP/USENIX 2003 International Conference on Middleware Middleware '03, pp.242-261, 2003.
DOI : 10.1007/3-540-44892-6_13

D. Shang-wen-cheng, B. R. Garlan, J. P. Schmerl, B. Sousa, P. Spitnagel et al., Using architectural style as a basis for system self-repair, Proceedings of the IFIP 17th World Computer Congress -TC2 Stream, IFIP Conference on Software Architecture : System Design, Development and Maintenance, pp.45-59, 2002.

J. Colaço, B. Pagano, and M. Pouzet, A conservative extension of synchronous data-flow with state machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.173-182, 2005.
DOI : 10.1145/1086228.1086261

R. Das, J. O. Kephart, C. Lefurgy, G. Tesauro, D. W. Levine et al., Autonomic multi-agent management of power and performance in data centers, Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent systems: industrial track AAMAS '08, International Foundation for Autonomous Agents and Multiagent Systems, pp.107-114, 2008.

G. Delaval, N. De-palma, S. M. Gueye, H. Marchand, and E. Rutten, Discrete control of computing systems administration : A programming language supported approach, Control Conference (ECC), 2013 European, pp.117-124, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00863276

G. Delaval, É. Rutten, and H. Marchand, Integrating discrete controller synthesis into a reactive programming language compiler, Discrete Event Dynamic Systems, pp.385-418, 2013.

G. Delaval, S. Mak-karé-gueye, É. Rutten, and N. Palma, Modular coordination of multiple autonomic managers., CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering Marcq-en-Baroeul, pp.3-12, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01006106

G. Delaval, H. Marchand, and É. Rutten, Contracts for modular discrete controller synthesis, Proceedings of the ACM SIGPLAN/SIGBED 2010 Conference on Languages, Compilers, and Tools for Embedded Systems LCTES '10, pp.57-66, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00436560

G. Delaval, É. Rutten, and H. Marchand, Integrating discrete controller synthesis into a reactive programming language compiler, Discrete Event Dynamic Systems, pp.385-418, 2013.

N. Depalma, B. Claudel, R. Lachaize, S. Bouchenak, and D. Hagimont, Self-Protected System : an experiment, Conference on Security and Network Architectures (SAR), p.p. (electronic medium), 2006.

L. Gérard and A. Guatto, Cédric Pasteur, and Marc Pouzet, A modular memory optimization for synchronous data-flow languages, Proc. of the ACM International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES'12), 2012.

S. Mak-karé-gueye, N. Palma, E. Rutten, A. Tchana, and D. Hagimont, Discrete control for ensuring consistency between multiple autonomic managers, Journal of Cloud Computing : Advances, Systems and Applications, p.16, 2013.

S. Mak-karé-gueye, D. Palma, and É. Rutten, Component-Based Autonomic Managers for Coordination Control, 15th International Conference DisCoTec 2013, pp.75-89, 2013.
DOI : 10.1007/978-3-642-38493-6_6

S. Mak-karé-gueye, É. Noël-de-palma, A. Rutten, N. Tchana, and . Berthier, Coordinating self-sizing and self-repair managers for multi-tier systems, Future Generation Computer Systems, vol.35, pp.14-26, 2014.
DOI : 10.1016/j.future.2013.12.037

A. Gulati, A. Holler, M. Ji, G. Shanmuganathan, C. Waldspurger et al., Vmware distributed resource management : Design, implementation, and lessons learned

A. Gulati, G. Shanmuganathan, A. Holler, and I. Ahmad, Cloud-scale resource management : Challenges and techniques, Proceedings of the 3rd USENIX Conference on Hot Topics in Cloud Computing, pp.3-3, 2011.

N. Halbwachs, Synchronous programming of reactive systems, a tutorial and commented bibliography, Tenth International Conference on Computer- Aided Verification, CAV'98 (Vancouver (B.C.)), LNCS 1427, 1998.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language lustre, Proceedings of the IEEE, pp.1305-1320, 1991.

D. Harel and A. Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, pp.293-333, 1996.
DOI : 10.1145/235321.235322

J. Heo, P. Jayachandran, I. Shin, D. Wang, T. Abdelzaher et al., OptiTuner: On Performance Composition and Server Farm Energy Minimization Application, IEEE Transactions on Parallel and Distributed Systems, vol.22, issue.11, pp.1871-1878, 2011.
DOI : 10.1109/TPDS.2011.52

T. Kastrinogiannis, N. Tcholtchev, A. Prakash, R. Chaparadza, and V. Kaldanis, Addressing stability in future autonomic networking., MONAMI (Kostas Pentikousis, Ramón Agüero Calvo, Hakan Coskun, and Symeon Papavassiliou Marta García-Arranz, and Symeon Papavassiliou Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pp.50-61, 2010.

O. Jeffrey, D. M. Kephart, and . Chess, The vision of autonomic computing, Computer, vol.36, pp.41-50, 2003.

S. Kumar, V. Talwar, V. Kumar, P. Ranganathan, and K. Schwan, vManage, Proceedings of the 6th international conference on Autonomic computing, ICAC '09, pp.127-136, 2009.
DOI : 10.1145/1555228.1555262

F. Maraninchi and Y. Rémond, Mode-Automata: a new domain-specific construct for the development of safe critical systems, Science of Computer Programming, vol.46, issue.3, pp.219-254, 2003.
DOI : 10.1016/S0167-6423(02)00093-X

H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, Synthesis of discrete-event controllers based on the signal environment, Discrete Event Dynamic System, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

H. Marchand and M. Samaan, Incremental design of a power transformer station controller using a controller synthesis methodology, IEEE Transactions on Software Engineering, vol.26, issue.8, pp.729-741, 2000.
DOI : 10.1109/32.879811
URL : https://hal.archives-ouvertes.fr/hal-00546156

H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, Synthesis of Discrete-Event Controllers Based on the Signal Environment, Discrete Event Dynamic Systems, vol.10, issue.4, pp.325-346, 2000.
DOI : 10.1023/A:1008311720696
URL : https://hal.archives-ouvertes.fr/hal-00546147

R. Nathuji and K. Schwan, VirtualPower: coordinated power management in virtualized enterprise systems, Proceedings of twenty-first ACM SIGOPS Symposium on Operating Systems Principles SOSP '07, pp.265-278, 2007.

E. Pinheiro, R. Bianchini, E. V. Carrera, and T. Heath, Load balancing and unbalancing for power and performance in cluster-based systems, Proceedings of the Workshop on Compilers and Operating Systems for Low Power (COLP'01), 2001.

R. Raghavendra, P. Ranganathan, V. Talwar, Z. Wang, and X. Zhu, No "power" struggles: coordinated multi-level power management for the data center, Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems ASPLOS XIII, ACM, pp.48-59, 2008.

P. J. Ramadge and W. M. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013

I. Rodero, J. Jaramillo, A. Quiroz, M. Parashar, F. Guim et al., Energy-efficient application-aware online provisioning for virtualized clouds and data centers, Green Computing Conference, pp.31-45, 2010.

E. Sarhan, A. Ghalwash, and M. Khafagy, Specification and implementation of dynamic web site benchmark in telecommunication area, Proceedings of the 12th WSEAS International Conference on Computers (Stevens Point ICCOMP'08, pp.863-867, 2008.

N. Tcholtchev, R. Chaparadza, and A. Prakash, Addressing Stability of Control-Loops in the Context of the GANA Architecture: Synchronization of Actions and Policies, IWSOS, pp.262-268, 2009.
DOI : 10.1007/978-3-642-10865-5_28

Y. Wang, T. Kelly, and S. Lafortune, Discrete control for safe execution of IT automation workflows, Proceedings of the 2nd ACM SIGOP- S/EuroSys European Conference on Computer Systems EuroSys '07, pp.305-314, 2007.

Y. Wang and J. Mylopoulos, Self-Repair through Reconfiguration: A Requirements Engineering Approach, 2009 IEEE/ACM International Conference on Automated Software Engineering, pp.257-268, 2009.
DOI : 10.1109/ASE.2009.66