Rectangular refinement of affine hybrid systems based on qualitative reasoning

The core of phase-portrait approximation refinement of affine hybrid systems is the efficient partition of the control model. In this paper, rectangular refinement based on quality reasoning is proposed, an approach for mode partition is presented based on failure set, the characteristic of vector field, interesting linear expressions and their Lie-derivative, and a method for the iterative refinement based on the refined linear expressions is also given. Experiment shows that phase-portrait approximation based on qualitative-reasoning refinement distinctly enhances the verification efficiency.