New Approach of Diagnosis by Timed Automata.
Olfa AzzabiChakib Ben NjimaHassani MessaoudPublished in: Int. J. Ambient Comput. Intell. (2017)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- fault diagnosis
- theorem proving
- medical diagnosis
- model based diagnosis
- dynamic programming
- automatic diagnosis
- first order logic
- temporal logic
- fault detection
- data sets
- real time systems
- scanning electron microscope
- diagnostic process
- diagnostic tests
- medical diagnostic
- clinically relevant
- model based reasoning
- causal reasoning
- computer aided
- probability distribution
- information retrieval
- machine learning