Encoded dynamics for fault tolerance in linear finite-state machines.
Christoforos N. HadjicostisGeorge C. VerghesePublished in: IEEE Trans. Autom. Control. (2002)
Keyphrases
- fault tolerance
- finite state machines
- fault tolerant
- load balancing
- distributed systems
- finite state automata
- high availability
- distributed computing
- response time
- peer to peer
- model checking
- group communication
- replicated databases
- mobile agents
- failure recovery
- database replication
- data replication
- mutation testing
- regular expressions
- database management systems
- high performance computing
- hidden markov models
- single point of failure