Controle supervisório hierárquico modular por agregação de estados

Abstract

This paper presents a model for the hierarchical modular control of discrete event systems based on state aggregation and classical modular control. A combination of the mentioned architectures is presented, and necessary and sufficient conditions are given such that the supervisor´s components designed individually when acting jointly over the plant lead to a nonblocking and consistent solution. RESUMOEste artigo apresenta um modelo para controle hierárquico modular de sistemas a eventos discretos baseado no controle hierárquico por agregação de estados e no controle modular clássico. Apresenta-se uma combinação das arquiteturas mencionadas, e são dadas condições necessárias e suficientes para que supervisores projetados individualmente sobre a planta quando atuando conjuntamente levem a uma solução consistente e não bloqueante. PALAVRAS-CHAVE: Sistemas a Eventos Discretos, Controle Supervisório, Controle Hierárquico, Controle ModularArtigo submetido em em 12/12/02 1a. Revisão em 03/10/03 Aceito sob recomendação do Ed. Assoc. Prof. Cairo L. Nascimento INTRODUÇÃOEm muitas áreas de aplicação, a complexidade dos processos incrementaram enormemente durante as ultimas décadas. Isto principalmente porque a integração entre as componentes dos processos cresce constantemente para permitir que os recursos sejam usados com mais eficiência. Os controles hierárquico e modular são uma opção para manipular problemas complexos através respectivamente da decomposição vertical e horizontal do problema em sub-problemas menores, para depois montar as suas soluções numa estrutura hierárquica e modular.O formalismo sobre controle hierárquico de Sistemas a Eventos Discretos (SEDs) foi introduzido por Zhong e Wonham (1990) formulado para especificações prefixo fechadas dentro do contexto de Ramadge e Wonham (1989). Na seqüen-cia foi estendido por Wong e Wonham (1996) permitindo a formulação do problema para linguagens com marcação. De outro ponto de vista, Caines e Hubbard (1998) desenvolveram uma abordagem para controle hierárquico por agregação de estados. Em (Torrico e Cury, 2002) foi introduzido um novo formalismo para o controle hierárquico de sistemas a eventos discretos envolvendo as abordagens mencionadas anteriormente em parceria com o novo modelo generalizado proposto em (Cury et al., 2001;Cury et al., 2004) para o controle de SEDs com estruturas de controle avançadas e marcação dinâmica associada. Em todas estas abordagens sobre controle hierárquico propõe-se uma hierarquia de dois níveis, um nível associado ao operador e um outro nível associado ao gerente.

Metodologia e ferramenta de apoio ao teste de não-conflito no controle modular de sistemas a eventos discretos

“…No controle hierárquico, abstrações são usadas como modelos para o nível gerencial (alto-nível), permitindo a síntese de leis de controle que satisfaçam especificações deste nível da estrutura hierár-quica de controle (Wong e Wonham, 1996), (Torrico e Cury, 2004), (Schmidt et al, 2004), (Leduc et al, 2005), (Cunha e Cury, 2007), (Schmidt et al, 2007), (Hill, Cury, de Queiroz e Tilbury, 2008). Nesse caso, o modelo de alto-nível esconde eventos que correspondem a detalhes operacionais do comportamento do sistema, não-relevantes no mundo gerencial.…”

Hierarchical Supervisory Control of Discrete Event Systems Based on State Aggregation

“…The proofs are omitted due to lack of space. Further information available in(Torrico and Cury, 2001) …”