![](/img/cover-not-exists.png)
Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation
Yang, Zhengfeng, Lin, Wang, Wu, MinVolume:
14
Language:
english
Journal:
ACM Transactions on Embedded Computing Systems
DOI:
10.1145/2629424
Date:
January, 2015
File:
PDF, 321 KB
english, 2015