An introduction to hybrid system modeling, analysis, and control