基于随机障碍验证的随机连续系统安全性验证
沈敏捷, 曾振柄, 林望, 杨争峰
Safety verification of stochastic continuous system using stochastic barrier certificates
SHEN Minjie, ZENG Zhenbing, LIN Wang, YANG Zhengfeng
计算机应用
.
2018, (6): 1737
-1744
.
DOI: 10.11772/j.issn.1001-9081.2017112824
