Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems. - Henning Burchardt; Jens Oehlerking; Oliver E. Theel (PRDC, 2005)

Towards automatic verification of affine hybrid system stability. - Jens Oehlerking; Henning Burchardt; Oliver E. Theel (SIGBED Rev., 2005)

Fully Automated Stability Verification for Piecewise Affine Systems. - Jens Oehlerking; Henning Burchardt; Oliver E. Theel (HSCC, 2007)