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

Distinguidores e Aproximacoes tem sido usados na Teoria de Controle Supervisorio de Sistemas a Eventos Discretos (SEDs), como forma de simplificar tarefas de modelagem e reduzir o esforco de sintese. Apesar das vantagens, supervisores obtidos a partir de modelos aproximados da planta de um SED podem ser subotimos, implicando na reconstrucao da estrutura de modelagem ate que o supervisor apropriado seja obtido. Este trabalho mostra como construir auto-aproximacoes que, por construcao, garantem a obtencao de supervisores controlaveis e minimamente restritivos. Exemplos ilustram a abordagem.