Use este identificador para citar ou linkar para este item:
https://repositorio.ufba.br/handle/ri/21342
Registro completo de metadados
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.advisor | Andrade, Aline Maria Santos | - |
dc.contributor.author | Silva, Rui Carlos Botelho Almeida da | - |
dc.creator | Silva, Rui Carlos Botelho Almeida da | - |
dc.date.accessioned | 2017-02-07T12:02:49Z | - |
dc.date.available | 2017-02-07T12:02:49Z | - |
dc.date.issued | 2017-02-07 | - |
dc.date.submitted | 2012-03-09 | - |
dc.identifier.uri | http://repositorio.ufba.br/ri/handle/ri/21342 | - |
dc.description.abstract | Os Agentes Autônomos – AA e os Sistemas Multiagentes – SMA realizam suas tarefas baseados num planejamento e a sua complexidade vai depender de qual ambiente esteja envolvido, principalmente quando este ambiente é dinâmico e não determinista. A verificação de modelos tem sido aplicada para a verificação de propriedades do planejamento de modo a checar a correção de aplicações baseadas em AAs e SMA’s e tal verificação apresenta muitos desafios para contornar situações potenciais de explosão de estados. O futebol de robôs simulados é uma aplicação que apresenta muitas das características e problemas inerentes aos AA’s e SMA’s como um ambiente não determinista e dinâmico, fato este que vem tornando esta aplicação um relevante estudo de caso para a verificação de modelos de SMA’s. O presente trabalho considera a especificação e verificação de planos de um time de futebol de robôs simulado, o qual é baseado na arquitetura multicamada de Agentes Concorrentes(camada cognitiva, camada instintiva, e camada reativa), utilizando o verificador de modelos UPPAAL. Para atingir os objetivos do trabalho foi proposta uma abordagem incremental e evolutiva para modelar e verificar os planos, a qual inclui abstrações e técnicas baseadas em verificação composicional de modelos (Compositional Model Checking), com o objetivo de contornar situações de explosão de estados. O método proposto também pode ser utilizado em aplicações similares, o qual poderia ser suportado por um ambiente computacional interativo para guiar os analistas no processo de verificação de planos de SMA’s com arquitetura multicamada, usando a verificação de modelos. | pt_BR |
dc.language.iso | pt_BR | pt_BR |
dc.rights | Acesso Aberto | pt_BR |
dc.subject | Métodos Formais | pt_BR |
dc.subject | Verificação de Modelos | pt_BR |
dc.subject | Agentes Autônomos | pt_BR |
dc.subject | Sistemas Multiagentes | pt_BR |
dc.title | Verificação formal de planos para agentes autônomos e sistemas multiagentes: um estudo de caso aplicado ao futebol de robôs | pt_BR |
dc.type | Dissertação | pt_BR |
dc.contributor.referees | Andrade, Aline Mari aSantos | - |
dc.contributor.referees | Silva, Flavio Morais de Assis | - |
dc.contributor.referees | Deharbe, David Boris Paul | - |
dc.publisher.departament | Instituto de Matemática | pt_BR |
dc.publisher.program | Programa de Pós-graduação em Mecatrônica | pt_BR |
dc.publisher.initials | UFBA | pt_BR |
dc.publisher.country | brasil | pt_BR |
dc.subject.cnpq | Sistemas Mecatrônicos | pt_BR |
Aparece nas coleções: | Dissertação (PPGM) |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Rui Carlos Botelho Almeida da Silva.pdf | 4,2 MB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.