标签：概率 Run CMI 验证 不精确性 Presence 系统 随机

Abstract

背景：

1. 验证随机系统在达到平衡时是否处于某种状态具有重要的应⽤。例如，对安全关键系统的⻓期行为进行概率验证，使评估⼈员能够随时检查它是否以⾜够⾼的概率接受⼈⼯中⽌命令。
2. 现有的概率验证器并未考虑模型中概率参数的不精确性

本文：

1. 提出了概率验证技术
   解释了随机系统⻓期属性验证的不稳定性
2. 提出了⼀个对离散时间⻢尔可夫链的平稳分布进行渐近分析的数学框架，不对扰动的分布做任何假设。具体来说，在给定随机系统⼀定程度的不确定性的情况下，我们的新技术计算了⻓期概率的上下界

标签：概率,Run,CMI,验证,不精确性,Presence,系统,随机
来源： https://www.cnblogs.com/xuesu/p/16339957.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。