Title: Hybrid Systems : Computation and Control