Abstract: Abstraction is a dominant approach for verification of hybrid systems; rectangular phase-portrait approximation is to construct simpler linear hybrid automaton to over-approximate the original automaton. The key procedure of phase-portrait approximation i

Key words: Hybrid automaton,Phase-portrait approximation,Lie-derivative