Safety verification of hybrid systems using barrier certificates (2004)

by S Prajna, A Jadbabaie
Venue:in Proc. of HSCC