Relatório de Pesquisa

Controle Supervisório para um robô móvel inteligente através de autômatos híbridos

Os sistemas a eventos discretos são sistemas dinâmicos cujas características não permitem que sejam modelados por ferramentas tradicionais, tais como equações diferenciais. Neste projeto de pesquisa objetiva-se desenvolver uma metodologia para o analise e controle de sistemas e eventos discretos po...

ver descrição completa

Autor principal: Helton Soares Nogueira
Grau: Relatório de Pesquisa
Idioma: pt_BR
Publicado em: Universidade Federal do Amazonas 2016
Assuntos:
Acesso em linha: http://riu.ufam.edu.br/handle/prefix/4854
Resumo:
Os sistemas a eventos discretos são sistemas dinâmicos cujas características não permitem que sejam modelados por ferramentas tradicionais, tais como equações diferenciais. Neste projeto de pesquisa objetiva-se desenvolver uma metodologia para o analise e controle de sistemas e eventos discretos por meio de autômatos híbridos. Tendo em vista a natureza híbrida da planta, pretende-se modelar através do formalismo de autômatos híbridos e utilizar a ferramentas computacionais para implementar o modelo e analisar propriedades do mesmo através de especificações em um robô móvel inteligente. Tal formalismo e um dos vários modelos que representam sistemas híbridos.