Controle supervisório hierárquico de sistemas a eventos discretos: uma abordagem baseada na agregação de estados

Abstract

Este trabalho introduz um novo modelo para controle supervisório de Sistemas a Eventos Discretos, onde o sistema é representado por uma linguagem prefixo fechada e uma estrutura de controle dependente das cadeias com marcação dinâmica associada. Este modelo mostra-se apropriado para modelagem e controle de sistemas num alto nível de abstração. Baseado nesta abordagem propõe-se um novo modelo para controle supervisório hierárquico por agregação de estados. O modelo consiste de dois níveis de hierarquia, um baixo nível representado pelo modelo clássico de Ramadge-Wonham e um alto nível obtido pela agregação dos seus estados. Neste modelo, os eventos do alto nível são um subconjunto dos eventos de baixo nível, mas para síntese do controlador, este nível será dotado de estruturas de controle avançadas. Posteriormente, o modelo de controle hierárquico por agregação de estados foi utilizado para integração com o 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.