Hybrid Dynamical Systems: Modeling, Stability, and Robustness