Discrete Control of Computing Systems Administration: a Programming Language supported Approach - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

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

(1) , (2, 3) , (2) , (4) , (5)
1
2
3
4
5

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.
Fichier principal
Vignette du fichier
ECC2013.pdf (248.61 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00863276 , version 1 (18-09-2013)

Identifiers

  • HAL Id : hal-00863276 , version 1

Cite

Gwenaël Delaval, Noel de Palma, Soguy Mak-Karé Gueye, Hervé Marchand, Eric Rutten. Discrete Control of Computing Systems Administration: a Programming Language supported Approach. European Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124. ⟨hal-00863276⟩
506 View
165 Download

Share

Gmail Facebook Twitter LinkedIn More