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

|