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 2012-10-23T03:48:30Z (GMT). No. of bitstreams: 1
244799.pdf: 1319376 bytes, checksum: 93280d7cef7b9c0e200c8409e39a9e97 (MD5) / A coordenação semafórica é um problema importante para o funcionamento dos sistemas de tráfego urbano. Nesta tese, examina-se o uso de métodos de modelagem e controle de sistemas a eventos discretos (SED) e sistemas híbridos (SH) para resolver este problema. Primeiramente o problema de coordenação é modelado utilizando autômatos híbridos. O objetivo é a análise do comportamento do sistema através de resultados de simulação e verificação formal de propriedades. Em um segundo momento, os sistemas de tráfego são modelados como sistemas puramente discretos. A álgebra max-plus é utilizada para modelar e controlar vias arteriais. Através da abordagem discreta é possível além de analisar o comportamento do sistema realizar síntese de controle. A síntese é realizada utilizando os conceitos de (A,B)-invariância, e os resultados obtidos são aplicados em um modelo de tráfego para simulação. Os resultados obtidos através da abordagem híbrida e da abordagem discreta demonstram que é possível utilizar os métodos propostos para SEDs e SHs para resolver o problema de coordenação semafórica. Os métodos obtidos podem vir a compor ferramentas para a análise e tomada de decisão para apoiar engenheiros de tráfego
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufsc.br:123456789/89894 |
Date | January 2007 |
Creators | Garcia, Tatiana Renata |
Contributors | Universidade Federal de Santa Catarina, Cury, Jose Eduardo R, Kraus Junior, Werner |
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 | xiv, 148 f.| il., grafs., 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.0015 seconds