Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego.

Waheed Ahmad Jaco van de Pol

Published in: ISoLA (1) (2016)

Keyphrases

controller synthesis
control system
model checking
optimal control
minimum energy
energy consumption
reinforcement learning
optimal solution
dynamic programming