Contribuições ao problema de controle supervisório de sistemas a eventos discretos parametrizáveis e não-regulares

Abstract

Esta tese apresenta um modelo para sistemas a eventos discretos no qual a planta consiste de um Sistema de Transiçao de Estados equipado com uma colecao de dados. A coleçao de dados introduz variaveis cujos valores sao atualizados por opera¸coes comandadas pelas transicoes discretas do Sistema de Transicao de Estados. As especificacoes de comportamentos desejaveis consistem de predicados relacionados as ocorrencias dos eventos. O supervisor, baseado na sequencia de eventos ocorrida no passado, controla a evolucao do sistema atraves da habilitaçao de eventos. A decisao da habilitacao de eventos decorre da avaliaçao de predicados computados a partir da especificacao de comportamentos desejaveis. Um metodo para a sintese de supervisores atendendo uma especificaçao atraves de um controle minimamente restritivo e apresentado. As principais caracteristicas do framework apresentado sao a possibilidade da captura de comportamentos nao-regulares e a construçao de modelos parametrizados os quais conduzem a solucoes genericas para uma dada classe de problemas.