A hybrid bellman equation for bimodal systems. Hybrid systems: Computation and control - Caines, Peter E.; Egerstedt, Magnus; Malhamé, Roland P.; Schöllig, Angela (Hybrid Systems: Computation and Control, LNCS 4416, 2007)