Logic-based methods for optimal control of hybrid systems