We call a hybrid system stable if every trajectory inevitably
  ends up in a given region. In this talk, I present
  a model checking algorithm for stability.  The idea
  of the algorithm is to reduce the stability proof for the whole
  system to a set of (smaller) proofs for several one-mode systems.