Hybrid systems are reactive systems that intermix discrete and continuous components. Usually, the continuous components are modeled by differential equations, while the discrete components are modeled by discrete event systems or automata. Several important formal models for specifying hybrid systems are introduces, and a new computational model of hybrid systems hybrid transition system(HTS) is presented by extends fair transition systems(FTS).
