RSJD屏障证书

安全验证概率界

针对状态转换跳跃扩散过程，提出基于屏障证书的分解式安全验证方法，给出随T渐近衰减的失效概率上界。

Liu, Kairong · 佘志坤

Nonlinear Analysis: Hybrid Systems 2023

参数信息

SDP问题数量

2

技术优势

上界渐近衰减

远端失效概率上界随 T 增加指数衰减，可对任意长时段给出保守性逐渐降低的安全性保证。

更一般矩阵条件

使用一般非负矩阵代替由本质非负矩阵指数定义的特殊矩阵，扩大了方法的适用范围。

减少保守性

引入两个非负标量函数放宽无穷小生成元的条件，使上界更紧。

应用场景

• 安全关键控制系统：用于计算系统失效概率的上界，辅助确定安全关键控制策略。
• 随机混合系统验证：给出含切换与跳跃的随机混合系统安全性自动验证方法。
• 网络物理系统安全：为网络物理系统提供概率安全保证，评估攻击或故障下的失效风险。