Özbaltan, Mete and Berthier, Nicolas ORCID: 0000-0002-0933-8193
(2020)
A Case for Symbolic Limited Optimal Discrete Control: Energy Management in Reactive Data-flow Circuits.
In: IFAC World Congress 2020, 2020-7-11 - 2020-7-17, Berlin.
Text
1-s2.0-S2405896320336077-main (1).pdf - Published version Available under License Creative Commons Attribution Non-commercial No Derivatives. Download (511kB) | Preview |
Abstract
We present a framework for achieving efficient dynamic management of configurable reactive data-flow circuits subject to global design objectives such as mutual exclusion on shared resources and minimization of energy consumption. We propose a new symbolic controller synthesis algorithm that targets the optimization of a cost function summed over a sliding window of a given number of reactions of the system. We then present a technique for constructing symbolic models of configurable data-flow circuits that lends itself to the automatic computation of dynamic configuration controllers. We use these models to experimentally evaluate our control algorithm, and make the case for symbolic optimal discrete controller synthesis on such designs.
Item Type: | Conference or Workshop Item (Unspecified) |
---|---|
Uncontrolled Keywords: | Symbolic Optimal Discrete Controller Synthesis, Digital Synchronous Circuits, Symbolic Controller Implementation |
Divisions: | Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science |
Depositing User: | Symplectic Admin |
Date Deposited: | 01 Feb 2021 15:58 |
Last Modified: | 18 Jan 2023 23:01 |
DOI: | 10.1016/j.ifacol.2020.12.2842 |
Open Access URL: | https://www.sciencedirect.com/science/article/pii/... |
Related URLs: | |
URI: | https://livrepository.liverpool.ac.uk/id/eprint/3115059 |