Hybrid Systems: Computation and Control