T. Abdelzaher, Research challenges in feedback computing: An interdisciplinary agenda, 8th International Workshop on Feedback Computing, 2013.

A. Soufyane-aboubekr, D. Gwenaël, R. Pissard-gibollet, and E. Rutten,

D. Simon, Automatic generation of discrete handlers of real-time continuous control tasks, IFAC World Congress, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00640406

J. Abrial, The B-book: assigning programs to meanings, 1996.

K. Akesson,

J. Sacra-albus, A. J. Barbera, and R. Nagel, Theory and practice of hierarchical control, 1980.

K. Altisen, A. Clodic, F. Maraninchi, and E. Rutten, Using controller synthesis to build property-enforcing layers, European Symposium on Programming, vol.2618, pp.126-141, 2003.

K. Årzén, A. Robertsson, D. Henriksson, M. Johansson, H. Hjalmarsson et al., Conclusions of the ARTIST2 roadmap on control of computing systems, ACM SIGBED (Special Interest Group on Embedded Systems) Review, vol.3, issue.3, 2006.

K. J. Åström and R. M. Murray, Feedback Systems: An Introduction for Scientists and Engineers, 2015.

K. , J. Åström, and B. Wittenmark, Computer-Controlled Systems. Information and System Sciences Series, 1997.

A. Auer, J. Dingel, and K. Rudie, Concurrency control generation for dynamic threads using discrete-event systems, Communication, Control, and Computing, pp.927-934, 2009.

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages twelve years later, Proc. of the IEEE, vol.91, pp.64-83, 2003.

N. Berthier and H. Marchand, Discrete Controller Synthesis for Infinite State Systems with ReaX, 12th Int. Workshop on Discrete Event Systems, WODES '14. IFAC, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00974553

R. Bloem, B. Jobstmann, N. Piterman, A. Pnueli, and Y. Saar, Synthesis of reactive(1) designs, J. Comput. Syst. Sci, vol.78, issue.3, pp.911-938, 2012.

R. Bodik, S. Chandra, J. Galenson, D. Kimelman, N. Tung et al., Programming with angelic nondeterminism, Principles of Programming Languages, POPL, pp.339-352, 2010.

B. Bonakdarpour and S. S. Kulkarni, On the complexity of synthesizing relaxed and graceful bounded-time 2-phase recovery, Proceedings of FM 2009: Formal Methods, Second World Congress, pp.660-675, 2009.

T. Bouhadiba, Q. Sabah, G. Delaval, and E. Rutten, Synchronous control of reconfiguration in fractal component-based systems: a case study, Proceedings of the ninth ACM international conference on Embedded software, EMSOFT'11, pp.309-318, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00596883

V. Braberman, Nicolas D&#039

J. Ippolito, D. Kramer, S. Sykes, and . Uchitel, Morph: A reference architecture for configuration and behaviour self-adaptation, Proceedings of the 1st International Workshop on Control Theory for Software Engineering, CTSE 2015, pp.9-16, 2015.

C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2008.

A. Cervin, J. Eker, B. Bernhardsson, and K. E. Årzén, Feedback-feedforward scheduling of control tasks. Real-Time Systems, vol.23, pp.25-53, 2002.

A. Chakrabarti, L. De-alfaro, T. A. Henzinger, and F. Y. Mang, Synchronous and bidirectional component interfaces, Computer Aided Verification, vol.2404, pp.414-427, 2002.
DOI : 10.1007/3-540-45657-0_34
URL : http://www.eecs.berkeley.edu/~tah/Publications/synchronous_and_bidirectional_component_interfaces.ps

, Feedback Computing

, Roadmap on control of real-time computing systems, 2006.

G. ,

G. , Modular distribution and application to discrete controller synthesis, International Workshop on Model-driven High-level Programming of Embedded Systems (SLA++P'08), 2008.

G. Delaval and E. Rutten, A domain-specific language for multi-task systems, applying discrete controller synthesis, J. on Embedded Systems, issue.84192, p.17, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00000867

G. Delaval, ´. E. Rutten, and H. Marchand, Integrating discrete controller synthesis into a reactive programming language compiler. Discrete Event Dynamic Systems, vol.23, pp.385-418, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00863286

G. Delaval and H. Marchand, Contracts for modular discrete controller synthesis, ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2010), pp.57-66, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00476910

V. Nicolas-d'ippolito, J. Braberman, J. Kramer, D. Magee, S. Sykes et al., Hope for the best, prepare for the worst: Multi-tier control for adaptive systems, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.688-699, 2014.

