[IEEE 2017 36th Chinese Control Conference (CCC) - Dalian, China (2017.7.26-2017.7.28)] 2017 36th Chinese Control Conference (CCC) - A heuristical method for safety verification of nonlinear continuous systems
Li, Wang; Yang, Lu; Yu, Wensheng
- 作者Li, Wang; Yang, Lu; Yu, Wensheng
- 文件大小381.29KB
- 发表时间2017
- DOI10.23919/ChiCC.2017.8027719
- 页码2409-2414