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

Abstract : 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.
Type de document :
Communication dans un congrès
WODES 2018 - 14th Workshop on Discrete Event Systems, May 2018, Sorrento Coast, Italy. Elsevier, pp.1-8, 〈10.1016/j.ifacol.2018.06.288〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01807284
Contributeur : Nicolas Berthier <>
Soumis le : lundi 4 juin 2018 - 15:37:15
Dernière modification le : jeudi 15 novembre 2018 - 11:58:59
Document(s) archivé(s) le : mercredi 26 septembre 2018 - 14:57:25

Fichier

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

Identifiants

Citation

Nicolas Berthier, Hervé Marchand, Éric 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. Elsevier, pp.1-8, 〈10.1016/j.ifacol.2018.06.288〉. 〈hal-01807284〉

Partager

Métriques

Consultations de la notice

348

Téléchargements de fichiers

48