Safety verification of semi-algebraic dynamical systems via inductive invariant
Hui Kong,, Fei He,, Xiaoyu Song,, Ming Gu,, Hongyan Tan,, Jiaguang Sun,Volume:
19
Language:
english
Journal:
Tsinghua Science and Technology
DOI:
10.1109/tst.2014.6787375
Date:
April, 2014
File:
PDF, 633 KB
english, 2014