Hybrid Systems: Computation and Control (Springer Berlin Heidelberg, 2020)