Hybrid dynamical systems ([b.n.], 2012)