abstraction refinement, hybrid system, model checking, Quantitative abstractions, stability analysis.