Computation of projections for the abstraction-based diagnosability verification.
Klaus Werner SchmidtPublished in: WODES (2010)
Keyphrases
- high level
- three dimensional
- discrete event
- discrete event systems
- fault diagnosis
- model checking
- efficient computation
- data mining
- global consistency
- formal verification
- face recognition
- linear algebra
- hardware designs
- real time
- bounded model checking
- image sequences
- information retrieval
- neural network
- databases
- data sets