Recursive computation of limited lookahead supervisory controls for discrete event systems

A study of limited lookahead policies in supervisory control of discrete event systems undertaken in a previous paper is continued. Online supervisory control using limited lookahead policies requires, after the execution of each event, the calculation of the supremal controllable sublanguage of a given language with respect to another larger language. These two languages are finite and represented by their tree generators, where one tree is a sub-tree of the other. These trees change dynamically from step to step, where one step is the execution of one event. It is shown how to perform this calculation in a recursive manner, in the sense that the calculation for a new pair of trees can make use of the calculation for the preceding pair, thus substantially reducing the amount of computation that has to be done online. In order to make such a recursive procedure possible from step to step, it is shown how the calculation for a single step (i.e. for a given pair of trees) can itself be performed recursively by means of a dynamic programming algorithm on the vertices of the larger tree.<<ETX>>

[1]  Stéphane Lafortune,et al.  Supervisory control using variable lookahead policies , 1993, 1993 American Control Conference.

[2]  S. Lafortune,et al.  On tolerable and desirable behaviors in supervisory control of discrete event systems , 1990, 29th IEEE Conference on Decision and Control.

[3]  Pravin Varaiya,et al.  Stochastic Systems: Estimation, Identification, and Adaptive Control , 1986 .

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

[5]  P. Ramadge,et al.  Modular Supervisory Control of Discrete Event Systems , 1988 .

[6]  John N. Tsitsiklis,et al.  On the control of discrete-event dynamical systems , 1987, 26th IEEE Conference on Decision and Control.

[7]  Stéphane Lafortune,et al.  A graph-theoretic optimal control problem for terminating discrete event processes , 1992, Discret. Event Dyn. Syst..

[8]  S. Chung,et al.  Limited lookahead policies in supervisory control of discrete event systems , 1992 .

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

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

[11]  Stéphane Lafortune,et al.  Recursive computation of limited lookahead supervisory controls for discrete event systems , 1993, Discret. Event Dyn. Syst..

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

[13]  K. Passino,et al.  On the optimal control of discrete event systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[14]  Walter Murray Wonham,et al.  On observability of discrete-event systems , 1988, Inf. Sci..