Controller Synthesis for Performance

TBD