Diagnosing Multiple Faults in Communicating Finite State Machines.

Khaled El-Fakih Nina Yevtushenko Gregor von Bochmann

Published in: FORTE (2001)

Keyphrases

finite state machines
multiple faults
fault diagnosis
discrete event
finite state automata
model checking
hidden markov models
machine learning
model based diagnosis
simulation model
digital circuits
regular expressions
communication channels
database
complex systems
multi agent
neural network