Systems safety verification by boundary variation analysis

In this paper we consider the safety verification problems. we calculate an conformal transformation from the given the initial region to the outer of the un-safety region, by use that variable transformation to the differential equations, we obtain a new differential equations that on its vector field, the trajectory from the initial region will not enter the un-safety region.