State observation and diagnosis of discrete-event systems described by stochastic automata

被引：60

作者：

Lunze, J ^{[1
]}

Schröder, J ^{[1
]}

机构：

[1] Tech Univ Hamburg, D-21071 Hamburg, Germany

来源：

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS | 2001年 / 11卷 / 04期

关键词：

state observation; diagnosis; stochastic automata; diagnosability; observability;

D O I：

10.1023/A:1011273108731

中图分类号：

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

学科分类号：

0812 ;

摘要：

The problems ofstate observation and diagnosis are solved for discrete-event systems, which are described by stochastic automata. As many systems are not observable in the sense that it is possible to reconstruct the state unambiguously, the observation problem is set up as the problem of determining the smallest possible set of states that are compatible with the measured input and output sequences. The diagnostic problem is shown to be, in principle, an observation problem. Conditions for the observability and diagnosability of stochastic automata are presented. The results are illustrated by examples.

引用

页码：319 / 369

页数：51

共 23 条

[1] Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets [J].

Aghasaryan, A ;

Fabre, E ;

Benveniste, A ;

Boubour, R ;

Jard, C .

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1998, 8 (02) :203-231

[2]

Bukharaev R. G., 1995, THEORIE STOCHASTISCH

[3] Why event observation: Observability revisited [J].

Cao, CW ;

Lin, F ;

Lin, ZH .

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1997, 7 (02) :127-149

[4]

CARLYLE JW, 1965, DES IEEE NEW YORK

[5]

Cassandras C. G., 2009, Introduction to discrete event systems, V2nd, DOI 10.1007/978-3-030-72274-6

[6]

Hamscher W., 1992, READINGS MODEL BASED

[7]

LICHTENBERG G, 1997, QUALITATIVE MODELLIN

[8] ON OBSERVABILITY OF DISCRETE-EVENT SYSTEMS [J].

LIN, F ;

WONHAM, WM .

INFORMATION SCIENCES, 1988, 44 (03) :173-198

[9]

LIN F, 1994, J DEDS, V4, P197

[10] On the Markov property of quantised state measurement sequences [J].

Lunze, J .

AUTOMATICA, 1998, 34 (11) :1439-1444

← 1 2 3 →