Safety Verification of Hybrid Systems Using Barrier Certificates. - Prajna, Stephen; Jadbabaie, Ali (2004)