15th Triennial World Congress of the International Federation of Automatic Control
  Barcelona, 21–26 July 2002 
HIERARCHICALLY CONSISTENT CONTROLLED DISCRETE EVENT SYSTEMS
Antonio E. C. da Cunha*,1 José E. R. Cury**,2
* Departamento de Engenharia Elétrica
Instituto Militar de Engeharia
Pr. Gen Tibúrcio 80 – 22.290-270 – Rio de Janeiro – RJ – Brasil
1 aecc@das.ufsc.br
** Departamento de Automação e Sistemas
Universidade Federal de Santa Catarina
Caixa Postal 470 – 88040-001 – Florianópolis – SC – Brasil
2 cury@das.ufsc.br

In the hierarchical control of discrete event systems (DES), the hierarchical consistency expresses the requirement that a control task is solvable within the model at a given level if it is in fact executable by the infrastructure one level down. In this paper we present a method for construction of a two level hierarchy of DES with hierarchical consistency. By application of a generalized model for controlled DES for the high level system, hierarchical consistency is obtained directly with no refinement of the hierarchy. This approach makes itself distinct from other approaches for hierarchical control for that they all add complexity by refining the the hierarchy to ensure hierarchical consistency.
Keywords: Discrete-Event Dynamic Systems, Hierarchical Control, Consistency
Session slot T-We-M21: Posters of Modelling, Identification and Discrete Systems/Area code 3c : Discrete Event Dynamic Systems