Integração de rede de Petri e simulação gráfica para verificação de células robóticas colaborativas.
AUTOR(ES)
Aguiar, Adriano José Cunha de
DATA DE PUBLICAÇÃO
2009
RESUMO
Este trabalho aborda o problema da concepção de sistemas supervisórios para células robóticas colaborativas flexíveis na indústria aeronáutica. Para esta finalidade, é proposta uma abordagem mista para modelagem e verificação de células robóticas baseada em simulação gráfica de robôs e rede de Petri colorida. Rede de Petri é utilizada para modelar o sistema supervisório que gerencia as atividades dos robôs, a interação com outros elementos e para representar a lógica de programação. Simulação gráfica de robôs é aplicada para ilustrar o comportamento dos robôs em um ambiente 3D indicando, por exemplo, a ocorrência de colisões. A flexibilidade da aplicação requer que os robôs trabalhem subordinados ao sistema supervisório, tendo suas trajetórias definidas durante a execução das tarefas e não previamente programadas em seus controladores. Como conseqüência, com o propósito de verificar a célula robótica colaborativa, ambas as ferramentas de simulação devem ser integradas. A motivação deste trabalho é a concepção de uma célula de trabalho para a indústria aeronáutica, automatizando os processos de furação e inserção de prendedores em partes da fuselagem. A célula é composta de dois robôs que devem trabalhar em cooperação e em colaboração na montagem estrutural de aeronaves.
ASSUNTO(S)
estruturas de aeronaves linhas de montagem processo de perfuração programas supervisores simulação planejamento de tarefas (robótica) indústria aeronáutica redes de petri computação gráfica dinâmica de robôs
ACESSO AO ARTIGO
http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1246Documentos Relacionados
- Coleções colaborativas. Um espaço de dois universos
- Modelagem e simulação distribuída de sistema produtivo baseados em rede de Petri
- Uma arquitetura para verificação de blocos de computação gráfica em hardware
- Projeto e construção de um sistema de posprocessamento e simulação gráfica para comando numérico
- Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)