A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems.

Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin, Zhiming Liu

Browse the full FM paper archive.