An algorithmic approach to global asymptotic stability verification of hybrid systems.

Pavithra Prabhakar, Miriam Garcia Soto

Browse the full EMSOFT paper archive.