Optimal Control Using Bisimulations

We consider the synthesis of optimal controls for continuousfeedback systems by recasting the problem to a hybrid optimal controlproblem which is to synthesize optimal enabling conditions for switchingbetween locations in which the control is constant. We provide a singlepassalgorithm to solve the dynamic programming problem that arises,with added constraints to ensure non-Zeno trajectories.