Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle.
Jonathan EzekielAlessio LomuscioLevente MolnarSandor M. VeresPublished in: IJCAI (2011)
Keyphrases
- fault tolerance
- autonomous underwater vehicle
- fault tolerant
- distributed computing
- load balancing
- fault diagnosis
- response time
- discrete event
- high availability
- discrete event systems
- distributed systems
- model checking
- replicated databases
- database replication
- peer to peer
- group communication
- distributed query processing
- mobile agents
- error detection
- high scalability
- high performance computing
- data replication
- data sets
- fault management
- computational intelligence
- failure recovery
- single point of failure
- expert systems