T. Abdelzaher, Y. Diao, J. L. Hellerstein, C. Lu, and X. Zhu, Introduction to Control Theory And Its Application to Computing Systems, pp.185-215, 2008.
DOI : 10.1007/978-0-387-79361-0_7

K. Angelopoulos, V. E. Souza, and J. Mylopoulos, Dealing with multiple failures in zanshin: a control-theoretic approach, Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, pp.165-174, 2014.
DOI : 10.1145/2593929.2593936

D. Arcelli, V. Cortellessa, A. Filieri, and A. Leva, Control Theory for Model-based Performance-driven Software Adaptation, Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures, QoSA '15, p.2015
DOI : 10.1145/2737182.2737187

K. J. Aström and R. M. Murray, Feedback Systems: An Introduction for Scientists and Engineers, 2008.

C. Baier, M. Grer, M. Leucker, B. Bollig, and F. Ciesinski, Controller synthesis for probabilistic systems, Proceedings of IFIP TCS2004. Kluwer, 2004.

N. Basset, M. Kwiatkowska, and C. Wiltsche, Compositional Controller Synthesis for Stochastic Games, 25th International Conference on Concurrency Theory (CONCUR'14, pp.173-187, 2014.
DOI : 10.1007/978-3-662-44584-6_13

S. Boyd, C. Baratt, and S. Norman, Linear controller design: limits of performance via convex optimization, Proceedings of the IEEE, pp.529-574, 1990.
DOI : 10.1109/5.52229

T. Brázdil, V. Forejt, and A. Ku?era, Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives, LNCS, vol.5126, pp.148-159, 2008.
DOI : 10.1007/978-3-540-70583-3_13

Y. Brun, G. D. Serugendo, C. Gacek, H. Giese, H. Kienle et al., Engineering Self-Adaptive Systems through Feedback Loops, LNCS, vol.49, issue.9, pp.48-70, 2009.
DOI : 10.1007/978-3-642-02161-9

G. Calafiore and M. C. Campi, Uncertain convex programs: randomized solutions and confidence levels, Mathematical Programming, vol.16, issue.1, pp.25-46, 2005.
DOI : 10.1007/s10107-003-0499-y

R. Calinescu, C. Ghezzi, M. Kwiatkowska, and R. Mirandola, Selfadaptive software needs quantitative verification at runtime, Communications of the ACM, vol.559, pp.69-77, 2012.

M. C. Campi and S. Garatti, A Sampling-and-Discarding Approach to??Chance-Constrained Optimization: Feasibility??and??Optimality, Journal of Optimization Theory and Applications, vol.14, issue.3, pp.257-280, 2011.
DOI : 10.1007/s10957-010-9754-6

M. C. Campi, S. Garatti, and M. Prandini, The scenario approach for systems and control design, In: Annual Reviews in Control, vol.332, pp.149-157, 2009.

T. Chen, V. Forejt, M. Kwiatkowska, D. Parker, and A. Simaitis, PRISM-games: A Model Checker for Stochastic Multi-Player Games, Piterman and S. Smolka, vol.7795
DOI : 10.1007/978-3-642-36742-7_13

B. H. Cheng, Software Engineering for Self-Adaptive Systems In: Software Engineering for Self-Adaptive Systems, Software Engineering for Self-Adaptive Systems: A Research Roadmap, pp.1-26, 2009.
DOI : 10.1007/978-3-642-02161-9

E. Darulova and V. Kuncak, Sound compilation of reals, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.235-248, 2014.
DOI : 10.1145/2535838.2535874

Y. Diao, J. Hellerstein, S. Parekh, R. Griffith, G. Kaiser et al., Self-managing systems: a control theory foundation, pp.441-448, 2005.

Y. Diao, J. L. Hellerstein, S. Parekh, R. Griffith, G. E. Kaiser et al., A Control Theory Foundation for Self-managing Computing

N. D. Ippolito, V. A. Braberman, N. Piterman, and S. Uchitel, Synthesis of live behaviour models for fallible domains, pp.211-220, 2011.

N. R. Ippolito, V. Braberman, N. Piterman, and S. Uchitel, Synthesis of Live Behaviour Models, pp.77-86, 2010.

R. Dorf and R. Bishop, Modern Control Systems, IEEE Transactions on Systems, Man, and Cybernetics, vol.11, issue.8, 2008.
DOI : 10.1109/TSMC.1981.4308749

K. Draeger, V. Forejt, M. Kwiatkowska, D. Parker, and M. Ujma, Permissive Controller Synthesis for Probabilistic Systems, Logical Methods in Computer Science, vol.11, issue.2, pp.531-546, 2014.
DOI : 10.2168/LMCS-11(2:16)2015

I. Epifani, C. Ghezzi, R. Mirandola, and G. Tamburrelli, Model evolution by run-time parameter adaptation, 2009 IEEE 31st International Conference on Software Engineering, pp.111-121, 2009.
DOI : 10.1109/ICSE.2009.5070513

A. Filieri, C. Ghezzi, A. Leva, and M. Maggio, Reliability-driven dynamic binding via feedback control, 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp.43-52
DOI : 10.1109/SEAMS.2012.6224390
URL : http://spiral.imperial.ac.uk/bitstream/10044/1/33736/2/2012-seams.pdf

A. Filieri, C. Ghezzi, and G. Tamburrelli, A formal approach to adaptive software: continuous assurance of non-functional requirements, Formal Aspects of Computing, vol.6, issue.1, pp.163-186, 2012.
DOI : 10.1007/s00165-011-0207-2

A. Filieri, H. Hoffmann, and M. Maggio, Automated Design of Selfadaptive Software with Control-theoretical Formal Guarantees, pp.299-310, 2014.

A. Filieri, L. Grunske, and A. Leva, Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering
DOI : 10.1109/ICSE.2015.41

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

M. Franzle and C. Herde, HySAT: An efficient proof engine for bounded model checking of hybrid systems, Formal Methods in System Design, vol.68, issue.2, pp.179-198, 2007.
DOI : 10.1007/s10703-006-0031-0

S. Gao, S. Kong, and E. Clarke, Satisfiability modulo ODEs, In: Formal Methods in Computer-Aided Design, pp.105-112, 2013.

D. Garlan, S. Cheng, A. Huang, B. Schmerl, and P. Steenkiste, Rainbow: architecture-based self-adaptation with reusable infrastructure, Computer, vol.37, issue.10, pp.46-54, 2004.
DOI : 10.1109/MC.2004.175

M. Glinz, On Non-Functional Requirements, 15th IEEE International Requirements Engineering Conference (RE 2007), pp.21-26, 2007.
DOI : 10.1109/RE.2007.45

S. Govindan, J. Liu, A. Kansal, and A. Sivasubramaniam, Cuanta, Proceedings of the 2nd ACM Symposium on Cloud Computing, SOCC '11, pp.1-22, 2011.
DOI : 10.1145/2038916.2038938

J. L. Hellerstein, Engineering autonomic systems, Proceedings of the 6th international conference on Autonomic computing, ICAC '09, pp.75-76, 2009.
DOI : 10.1145/1555228.1555254

J. L. Hellerstein, V. Morrison, and E. Eilebrecht, Applying control theory in the real world, SIGMETRICS Perform, pp.38-42, 2010.
DOI : 10.1145/1710115.1710123

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

T. Henzinger, P. Ho, and H. Wong-toi, HyTech: A model checker for hybrid systems, pp.460-463, 1997.

H. Hoffmann, Self-aware computing in the Angstrom processor, Proceedings of the 49th Annual Design Automation Conference on, DAC '12, pp.259-264
DOI : 10.1145/2228360.2228409

H. Hoffmann, CoAdapt: Predictable Behavior for Accuracy-Aware Applications Running on Power-Aware Systems, 2014 26th Euromicro Conference on Real-Time Systems, pp.223-232
DOI : 10.1109/ECRTS.2014.32

. Agarwal, A generalized software framework for accurate and efficient management of performance goals, EMSOFT. 2013, pp.1-10

M. C. Huebscher and J. A. Mccann, A survey of autonomic computing???degrees, models, and applications, ACM Computing Surveys, vol.40, issue.3, pp.1-7, 2008.
DOI : 10.1145/1380584.1380585

J. Kephart and D. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055

C. Klein, A. V. Papadopoulos, M. Dellkrantz, J. Durango, M. Maggio et al., Improving Cloud Service Resilience Using Brownout-Aware Load-Balancing, 2014 IEEE 33rd International Symposium on Reliable Distributed Systems, pp.31-40, 2014.
DOI : 10.1109/SRDS.2014.14

J. Kramer and J. Magee, Self-Managed Systems: an Architectural Challenge, Future of Software Engineering (FOSE '07), pp.259-268, 2007.
DOI : 10.1109/FOSE.2007.19

F. Krikava, P. Collet, and R. France, ACTRESS, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14, 2014.
DOI : 10.1145/2554850.2555020
URL : https://hal.archives-ouvertes.fr/hal-00951798

M. Kwiatkowska and D. Parker, Automated Verification and Strategy Synthesis for Probabilistic Systems, pp.5-22, 2013.
DOI : 10.1007/978-3-319-02444-8_2

J. Lelli, G. Lipari, D. Faggioli, and T. Cucinotta, An efficient and scalable implementation of global EDF in Linux, 2011.

A. Leva, M. Maggio, A. V. Papadopoulos, and F. Terraneo, Controlbased operating system design, Control Engineering Series. IET, pp.10-1049, 2013.

W. Levine, The Control Systems Handbook, Second Edition: Control System Advanced Methods, Second Edition. Electrical Engineering Handbook, 2010.
DOI : 10.1201/b10384

J. Liu, J. Eker, and J. Janneck, Actor-Oriented Control System Design: A Responsible Framework Perspective, IEEE Transactions on Control Systems Technology, vol.12, issue.2, pp.250-262, 2004.
DOI : 10.1109/TCST.2004.824310

C. Lu, Y. Lu, T. Abdelzaher, J. Stankovic, and S. Son, Feedback Control Architecture and Design Methodology for Service Delay Guarantees in Web Servers, IEEE Trans. Parallel Distrib. Syst, vol.17, issue.9, pp.1014-1027, 2006.

M. Maggio, H. Hoffmann, A. V. Papadopoulos, J. Panerati, M. D. Santambrogio et al., Comparison of Decision-Making Strategies for Self-Optimization in Autonomic Computing Systems, ACM Transactions on Autonomous and Adaptive Systems, vol.7, issue.4, pp.1-3632, 2012.
DOI : 10.1145/2382570.2382572

M. Maggio, H. Hoffmann, M. D. Santambrogio, A. Agarwal, and A. Leva, Power Optimization in Embedded Systems via Feedback Control of Resource Allocation, IEEE Transactions on Control Systems Technology, vol.21, issue.1, 2013.
DOI : 10.1109/TCST.2011.2177499

A. Muttreja, A. Raghunathan, S. Ravi, and N. K. Jha, Automated Energy/Performance Macromodeling of Embedded Software, IEEE Trans. Comput.-Aided Design Integr. Circuits Syst, vol.263, pp.542-552, 2007.

P. Oreizy, M. M. Gorlick, R. N. Taylor, D. Heimbigner, G. Johnson et al., An architecture-based approach to self-adaptive software, IEEE Intelligent Systems, vol.14, issue.3, pp.54-62, 1999.
DOI : 10.1109/5254.769885

A. V. Papadopoulos and M. Prandini, Model reduction of switched affine systems, Proceedings of the 17th international conference on Hybrid systems: computation and control, HSCC '14, pp.113-122, 2014.
DOI : 10.1145/2562059.2562131

A. V. Papadopoulos, M. Maggio, F. Terraneo, and A. Leva, A dynamic modelling framework for control-based computing system design, Mathematical and Computer Modelling of Dynamical Systems, vol.2005, issue.3, 2014.
DOI : 10.1145/2382570.2382572

S. Parekh, Feedback Control Techniques for Performance Management of Computing Systems, 2010.

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), pp.33-42, 2012.
DOI : 10.1109/SEAMS.2012.6224389

M. L. Puterman, Markov Decision Processes: Discrete Stochastic Dynamic Programming. 1st, 1994.
DOI : 10.1002/9780470316887

J. Raskin, An Introduction to Hybrid Automata, Birkhauser Boston, pp.491-517, 2005.
DOI : 10.1007/0-8176-4404-0_21

M. Salehie and L. Tahvildari, Self-adaptive software, ACM Transactions on Autonomous and Adaptive Systems, vol.4, issue.2, pp.1-14, 2009.
DOI : 10.1145/1516533.1516538

M. Shafique, L. Bauer, and J. Henkel, enBudget: A Run-Time Adaptive Predictive Energy-Budgeting scheme for energy-aware Motion Estimation in H.264/MPEG-4 AVC video encoder, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), pp.1725-1730, 2010.
DOI : 10.1109/DATE.2010.5457093

