文章基本信息

标题：Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management ⁎
本地全文：下载
作者：Nicolas Berthier ; Hervé Marchand ; Éric Rutten 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2018
卷号：51
期号：7
页码：112-119
DOI：10.1016/j.ifacol.2018.06.288
语种：English
出版社：Elsevier
摘要：AbstractWe 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.
关键词：KeywordsDiscrete Event SystemsSupervisory ControlInfinite-state SystemsDynamic Resource Management