Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming | IEEE Journals & Magazine | IEEE Xplore