Abstract diagnosis for timed concurrent constraint programs.
Marco CominiLaura TitoloAlicia VillanuevaPublished in: Theory Pract. Log. Program. (2011)
Keyphrases
- petri net
- fault diagnosis
- model based diagnosis
- discrete event
- concurrent programs
- low level
- multiple faults
- medical diagnosis
- intermediate level
- concurrent programming
- mutual exclusion
- diagnostic reasoning
- model based reasoning
- high level
- computer programs
- medical diagnostic
- higher level
- timed automata
- breast cancer diagnosis
- model checking
- simulation model
- constraint solving
- automatic programming
- penalty function
- heart disease
- diagnostic tests
- diagnostic process
- automatic diagnosis
- database
- expert systems
- linear constraints