This paper deals with the efficient on-line calculation of supervisory controls for discrete event systems (DES's) in the framework of limited lookahead control policies (or LLPs) that we introduced in previous papers. In the LLP scheme, the control action after a given trace of events has been executed is calculated on-line on the basis of anN-step ahead projection of the behavior of the DES. To compute these controls, one must calculate after the execution of each event the supremal controllable sublanguage of a finite language with respect to another finite larger language. In our previous work, we showed how the required supremal controllable sublanguage calculation can be performed by using a backward dynamic programming algorithm over the nodes of the tree representation of these two languages. In this paper, we pursue the same approach for the calculation of LLP controls, but instead we adopt a forward calculation procedure over theN-level tree of interest. This forward procedure improves upon previous work by avoiding the explicit consideration of all the nodes of theN-level tree, while still permitting tree-to-tree recursiveness as enabled events are executed by the system. The forward search ends whenever a control decision can be made unambiguously or whenever the boundary of theN-level tree is reached, whichever comes first. This motivates the name “Variable Lookahead Policy” (or VLP) for this implementation of the LLP supervisory control scheme. This paper presents a general VLP algorithm and studies the properties of several special cases of it. The paper also discusses the implementation of the VLP algorithms and presents computational results regarding the application of these algorithms to a “time-varying” DES.
[1]
S. Chung,et al.
Limited lookahead policies in supervisory control of discrete event systems
,
1992
.
[2]
Walter Murray Wonham,et al.
On observability of discrete-event systems
,
1988,
Inf. Sci..
[3]
Stéphane Lafortune,et al.
Recursive computation of limited lookahead supervisory controls for discrete event systems
,
1993,
Discret. Event Dyn. Syst..
[4]
P. Ramadge,et al.
On the supermal controllable sublanguage of a given language
,
1987
.
[5]
Stéphane Lafortune,et al.
Supervisory Control with Variable Lookahead Policies: Illustrative Example
,
1993
.
[6]
C. A. R. Hoare,et al.
Communicating sequential processes
,
1978,
CACM.
[7]
Pravin Varaiya,et al.
Algebras of discrete event models
,
1989
.
[8]
P. Ramadge,et al.
On the supremal controllable sublanguage of a given language
,
1984,
The 23rd IEEE Conference on Decision and Control.
[9]
S. L. Chung.
Supervisory control using variable lookahead policies, for discrete event systems
,
1994
.
[10]
W. M. Wonham,et al.
The control of discrete event systems
,
1989
.
[11]
P. Ramadge,et al.
Supervisory control of a class of discrete event processes
,
1987
.
[12]
Tadao Murata,et al.
Petri nets: Properties, analysis and applications
,
1989,
Proc. IEEE.