Modeling and Analysis of Dynamic Systems