An Introduction to Hybrid Dynamical Systems (Lecture Notes in Control and Information Sciences, 251, Band 251)