Static scheduling of synchronous data flow programs for digital signal processing
IEEE Transactions on Computers
Real-time dynamic voltage scaling for low-power embedded operating systems
SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles
Reconfigurable computing: a survey of systems and software
ACM Computing Surveys (CSUR)
The Complexity of Mean Payoff Games
COCOON '95 Proceedings of the First Annual International Conference on Computing and Combinatorics
From max-plus algebra to nonexpansive mappings: a nonlinear theory for discrete event systems
Theoretical Computer Science
Frame-based dynamic voltage and frequency scaling for a MPEG decoder
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Asymptotic Analysis of Heaps of Pieces and Application to Timed Petri Nets
PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
Optimal scheduling using priced timed automata
ACM SIGMETRICS Performance Evaluation Review
How to solve large scale deterministic games with mean payoff by policy iteration
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Automated bottleneck-driven design-space exploration of media processing systems
Proceedings of the Conference on Design, Automation and Test in Europe
Worst-case performance analysis of synchronous dataflow scenarios
CODES/ISSS '10 Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Synchronous dataflow scenarios
ACM Transactions on Embedded Computing Systems (TECS)
Iteration-Based Trade-Off Analysis of Resource-Aware SDF
DSD '11 Proceedings of the 2011 14th Euromicro Conference on Digital System Design
Optimal strategies in priced timed game automata
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
Parameterized dataflow modeling for DSP systems
IEEE Transactions on Signal Processing
A Model-Based Approach to Cognitive Radio Design
IEEE Journal on Selected Areas in Communications
On using game theory to optimize the rate control in video coding
IEEE Transactions on Circuits and Systems for Video Technology
A note on the approximation of mean-payoff games
Information Processing Letters
Hi-index | 0.00 |
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.