Hybrid System Modeling