Análise de falhas, detecção de erros e diagnóstico de faltas num veículo submarino autónomo: uma abordagem de sistemas discretos