Abstraction-based verification of codiagnosability for discrete event systems.
Klaus SchmidtPublished in: Autom. (2010)
Keyphrases
- discrete event systems
- model based diagnosis
- hardware designs
- petri net
- complex systems
- telecommunication networks
- failure diagnosis
- discrete event
- timed petri nets
- bounded model checking
- model checking
- formal verification
- high level
- temporal constraints
- dynamic systems
- database
- simulation model
- constraint programming
- mathematical model
- contextual information
- database systems