Equivalences in Variables Refinement for Differential Semi-algebraic Hybrid Systems

Abstract

Differential semi-algebra hybrid system is a new formalized hybrid system model; it is widely used in engineering technology. In this paper we proposed differential semi-algebraic event structure as the system model, and then build the variables refinement theory of differential semi-algebraic hybrid system. Based on the various equivalence relationship, we researched the keeping equivalence after variables refinement.