...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE transactions on automation science and engineering >Polynomial Test for Stochastic Diagnosability of Discrete-Event Systems
【24h】

Polynomial Test for Stochastic Diagnosability of Discrete-Event Systems

机译：离散事件系统随机诊断性的多项式检验

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Two types of diagnosability of stochastic discrete-event systems (DESs) were introduced by Thorsley in 2005, where a necessary and sufficient condition for Strong Stochastic (SS)-Diagnosability (referred as A-diagnosability by Thorsley and Teneketzis, 2005), and a sufficient condition for Stochastic (S)-Diagnosability (referred as AA-diagnosability by Thorsley and Teneketzis, 2005), both with exponential complexity, were reported. In this paper, we present polynomial complexity tests for checking: (i) necessity and sufficiency of SS-Diagnosability; (ii) sufficiency of S-Diagnosability; and (iii) sufficiency as well as necessity of S-Diagnosability; the latter requires an additional notion of probabilistic equivalence. Thus, the work presented improves the accuracy as well as the complexity of verifying stochastic diagnosability.
机译：Thorsley 在2005年引入了两种随机离散事件系统（DES）的可诊断性，其中强随机（SS）-可诊断性的必要和充分条件（Thorsley和Teneketzis，2005年称为A-可诊断性） ），并报道了随机（S）可诊断性的充分条件（Thorsley和Teneketzis，2005年称为AA可诊断性），两者均具有指数复杂性。在本文中，我们提出多项式复杂度检验以检查：（i）SS可诊断性的必要性和充分性； （ii）S-可诊断性是否足够； （iii）S诊断的充分性和必要性；后者需要附加的概率等效概念。因此，提出的工作提高了验证随机诊断性的准确性以及复杂性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号