Qualitative Theory of Hybrid Dynamical Systems by