Predictability of event occurrences in partially-observed discrete-event systems

被引：102

作者：

Genc, Sahika ^{[1
]}

Lafortune, Stephane ^{[2
]}

机构：

[1] Gen Elect Global Res Ctr, Niskayuna, NY 12309 USA

[2] Univ Michigan, Ann Arbor, MI 48109 USA

来源：

AUTOMATICA | 2009年 / 45卷 / 02期

关键词：

Discrete-event systems; Prediction; Diagnosis; DIAGNOSIS; DIAGNOSABILITY;

D O I：

10.1016/j.automatica.2008.06.022

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper studies the problem of predicting occurrences of a significant event in a partially-observed discrete-event system. The predictability of occurrences of an event in a system is defined in the context of formal languages. The predictability of a language is a stronger condition than the diagnosability of the language. Two necessary and sufficient conditions for predictability of occurrences of an event in systems modeled by regular languages are presented. Both conditions can be algorithmically tested. The first condition employs diagnosers. The second condition employs verifiers and results in a polynomial-time (in the number of states) complexity test for verification of predictability. When predictability holds, diagnosers can be used online to predict the significant event. (C) 2008 Elsevier Ltd. All rights reserved.

引用

页码：301 / 311

页数：11

共 23 条

[21] DIAGNOSABILITY OF DISCRETE-EVENT SYSTEMS [J].