Title :
Rectangular refinement of affine hybrid systems based on qualitative reasoning
Author :
Liu Bao-Luo ; Lei Meng ; Pei Hai-long
Author_Institution :
Dept. of Comput. & Inf. Eng., Luoyang Inst. of Sci. & Technol., Luoyang, China
Abstract :
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.
Keywords :
affine transforms; automata theory; iterative methods; Lie-derivative; affine hybrid automata; affine hybrid systems; failure set; iterative refinement; mode partition; phase-portrait approximation; phase-portrait approximation refinement; qualitative reasoning; qualitative-reasoning refinement; quality reasoning; rectangular refinement; refined linear expressions; vector field; verification efficiency; Algorithm design and analysis; Approximation methods; Automata; Automation; Cognition; Control systems; Electronic mail; Affine Hybrid Automata; Phase-portrait Approximation; Time Simulation;
Conference_Titel :
Control Conference (CCC), 2010 29th Chinese
Conference_Location :
Beijing
Print_ISBN :
978-1-4244-6263-6
