Recursive computation of limited lookahead supervisory controls for discrete event systems
S.-L. Chung, Stéphane Lafortune, F. Lin · 2005
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.>