Variable refinement on semi-algebraic flow event structure

In the paper a new semi-algebraic flow event structure was proposed that is described for the semi-algebraic hybrid system. Then we defined the variable refinement on semi-algebraic flow event structure, and use the semi-algebraic flow event structure as the semantic domain. Lastly use a case to study the semantic refinement of the semi-algebraic hybrid system.