Detectability of Discrete Event Systems.
Shaolong ShuFeng LinHao YingPublished in: IEEE Trans. Autom. Control. (2007)
Keyphrases
- discrete event systems
- petri net
- complex systems
- model based diagnosis
- telecommunication networks
- image quality
- discrete event
- failure diagnosis
- timed petri nets
- signal detection
- temporal constraints
- dynamic systems
- noise level
- expert systems
- simulation model
- database
- dynamical systems
- model checking
- contextual information
- special case
- computational complexity