Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2013-07-15T23:41:54Z (GMT). No. of bitstreams: 1
232772.pdf: 3375197 bytes, checksum: 78d64528621fb5b649b8887e7b884d5d (MD5) / 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.
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufsc.br:123456789/101972 |
| Date | January 2005 |
| Creators | Oliveira, Cláudio de |
| Contributors | Universidade Federal de Santa Catarina, Cury, Jose Eduardo R |
| Publisher | Florianópolis, SC |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis |
| Format | xxvi, 156 p.| il., tabs. |
| Source | reponame:Repositório Institucional da UFSC, instname:Universidade Federal de Santa Catarina, instacron:UFSC |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0022 seconds