Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |

sankur:hal-01244766

O. Sankur. Symbolic Quantitative Robustness Analysis of Timed Automata. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), Lecture Notes in Computer Science, Volume 9035, London, United Kingdom, April 2015.

Download [help]

Download paper: Doi page

Download Hal paper: Hal : Hyper Archive en ligne

Download paper: (link)

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic

Abstract

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

Contact

Ocan Sankur http://people.irisa.fr/Ocan.Sankur/

BibTex Reference

@InProceedings{sankur:hal-01244766,
   Author = {Sankur, O.},
   Title = {Symbolic Quantitative Robustness Analysis of Timed Automata},
   BookTitle = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)},
   Volume = {9035},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer},
   Address = {London, United Kingdom},
   Month = {April},
   Year = {2015}
}

EndNote Reference [help]

Get EndNote Reference (.ref)