Slide 1 Controller Synthesis for Discrete and Timed Systems Stavros Trypakis (joint work with Karine Altisen) Slide 2 Controller Synthesis Given a controller embedded in…