Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates
文献类型：期刊论文
| 作者 | Huang, Chao1; Chen, Xin1; Lin, Wang2,4; Yang, Zhengfeng3; Li, Xuandong1 |
| 刊名 | ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
 |
| 出版日期 | 2017-10-01 |
| 卷号 | 16页码:19 |
| 关键词 | Stochastic hybrid systems safety verification barrier certificate |
| ISSN号 | 1539-9087 |
| DOI | 10.1145/3126508 |
| 英文摘要 | The problem of probabilistic safety verification of stochastic hybrid systems is to check whether the probability that a given system will reach an unsafe region from certain initial states can be bounded by some given probability threshold. The paper considers stochastic hybrid systems where the behavior is governed by polynomial equalities and inequalities, as for usual hybrid systems, but the initial states follow some stochastic distributions. It proposes a new barrier certificate based method for probabilistic safety verification which guarantees the absolute safety in a infinite time horizon that is beyond the reach of existing techniques using either statistical model checking or probabilistic reachable set computation. It also gives a novel computational approach, by building and solving a constrained optimization problem coming from verification conditions of barrier certificates, to compute the lower bound on safety probabilities which can be compared with the given threshold. Experimental evidence is provided demonstrating the applicability of our approach on several benchmarks. |
| 资助项目 | National Natural Science Foundation of China[61632015] ; National Natural Science Foundation of China[61561146394] ; National Natural Science Foundation of China[61602348] ; National Natural Science Foundation of China[11471209] ; Shanghai Natural Science Foundation[17ZR1408300] ; China Scholarship Council[201606190185] |
| WOS研究方向 | Computer Science |
| 语种 | 英语 |
| WOS记录号 | WOS:000414353800069 |
| 出版者 | ASSOC COMPUTING MACHINERY |
| 源URL | [http://ir.amss.ac.cn/handle/2S8OKBNM/26895]  |
| 专题 | 中国科学院数学与系统科学研究院 |
| 通讯作者 | Yang, Zhengfeng |
| 作者单位 | 1.Nanjing Univ, State Key Lab Novel Software Technol, Nanjing 210023, Jiangsu, Peoples R China 2.Acad Mil Med Sci, Key Lab Math Mechanizat, Beijing, Peoples R China 3.East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China 4.Chinese Acad Sci, Acad Math & Syst Sci, Key Lab Math Mechanizat, Beijing 100190, Peoples R China |
| 推荐引用方式 GB/T 7714 | Huang, Chao,Chen, Xin,Lin, Wang,et al. Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates[J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS,2017,16:19. |
| APA | Huang, Chao,Chen, Xin,Lin, Wang,Yang, Zhengfeng,&Li, Xuandong.(2017).Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates.ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS,16,19. |
| MLA | Huang, Chao,et al."Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates".ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS 16(2017):19. |
入库方式： OAI收割
来源：数学与系统科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。