Visão Geral
O projeto RELIABLE visa desenvolver ferramentas metodológicas e algoritmos de sistemas de controle que integram explicitamente restrições de segurança em sua formulação e são certificados como seguros de forma comprovável (matematicamente). Um objetivo particular é combinar abordagens baseadas em dados e técnicas de aprendizado de máquina com técnicas recentes de controle baseadas em otimização, capazes de impor invariância no contexto de Funções de Barreira de Controle (CBFs) e Funções de Lyapunov de Controle (CLFs) na presença de restrições e incertezas desafiadoras.
O projeto também aborda a transição de sistemas únicos para sistemas em rede críticos de segurança em grande escala, envolvendo múltiplos agentes operando autonomamente em redes em ambientes dinâmicos, onde desafios adicionais surgem devido à presença de redes de comunicação.
Objetivos
- Desenvolver metodologias de controle com garantias de segurança formalmente certificadas
- Combinar abordagens baseadas em dados e aprendizado de máquina com controle baseado em otimização
- Aplicar Funções de Barreira de Controle (CBFs) e Funções de Lyapunov de Controle (CLFs) sob incerteza
- Escalar metodologias de sistemas únicos para sistemas multiagentes em rede
- Abordar desafios de redes de comunicação em sistemas autônomos distribuídos
Casos de Estudo
- Veículos robóticos: Cenários espaciais, aéreos e subaquáticos para aplicações de monitoramento remoto e exploração
- Robótica móvel na Indústria 4.0: Algoritmos de percepção, planejamento reativo, navegação e sistemas de controle permitindo operação autônoma em ambientes não estruturados com colaboração humano-robô segura