Skip to Main content Skip to Navigation
Conference papers

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

Nicolas Berthier 1 Hervé Marchand 2 Eric Rutten 3, 4
2 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
4 CTRL-A - Control for Autonomic computing systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/hal-01807284
Contributor : Nicolas Berthier <>
Submitted on : Monday, June 4, 2018 - 3:37:15 PM
Last modification on : Thursday, November 19, 2020 - 1:02:25 PM
Long-term archiving on: : Wednesday, September 26, 2018 - 2:57:25 PM

File

paper.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

601

Files downloads

161