Discrete Control of Computing Systems Administration: a Programming Language supported Approach

Abstract : 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.
Type de document :
Communication dans un congrès
Manfred Morari. European Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124, 2013
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00863276
Contributeur : Hervé Marchand <>
Soumis le : mercredi 18 septembre 2013 - 15:20:50
Dernière modification le : mercredi 2 août 2017 - 10:07:16
Document(s) archivé(s) le : vendredi 20 décembre 2013 - 15:00:46

Fichier

ECC2013.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00863276, version 1

Citation

Gwenaël Delaval, Noel De Palma, Soguy Mak-Karé Gueye, Hervé Marchand, Éric Rutten. Discrete Control of Computing Systems Administration: a Programming Language supported Approach. Manfred Morari. European Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124, 2013. 〈hal-00863276〉

Partager

Métriques

Consultations de la notice

352

Téléchargements de fichiers

125