Formal verification applied to attitude control software of unmanned aerial vehicles
Durante as últimas décadas, técnicas de verificação de modelos tem sido utilizadas para melhorar a confiabilidade de sistemas, no que diz respeito a veículos aéreos não-tripulados (VANTs). Contudo, existem poucos esforços focados em aplicar esses métodos ao controle de sistemas, especialmente os...
| Autor principal: | Chaves, Lennon Corrêa |
|---|---|
| Outros Autores: | http://lattes.cnpq.br/9580905200186919 |
| Grau: | Dissertação |
| Idioma: | eng |
| Publicado em: |
Universidade Federal do Amazonas
2018
|
| Assuntos: | |
| Acesso em linha: |
https://tede.ufam.edu.br/handle/tede/6368 |