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
This item appears in the following Collection(s)
Show full item record
Search DSpace
Browse
-
All of DSpace
-
This Collection
My Account
Statistics
Compartilhar