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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Proceedings of the Conference on Design, Automation and Test in Europe s. 194 - 199
Hlavní autoři: Yang, Yang, Geilen, Marc, Basten, Twan, Stuijk, Sander, Corporaal, Henk
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: San Jose, CA, USA EDA Consortium 12.03.2012
Edice:ACM Conferences
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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