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

DSpace Repository

A- A A+

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

Show full item record

Title: Contribuições ao problema de controle supervisório de sistemas a eventos discretos parametrizáveis e não-regulares
Author: Oliveira, Cláudio de
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.
Description: Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.
URI: http://repositorio.ufsc.br/handle/123456789/101972
Date: 2005


Files in this item

Files Size Format View
232772.pdf 3.218Mb PDF View/Open

This item appears in the following Collection(s)

Show full item record

Search DSpace


Browse

My Account

Statistics

Compartilhar