A Case for Symbolic Limited Optimal Discrete Control: Energy Management in Reactive Data-flow Circuits



Ö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.

Access the full-text of this item by clicking on the Open Access link.
[img] 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