An Introduction to Hybrid Dynamical Systems