机构

• 沈阳自动化研究所 [2]
• 数学与系统科学研究院 [1]
• 软件研究所 [1]

采集方式

• OAI收割 [4]

内容类型

• 期刊论文 [3]
• 会议论文 [1]

发表日期

• 2017 [2]
• 2014 [2]

学科主题

筛选

浏览/检索结果: 共4条，第1-4条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates 期刊论文  OAI收割 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 卷号: 16, 页码: 19 作者:  Huang, Chao;  Chen, Xin;  Lin, Wang;  Yang, Zhengfeng;  Li, Xuandong   |  收藏  |  浏览/下载：15/0  |  提交时间：2018/07/30 Stochastic hybrid systems  safety verification  barrier certificate   SIL verification for SRS with diverse redundancy based on system degradation using reliability block diagram 期刊论文  OAI收割 Reliability Engineering and System Safety, 2017, 卷号: 165, 页码: 170-187 作者:  Ding L(丁龙);  Wang H(王宏);  Jiang, Jin;  Xu AD(徐皑冬) 收藏  |  浏览/下载：59/0  |  提交时间：2017/05/01 Functional safety  SIL verification  Diverse redundancy  System degradation  MooN(D) voting group  RBD   Denial-of-service security attack in the continuous-time world 会议论文  OAI收割 34th IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2014 - Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3, 2014 - June 5, 2014 Wang, Shuling (1); Nielson, Flemming (2); Nielson, Hanne Riis (2)   |  收藏  |  浏览/下载：28/0  |  提交时间：2014/12/16 Hybrid systems  Denial-of-service  Safety verification  Inference system   A novel method for SIL Verification based on system degradation using reliability block diagram 期刊论文  OAI收割 RELIABILITY ENGINEERING & SYSTEM SAFETY, 2014, 卷号: 132, 页码: 36-45 作者:  Ding L(丁龙);  Wang H(王宏);  Kang K(康凯);  Wang K(王锴) 收藏  |  浏览/下载：42/0  |  提交时间：2014/12/29 Functional safety  SIL verification  System degradation  RBD  IEC 61508  IEC 61131-6