An introduction to hybrid dynamical systems | doi.page