Hybrid dynamical systems