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


G. Delaval, N. De palma, S. Gueye, H. Marchand, E. Rutten. Discrete Control of Computing Systems Administration: a Programming Language supported Approach. In Euopean Control Conference, Pages 117-124, Zurich. Switzerland, July 2013.

Download [help]

Download paper: Adobe portable document (pdf) pdf

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


We address the problem of using Discrete Controller Synthesis for the administration of Computing Systems, following an approach supported by a programming language. We present a mixed imperative/declarative programming language, where declarative contracts are enforced upon imperatively described behaviors. Its compilation is based on the notion of supervisory control of discrete event systems. It targets the programming of closed-loop reconfiguration controllers in computing systems. We apply our method to the problem of coordinating several administration loops in a data center (number of servers, repair, and local processor frequencies) : we formulate it as an invariance controller synthesis problem


Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/

BibTex Reference

   Author = {Delaval, G. and De palma, N. and Gueye, S. and Marchand, H. and Rutten, E.},
   Title = {Discrete Control of Computing Systems Administration: a Programming Language supported Approach},
   BookTitle = {Euopean Control Conference},
   Pages = {117--124},
   Address = {Zurich. Switzerland},
   Month = {July},
   Year = {2013}

EndNote Reference [help]

Get EndNote Reference (.ref)