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 条

[1]

Buss S. R., 1991, Complex Systems, V5, P525

[2] THE PREDICTABILITY OF DISCRETE EVENT SYSTEMS [J].

CAO, XR .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1989, 34 (11) :1168-1171

[3]

CHASE C, 1990, P 5 IEEE INT S INT C

[4]

Das S. K., 1995, MASCOTS '95. Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (Cat. No.95TH8028), P66, DOI 10.1109/MASCOT.1995.378708

[5]

DECLERCK P, 1998, WORKSH DISCR EV SYST

[6]

Fadel H. K., 1999, Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014), P150, DOI 10.1109/ISIC.1999.796646

[7]

FEILER PH, 2000, IMPROVING PREDICTABI

[8]

GENC S, 2006, THESIS U MICHIGAN

[9]

GENC S, 2006, 45 IEEE C DEC CONTR

[10]

GENC S, 2008, 3 ANN S INF ASS ASIA

← 1 2 3 →