文章基本信息

标题：Complexity reduction techniques for quantified diagnosability of stochastic systems
本地全文：下载
作者：Hugo Bazille ; Eric Fabre ; Blaise Genest 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2018
卷号：51
期号：7
页码：82-87
DOI：10.1016/j.ifacol.2018.06.283
语种：English
出版社：Elsevier
摘要：AbstractIn a discrete event stochastic system, the natural notion of diagnosability, called A-diagnosability, requires that each fault event is eventually detected with probability one. Several definitions of diagnosability degree have been derived from this notion. They examine the detection probability after a fault occurs. To check diagnosability and compute diagnosability degrees, one usually attaches to the original stochastic system the information of a so-called diagnoser, which is in general exponentially larger than the original system. In this paper, we show that the full complexity of such diagnosers is not necessary, and that one can rely on simpler systems, with up to an exponential gain in complexity.
关键词：Keywordsdiscrete event systemstochastic systemdiagnosability degreediagnoser