Playing games with scenario- and resource-aware SDF graphs through policy iteration

The two-player mean-payoff game is a well-known game theoretic model that is widely used, for instance in economics and control theory. For controller synthesis, a controller is modeled as a player while the environment, or plant, is modeled as the opponent player (adversary). Synthesizing an optima...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of the Conference on Design, Automation and Test in Europe pp. 194 - 199
Main Authors: Yang, Yang, Geilen, Marc, Basten, Twan, Stuijk, Sander, Corporaal, Henk
Format: Conference Proceeding
Language:English
Published: San Jose, CA, USA EDA Consortium 12.03.2012
Series:ACM Conferences
Subjects:
Computing methodologies > Artificial intelligence > Control methods
Computing methodologies > Artificial intelligence > Control methods > Computational control theory
Hardware > Electronic design automation > Physical design (EDA)
Hardware > Hardware validation
synchronous dataflow
maxplus algebra
policy iteration
game theory
ISBN:3981080181, 9783981080186
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The two-player mean-payoff game is a well-known game theoretic model that is widely used, for instance in economics and control theory. For controller synthesis, a controller is modeled as a player while the environment, or plant, is modeled as the opponent player (adversary). Synthesizing an optimal controller that satisfies a given criterion corresponds to finding a winning strategy for the controller player. Emerging streaming applications (audio, video, communication, etc.) for embedded systems exhibit both input sensitive and controller sensitive runtime behavior, where the controller's role is run-time management or scheduling. Embedded controllers need to be optimized for dynamic inputs, while guaranteeing throughput constraints. In this paper, we consider this design task for scenario- and resource-aware dataflow graphs that model streaming applications. Scenarios in these models capture classes of dynamic environment behavior. We demonstrate how to model and solve the controller synthesis problem by constructing a winning strategy in a two-player mean payoff throughput game.
ISBN:3981080181
9783981080186
DOI:10.5555/2492708.2492758