Hybrid Dynamical Systems: Theory and Applications