Safety verification of hybrid systems using barrier certificates. (2004)

by S PRAJNA, A JADBABAIE
Venue:In Proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control (HSCC’04).