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



Berthier, Nicolas ORCID: 0000-0002-0933-8193, Marchand, Hervé and Rutten, Éric
(2018) Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management. In: 14th Workshop on Discrete Event Systems, 2018-5-30 - 2018-6-1, Sorrento Coast, Italy.

[thumbnail of paper.pdf] Text
paper.pdf - Author Accepted Manuscript

Download (432kB)

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.

Item Type: Conference or Workshop Item (Unspecified)
Uncontrolled Keywords: Discrete Event Systems, Supervisory Control, Infinite-state Systems, Dynamic Resource Management
Depositing User: Symplectic Admin
Date Deposited: 11 Jun 2018 08:47
Last Modified: 19 Jan 2023 01:32
DOI: 10.1016/j.ifacol.2018.06.288
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3022156