%0 Conference Proceedings %F sankur:hal-01244766 %A Sankur, O. %T Symbolic Quantitative Robustness Analysis of Timed Automata %B Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015) %V 9035 %S Lecture Notes in Computer Science %I Springer %C London, United Kingdom %X This invited paper makes an overview of our works addressing discrete control-based design of adaptive and reconfigurable computing systems, also called autonomic computing. They are characterized by their ability to switch between different execution modes w.r.t. application and functionality, mapping and deployment, or execution architecture. The control of such reconfigurations or adaptations is a new application domain for control theory, called feedback computing. We approach the problem with a programming language supported approach, based on synchronous languages and discrete control synthesis. We concretely use this approach in FPGA-based reconfigurable architectures, and in the coordination of administration loops %U https://hal.archives-ouvertes.fr/hal-01244766/document %U http://dx.doi.org/10.1007/978-3-662-46681-0\_48 %8 April %D 2015