Proving Asymptotic Stability with LaSalle's Invariance Principle: On the Automatic Computation of Invariant Sets Using Quantifier Elimination.

Daniel Gerbet, Klaus Rbenack

Browse the full CoDIT paper archive.