V. E. Souza, A. Lapouchnian, and J. Mylopoulos, System Identification for Adaptive Software Systems: a Requirements Engineering Perspective, Conceptual Modeling ? ER 2011, pp.346-361, 0726.

V. E. Souza, A. Lapouchnian, W. N. Robinson, and J. Mylopoulos, Awareness Requirements for Adaptive Systems, In: SEAMS. ACM, pp.60-69, 2011.

G. Stein, Q. Sun, G. Dai, and W. Pan, DOI: 10 LPV Model and Its Application in Web Server Performance Control, In: CSSE. IEEE CS, vol.234, issue.3, pp.12-25, 1219.

M. Tanelli, D. Ardagna, and M. Lovera, LPV model identification for power management of Web service systems, 2008 IEEE International Conference on Control Applications, pp.1171-1176, 2008.
DOI : 10.1109/CCA.2008.4629616

A. Visioli, Practical PID Control Advances in Industrial Control, 2006.

T. Vogel and H. Giese, Model-Driven Engineering of Self-Adaptive Software with EUREMA, ACM Transactions on Autonomous and Adaptive Systems, vol.8, issue.4, pp.1-18, 2014.
DOI : 10.1145/2555612

W. Wang, D. Tipper, and S. Banerjee, A simple approximation for modeling nonstationary queues, INFOCOM. IEEE, vol.1, pp.255-262, 1996.

D. Weyns and T. Ahmad, Claims and Evidence for Architecture-Based Self-adaptation: A Systematic Literature Review, pp.249-265, 2013.
DOI : 10.1007/978-3-642-39031-9_22

X. Zhu, M. Uysal, Z. Wang, S. Singhal, A. Merchant et al., What does control theory bring to systems research?, ACM SIGOPS Operating Systems Review, vol.43, issue.1, pp.62-69, 2009.
DOI : 10.1145/1496909.1496922