|
Abstract:
|
Este trabalho traz uma série de contribuições à teoria de controle supervisório de Sistemas a Eventos Discretos (SEDs), particularmente ao controle hierárquico. No controle hierárquico de SEDs, a arquitetura de controle é decomposta em níveis hierarquicamente relacionados, cada um tratando de um aspecto distinto do problema de controle. Consistência hierárquica entre todos os pares de níveis consecutivos é o requisito fundamental para o funcionamento correto de uma hierarquia de controle. Apresenta-se uma nova classe de SEDs dotados de controle, chamados SEDs com marcação flexível, com o objetivo de se representar adequadamente os aspectos que surgem quando da abstração de um SED para o controle hierárquico. Propõe-se uma nova abordagem para o controle hierárquico de SEDs, baseada nos SEDs com marcação flexível, onde garante-se consistência hierárquica por construção e sem levar em conta nenhuma das condições impostas pelas outras abordagens da literatura. Na direção do tratamento de sistemas de maior porte e realistas, propõe-se um método fundamentado no raciocínio supor-garantir para construção da hierarquia de controle para SEDs compostos, que são sistemas formados por diversos subsistemas componentes. Uma ferramenta foi desenvolvida para implementação computacional dos modelos e algoritmos propostos. Aplicações baseadas em sistemas de controle reais são apresentadas: uma célula flexível de manufatura e um sistema de piloto automático para um automóvel. |
