optimal control of switched systems via nonlinear optimization based on direct di erentiations of value functions .
A Unified Framework for Hybrid Control: Model and Optimal Control Theory