Hybrid Dynamical Systems