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