CONTROLE SUPERVIS´ORIO DE SISTEMAS A EVENTOS DISCRETOS COM AUTO-APROXIMA¸C˜OES

Abstract

Distinguidores e Aproximações tem sido usados na Teoria de Controle Supervisório (TCS) 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 subo timos, implicando na reconstrução da estrutura de modelagem até que o supervisor apropriado seja obtido. Este trabalho mostra como construir auto-aproxima¸c˜oes que, por construção, garantem a obtenção de supervisores controláveis e minimamente restritivos. Exemplos ilustram a abordagem.