nextuppreviouscontents
Next:Hierarchical Hybrid Control Systems Up:Discrete and Hybrid Systems Previous:Hierarchically Accelerated Dynamic Programming

Hierarchical Supervisory Control Theory

In this work we present a hierarchical control theory for supervisory automata based on state aggregation. Conditions are determined on state partitions which ensure that the control of transitions between blocks in a high-level (i.e. aggregated) model, combined with local state - dependent controls, is effective in the sense of achieving specifications given either for the high-level model or for the low-level system. A design methodology is proposed for the construction of the necessary partitions. We show this formulation of hierarchical supervision satisfies the consistency conditions in the existing language-based hierarchical supervisory control theory. Examples are presented including a material transfer line with re-entrant flow and a double queue.

P. Hubbard, P.E. Caines
 


Annual Report

Mon Jun 26 21:22:20 GMT 2000