Verifying Positivity of Piecewise Quadratic Lyapunov Functions.

Sigurdur F. Hafstein, Eggert Karl Hafsteinsson

Browse the full ICINCO paper archive.