论文信息 - Dealing with blocking in supervisory control of discrete event systems

Dealing with blocking in supervisory control of discrete event systems

A study is made of the supervisory control of discrete-event systems where blocking is unavoidable or nonblocking solutions do not yield good performance. The authors consider strategies to improve the performance of a given blocking supervisor. Performance is characterized in terms of a satisfying measure (how much of the legal marked behavior is achieved) and a blocking measure (how often the execution of legal unmarked strings is blocked). Techniques are presented for improving each of these conflicting measures.<<ETX>>

Stéphane Lafortune | E. Chen

[1] Rhonda Righter,et al. Distributed simulation of discrete event systems , 1989, Proc. IEEE.

[2] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .

[3] Christos H. Papadimitriou,et al. The Theory of Database Concurrency Control , 1986 .

[4] P. Ramadge. Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata , 1989 .

[5] W. M. Wonham,et al. The control of discrete event systems , 1989 .

[6] W. M. Wonham,et al. Modular supervisory control of discrete-event systems , 1988, Math. Control. Signals Syst..

[7] R. D. Brandt,et al. Formulas for calculating supremal controllable and normal sublanguages , 1990 .

[8] Enke Chen,et al. On Controllable Languages in Supervisory Control of Discrete Event Systems , 1990 .

[9] Stéphane Lafortune,et al. The infimal closed controllable superlanguage and its application in supervisory control , 1990 .

[10] Stéphane Lafortune. Modeling and analysis of transaction execution in database systems , 1988 .

[11] P. Ramadge,et al. On the supremal controllable sublanguage of a given language , 1984, The 23rd IEEE Conference on Decision and Control.

[12] P. Ramadge,et al. On the supermal controllable sublanguage of a given language , 1987 .

[13] David Jefferson,et al. Fast Concurrent Simulation Using the Time Warp Mechanism. Part I. Local Control. , 1982 .