...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International journal of critical computer-based systems >A μ-calculus formulation of the diagnosability of discrete event systems
【24h】

A μ-calculus formulation of the diagnosability of discrete event systems

机译：离散事件系统可诊断性的微积分公式

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

摘要

Diagnosis is a crucial task in safety critical systems. In particular, diagnosability is the property ensuring that any failure can be determined within a finite delay. Early works on diagnosability of discrete event systems (DES) establish intermediary models from the analysed model and then call specific procedures to check diagnosablity based on these models, while some recent works try to give a diagnosability formulation as a model-checking problem. The present work attempts to contribute to this trend by developing a single framework able to handle both of the diagnosability issues: how to model the problem? and how to decide it? Namely, a generic operative formulation of diagnosability using the /^-calculus logic is established, which allows resolving the diagnosability issue within a single formalism. We also show how the developed formulation can be extended to deal with further diagnosability issues. Besides, using the same formulation, an online diagnosis algorithm is developed.
机译：在安全关键系统中，诊断是至关重要的任务。特别是，可诊断性是确保可以在有限的延迟内确定任何故障的属性。离散事件系统（DES）的可诊断性的早期工作是从分析的模型中建立中介模型，然后根据这些模型调用特定的程序来检查可诊断性，而最近的一些工作试图将可诊断性公式化为模型检查问题。本工作试图通过开发能够处理两个可诊断性问题的单一框架来为这一趋势做出贡献：如何对问题进行建模？以及如何决定？即，建立了使用/-演算逻辑的可诊断性的通用操作性表述，其允许在单一形式主义内解决可诊断性问题。我们还展示了如何扩展已开发的配方以应对进一步的可诊断性问题。此外，使用相同的公式，开发了一种在线诊断算法。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号