Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management

Résumé

We put forward a new modeling technique for Dynamic Resource Management (DRM) based on discrete events control for symbolic logico-numerical systems, especially Discrete Controller Synthesis (DCS). The resulting models involve state and input variables defined on an infinite domain (Integers), thereby no exact DCS algorithm exists for safety control. We thus formally define the notion of limited lookahead, and associated best-effort control objectives targeting safety and optimization on a sliding window for a number of steps ahead. We give symbolic algorithms, illustrate our approach on an example model for DRM, and report on performance results based on an implementation in our tool ReaX.
Fichier principal
Vignette du fichier
paper.pdf (422.72 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01807284 , version 1 (04-06-2018)

Identifiants

Citer

Nicolas Berthier, Hervé Marchand, Eric Rutten. Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management. WODES 2018 - 14th Workshop on Discrete Event Systems, May 2018, Sorrento Coast, Italy. pp.1-8, ⟨10.1016/j.ifacol.2018.06.288⟩. ⟨hal-01807284⟩
437 Consultations
112 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More