Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems.
Gianfranco LampertiXiangfu ZhaoPublished in: SMC (2013)
Keyphrases
- discrete event systems
- model based diagnosis
- higher order
- failure diagnosis
- petri net
- dynamic systems
- diagnostic reasoning
- consistency based diagnosis
- model based reasoning
- physical systems
- timed petri nets
- discrete event
- fault localization
- constraint programming
- complex systems
- digital circuits
- fault models
- telecommunication networks
- hardware designs
- state space
- multi agent systems
- formal specification
- simulation model
- model checking