Chinese | English

Search in the results

CSpace

Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates 期刊论文
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 卷号: 16, 页码: 19
Authors:  Huang, Chao;  Chen, Xin;  Lin, Wang;  Yang, Zhengfeng;  Li, Xuandong
Favorite  |  View/Download：87/0  |  Submit date：2018/07/30
Stochastic hybrid systems  safety verification  barrier certificate  
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 7, 页码: 623-639
Authors:  Su, Guoxin;  Feng, Yuan;  Chen, Taolue;  Rosenblum, David S.
Favorite  |  View/Download：71/0  |  Submit date：2018/07/30
Asymptotic perturbation bound  discrete-time Markov chain  numerical iteration  optimization  parametric Markov chain  perturbation analysis  probabilistic model checking  quadratic programming