Polynomial-time verification of diagnosability of partially observed discrete-event systems.
Tae-Sic YooStéphane LafortunePublished in: IEEE Trans. Autom. Control. (2002)
Keyphrases
- discrete event systems
- partially observed
- petri net
- complex systems
- model based diagnosis
- telecommunication networks
- failure diagnosis
- discrete event
- timed petri nets
- computational complexity
- special case
- model checking
- temporal constraints
- dynamic systems
- formal verification
- worst case
- signature verification
- approximation algorithms
- wireless sensor networks