An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences 251