Using LNT Formal Descriptions for Model-Based Diagnosis.
Birgit HoferRadu MateescuWendelin SerweFranz WotawaPublished in: DX (2018)
Keyphrases
- model based diagnosis
- formal descriptions
- formal concept analysis
- discrete event systems
- computational model
- web services
- model based reasoning
- diagnostic reasoning
- dynamic systems
- consistency based diagnosis
- physical systems
- digital circuits
- constraint programming
- fault localization
- failure diagnosis
- diagnostic process
- repair actions
- model checking
- artificial intelligence
- multi agent
- data mining
- databases