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

J. Abrial, The B-book: assigning programs to meanings, 1996.
DOI : 10.1017/CBO9780511624162

K. Akesson, Supremica http://www.supremica.org

K. Altisen, A. Clodic, F. Maraninchi, and E. Rutten, Using Controller-Synthesis Techniques to Build Property-Enforcing Layers, European Symposium on Programming, pp.126-141, 2003.
DOI : 10.1007/3-540-36575-3_13

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. Å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 47th Annual Allerton Conference on, 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, Special issue on embedded systems, 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.
DOI : 10.3182/20140514-3-FR-4046.00099

URL : https://hal.archives-ouvertes.fr/hal-00974553

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.
DOI : 10.1007/978-3-642-05089-3_42

T. Bouhadiba, Q. Sabah, G. Delaval, and E. Rutten, Synchronous control of reconfiguration in fractal component-based systems, Proceedings of the ninth ACM international conference on Embedded software, EMSOFT '11, pp.309-318, 2011.
DOI : 10.1145/2038642.2038690

URL : https://hal.archives-ouvertes.fr/inria-00596883

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, pp.25-53, 2002.

A. Chakrabarti, L. De-alfaro, T. A. Henzinger, and F. Y. Mang, Synchronous and Bidirectional Component Interfaces, Computer Aided Verification, pp.414-427, 2002.
DOI : 10.1007/3-540-45657-0_34

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, É. Rutten, and H. Marchand, Integrating discrete controller synthesis into a reactive programming language compiler. Discrete Event Dynamic Systems, pp.385-418, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00863286

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

D. Nicolas, V. Ippolito, J. Braberman, J. Kramer, D. Magee 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.

J. Dragert, K. Dingel, and . 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.
DOI : 10.1145/1453101.1453122

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, vol.3, p.16, 2013.
DOI : 10.1109/TVLSI.2005.859588

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, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.283-292, 2011.
DOI : 10.1109/ASE.2011.6100064

A. Gamatié, H. Yu, G. Delaval, and E. Rutten, A Case Study on Controller Synthesis for Data-Intensive Embedded Systems, 2009 International Conference on Embedded Software and Systems, 2009.
DOI : 10.1109/ICESS.2009.12

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
DOI : 10.1145/2347583.2347598

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, pp.217-220, 2011.

A. Girault and E. Rutten, Automating the addition of fault tolerance with discrete controller synthesis, Formal Methods in System Design, vol.2, issue.2, pp.190-225, 2009.
DOI : 10.1007/s10703-009-0084-y

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, pp.3-6, 2013.

D. Harel, H. Kugler, and A. Pnueli, Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements, Formal Methods in Software and Systems Modeling, pp.309-324, 2005.
DOI : 10.1007/978-3-540-31847-7_18

D. Harel and A. Pnueli, On the Development of Reactive Systems, Logic and Models of Concurrent Systems, 1985.
DOI : 10.1007/978-3-642-82453-1_17

J. Hellerstein, Y. Diao, S. Parekh, and D. Tilbury, Feedback Control of Computing Systems, 2004.
DOI : 10.1002/047166880X

M. Iordache and P. Antsaklis, Concurrent program synthesis based on supervisory control, Proceedings of the 2010 American Control Conference, 2010.
DOI : 10.1109/ACC.2010.5530904

M. V. Iordache and P. J. Antsaklis, Petri nets and programming: A survey, 2009 American Control Conference, pp.4994-4999, 2009.
DOI : 10.1109/ACC.2009.5159987

G. Kalyon and T. L. Gall, Smacs http://www.smacs.be

C. Karamanolis, M. Karlsson, and X. Zhu, Designing controllable computer systems, Proceedings of the 10th conference on Hot Topics in Operating Systems - HOTOS'05, 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, Computer, vol.36, issue.1, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055

N. Khakpour, F. Arbab, and E. Rutten, Supervisory Controller Synthesis for Safe Software Adaptation, 12th IFAC -IEEE International Workshop on Discrete Event Systems, WODES, 2014.
DOI : 10.3182/20140514-3-FR-4046.00035

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.
DOI : 10.1007/978-3-642-00593-0_6

S. S. Kulkarni and A. Ebnenasir, Automated synthesis of multitolerance, International Conference on Dependable Systems and Networks, 2004, p.209, 2004.
DOI : 10.1109/DSN.2004.1311891

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, 2010 31st IEEE Real-Time Systems Symposium, 2010.
DOI : 10.1109/RTSS.2010.14

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.
DOI : 10.1145/1082983.1083071

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 Sixth International Conference on, 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 Control- Theoretical Approaches to Real-Time Computing, pp.85-126, 2002.

M. Maggio, E. Bini, G. Chasparis, and K. Årzén, A Game-Theoretic Resource Manager for RT Applications, 2013 25th Euromicro Conference on Real-Time Systems, 2013.
DOI : 10.1109/ECRTS.2013.17

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.
DOI : 10.1109/TC.2010.164

URL : https://hal.archives-ouvertes.fr/hal-00480859

H. Marchand, Sigali http

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, 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, ICAS 2012 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, 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), p.2012, 2012.
DOI : 10.1109/SEAMS.2012.6224389

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, issue.1, pp.49-61, 2012.
DOI : 10.1016/j.conengprac.2011.09.003

V. V. Phoha, A. U. Nadgar, A. Ray, and S. Phoha, Supervisory control of software systems, IEEE Transactions on Computers, vol.53, issue.9, pp.1187-1199, 2004.
DOI : 10.1109/TC.2004.67

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

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., 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.
DOI : 10.3182/20100830-3-DE-4013.00044

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.

F. Xia, G. Tian, and Y. Sun, Feedback scheduling, ACM SIGPLAN Notices, vol.42, issue.12, pp.7-14, 2007.
DOI : 10.1145/1341752.1341753

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.