V. Nicolás-d'ippolito, N. Braberman, S. Piterman, and . Uchitel, Synthesizing nonanomalous event-based controllers for liveness goals, ACM Trans. Softw. Eng. Methodol, vol.22, issue.1, p.36, 2013.

C. Dragert, J. Dingel, and K. Rudie, Generation of concurrency control code using discrete-event systems theory, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, pp.146-157, 2008.

E. Dumitrescu, A. Girault, H. Marchand, and E. Rutten, Multicriteria optimal discrete controller synthesis for fault-tolerant tasks, Proc. of the 10th IFAC Int. Workshop on Discrete Event Systems (WODES'10), 2010.

S. Durand, A. Alt, D. Simon, and N. Marchand, Energy-aware feedback control for a H.264 video decoder, International Journal of Systems Science, p.16, 2013.
URL : https://hal.archives-ouvertes.fr/lirmm-00834888

A. Filieri, C. Ghezzi, A. Leva, and M. Maggio, Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements, Proc. 26th IEEE/ACM Int. Conf. Automated Software Engineering (ASE 2011), pp.283-292, 2011.

A. Filieri, H. Hoffmann, and M. Maggio, Automated design of self-adaptive software with control-theoretical formal guarantees, Proceedings of the 36th International Conference on Software Engineering, 2014.

A. Filieri, M. Maggio, K. Angelopoulos, D. Nicolás, I. Ippolito et al., Software engineering meets control theory, Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS '15, pp.71-82, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01119461

A. Gamatié, H. Yu, G. Delaval, and E. Rutten, A case study on controller synthesis for dataintensive embedded systems, Proceedings of the 6th IEEE International Conference on Embedded Software and Systems (ICESS'2009), 2009.

B. Gaudin and P. Nixon, Supervisory control for software runtime exception avoidance, Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering, C3S2E '12, pp.109-112, 2012.

E. I. Benoit-gaudin, P. Vassev, M. Nixon, and . Hinchey, A control theory based approach for self-healing of un-handled runtime exceptions, Proceedings of the 8th ACM international conference on Autonomic computing, ICAC '11, pp.217-220, 2011.

A. Girault and E. Rutten, Automating the addition of fault tolerance with discrete controller synthesis, Int. journal on Formal Methods in System Design, vol.35, issue.2, pp.190-225, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00748687

S. Mak-karé-gueye, E. Noël-de-palma, and . Rutten, Coordination control of component-based autonomic administration loops, Proceedings of the 15th International Conference on Coordination Models and Languages, vol.COORDINATION, pp.3-6, 2013.

D. Harel, Can programming be liberated, period?, Computer, vol.41, issue.1, pp.28-37, 2008.

D. Harel, H. Kugler, and A. Pnueli, Synthesis revisited: Generating statechart models from scenario-based requirements, Formal Methods in Software and Systems Modeling, vol.3393, pp.309-324, 2005.

D. Harel and A. Pnueli, On the development of reactive systems, Logic and Models of Concurrent Systems, NATO, 1985.

J. Hellerstein, Y. Diao, S. Parekh, and D. Tilbury, Feedback Control of Computing Systems, 2004.

M. Iordache and P. Antsaklis, Concurrent program synthesis based on supervisory control, 2010 American Control Conference, 2010.

M. V. Iordache and P. J. Antsaklis, Petri nets and programming: A survey, Proceedings of the 2009 American Control Conference, pp.4994-4999, 2009.

G. Kalyon and T. L. Gall,

C. Karamanolis, M. Karlsson, and X. Zhu, Designing controllable computer systems, Proceedings of the 10th conference on Hot Topics in Operating Systems, vol.10, pp.9-9, 2005.

J. Kephart, Feedback on feedback in autonomic computing systems, 7th International Workshop on Feedback Computing, 2012.

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

N. Khakpour, F. Arbab, and E. Rutten, Supervisory controller synthesis for safe software adaptation, 12th IFAC-IEEE International Workshop on Discrete Event Systems, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01091155

H. Kugler, C. Plock, and A. Pnueli, Controller synthesis from LSC requirements, Fundamental Approaches to Software Engineering, FASE'09, 2009.

S. S. Kulkarni and A. Ebnenasir, Automated synthesis of multitolerance, DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks, p.209, 2004.

P. Lalanda, J. A. Mccann, and A. Diaconescu, Autonomic Computing-Principles, Design and Implementation, Undergraduate Topics in Computer Science Series, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00854882

M. Lindberg and K. Årzén, Feedback control of cyber-physical systems with multi resource dependencies and model uncertainties, 31st IEEE Real-Time Systems Symposium, 2010.

M. Litoiu, M. Shaw, G. Tamura, N. M. Villegas, H. A. Müller et al., What can control theory teach us about assurances in self-adaptive software systems?, Lecture Notes in Computer Science, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01281063

M. Litoiu, M. Woodside, and T. Zheng, Hierarchical model-based autonomic control of software systems, ACM SIGSOFT Software Engineering Notes, vol.30, issue.4, pp.1-7, 2005.

C. Liu, A. Kondratyev, Y. Watanabe, J. Desel, and A. Sangiovanni-vincentelli, Schedulability analysis of petri nets based on structural properties, Application of Concurrency to System Design, pp.69-78, 2006.

C. Lu, J. Stankovic, T. Abdelzaher, G. Tao, S. Son et al., Performance specifications and metrics for adaptive real-time systems, Real-Time Systems Symposium, 2000.

C. Lu, J. A. Stankovic, S. H. Son, and G. Tao, Feedback control real-time scheduling: Framework, modeling and algorithms, Real-Time Systems Journal, Special Issue on ControlTheoretical Approaches to Real-Time Computing, vol.23, issue.1/2, pp.85-126, 2002.

M. Maggio, E. Bini, G. Chasparis, and K. Årzén, A game-theoretic resource manager for RT applications, 25th Euromicro Conference on Real-Time Systems, vol.13, 2013.

L. Malrait, S. Bouchenak, and N. Marchand, Experience with ConSer: A system for server control through fluid modeling, IEEE Transactions on Computers, vol.60, issue.7, pp.951-963, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00480859

H. Marchand,

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: Theory and Applications, vol.10, issue.4, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

M. Amir-moulavi, A. Al-shishtawy, and V. Vlassov, State-space feedback control for elastic distributed storage in a cloud environment, The Eighth International Conference on Autonomic and Autonomous Systems, pp.18-27, 2012.

T. Patikirikorala, A. Colman, J. Han, and L. Wang, A systematic survey on the design of self-adaptive software systems using control engineering approaches, ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2012.

T. Patikirikorala, L. Wang, A. Colman, and J. Han, Hammerstein Wiener nonlinear model based predictive control for relative QoS performance and resource management of software systems, Control Engineering Practice, vol.20, pp.49-61, 2012.

V. V. Phoha, A. U. Nadgar, A. Ray, and S. Phoha, Supervisory control of software systems, IEEE Transactions on, vol.53, issue.9, pp.1187-1199, 2004.

P. J. Ramadge and W. M. Wonham, Supervisory control of a class of discrete event processes, SIAM J. Control Optim, vol.25, issue.1, pp.206-230, 1987.

D. Sykes, D. Corapi, J. Magee, J. Kramer, A. Russo et al., Learning revised models for planning in adaptive systems, Proceedings of the 2013 International Conference on Software Engineering, ICSE '13, pp.63-71, 2013.

C. Wallace, P. Jensen, and N. Soparkar, Supervisory control of workflow scheduling, Advanced Transaction Models and Architectures Workshop (ATMA), 1996.

Y. Wang, H. K. Cho, H. Liao, A. Nazeem, T. Kelly et al., Reveliotis. Supervisory control of software execution for failure avoidance: Experience from the gadara project, Proc. of the 10th IFAC Int. Workshop on Discrete Event Systems (WODES'10), 2010.

Y. Wang, S. Lafortune, T. Kelly, M. Kudlur, and S. Mahlke, The theory of deadlock avoidance via discrete control, Principles of Programming Languages, POPL, pp.252-263, 2009.

W. M. Wonham,

F. Xia, G. Tian, and Y. Sun, Feedback scheduling: An event-driven paradigm, ACM SIGPLAN Notices, vol.42, issue.12, pp.7-14, 2007.

A. Christos, A. Yfoulis, and . Gounaris, Honoring slas on cloud computing services: a control perspective, Proceedings of the European Control Conference, 2009.

X. Zhu, Application of control theory in management of virtualized data centres, Fifth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID), 2010.

X. Zhu, Z. Wang, and S. Singhal, Utility-driven workload management using nested control design, American Control Conference, p.6, 2006.