Logic-based solution methods for optimal control of hybrid systems | IEEE Journals & Magazine | IEEE Xplore