Efficient Timed Diagnosis Using Automata with Timed Domains.

Patricia Bouyer Samy Jaziri Nicolas Markey

Published in: RV (2018)

Keyphrases

timed automata
petri net
finite state machines
fault diagnosis
application domains
database
real time
neural network
artificial intelligence
model checking
medical diagnosis
computationally efficient
cellular automata
colored petri nets