Supervisory control of probabilistic discrete-event systems with recovery

被引：20

作者：

Li, YH ^{[1
]}

Lin, F

Lin, ZH

机构：

[1] Wayne State Univ, Dept Elect & Comp Engn, Detroit, MI 48202 USA

[2] Jiao Tong Univ, VLSI Res Inst, Shanghai 200030, Peoples R China

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 1999年 / 44卷 / 10期

关键词：

containment; controllability; discrete-event systems; observability; probability;

D O I：

10.1109/9.793788

中图分类号：

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

学科分类号：

0812 ;

摘要：

The authors discuss supervisory control of probabilistic discrete-event systems in this paper. Supervisors for such systems will take probabilities of event occurrences into consideration in making control decisions. The authors introduce a new concept called "epsilon-containment of a given language" and subsequently study its algebraic properties. They discuss standard supervisor (with only enablement/disablement) synthesis problems and reset supervisor (with recovery mechanism) synthesis problems for both fully observed and partially observed systems.

引用

页码：1971 / 1975

页数：5

共 17 条

[1] Model-checking of real-time systems: A telecommunications application - Experience report [J].

Alur, R ;

Jagadeesan, LJ ;

Kott, JJ ;

VonOlnhausen, JE .

PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1997, :514-524

[2]

GAL A, 1995, STRUCT COMPL TH CONF, P65, DOI 10.1109/SCT.1995.514728

[3] A probabilistic language formalism for stochastic discrete-event systems [J].

Garg, VK ;

Kumar, R ;

Marcus, SI .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1999, 44 (02) :280-293

[4] Discrete-event control of nondeterministic systems [J].

Heymann, M ;

Lin, F .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (01) :3-17

[5]

LAFORTUNE S, 1990, PROCEEDINGS OF THE 29TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, P3434, DOI 10.1109/CDC.1990.203436

[6]

LAWFORD M, 1993, PROCEEDINGS OF THE 36TH MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1 AND 2, P327, DOI 10.1109/MWSCAS.1993.343043

[7]

LI Y, 1988, PROCEEDINGS OF THE 22ND CONFERENCE ON INFORMATION SCIENCES AND SYSTEMS, VOLS 1 & 2, P57

[8]

LI Y, 1998, INT J INTELLIGENT CO, V2, P139

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

LIN, F ;

WONHAM, WM .

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

[10]

LIN F, 1990, SIAM C CONTR 1990S S

← 1 2 →