IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2018 / 11 Vol. 37; Iss. 11
![](/img/cover-not-exists.png)
Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming
Zhang, Yifan, Yang, Zhengfeng, Lin, Wang, Zhu, Huibiao, Chen, Xin, Li, XuandongVolume:
37
Language:
english
Journal:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
DOI:
10.1109/TCAD.2018.2858383
Date:
November, 2018
File:
PDF, 615 KB
english, 2018