CONTROLE SUPERVISÓRIO DE SISTEMAS A EVENTOS DISCRETOS COM AUTO-APROXIMAÇÕES

Abstract

Distinguidores e Aproximações têm sido usados na Teoria de Controle Supervisório de Sistemas a Eventos Discretos (SEDs), como forma de simplificar tarefas de modelagem e reduzir o esforço de síntese. Apesar das vantagens, supervisores obtidos a partir de modelos aproximados da planta de um SED podem ser subótimos, implicando na reconstrução da estrutura de modelagem até que o supervisor apropriado seja obtido. Este trabalho mostra como construir auto-aproximações que, por construção, garantem a obtenção de supervisores controláveis e minimamente restritivos. Exemplos ilustram a abordagem.