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

fYear

2010

fDate

29-31 July 2010

Firstpage

1483

Lastpage

1487

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Control Conference (CCC), 2010 29th Chinese

Conference_Location

Beijing

Print_ISBN

978-1-4244-6263-6

Type

conf

Filename

5573650