Codiagnosability of discrete event systems revisited: A new necessary and sufficient condition and its applications.
Gustavo S. VianaJoão Carlos BasilioPublished in: Autom. (2019)
Keyphrases
- sufficient conditions
- discrete event systems
- petri net
- complex systems
- timed petri nets
- model based diagnosis
- telecommunication networks
- failure diagnosis
- discrete event
- asymptotic stability
- exponential stability
- temporal constraints
- uniform convergence
- linear systems
- lyapunov function
- efficiently computable
- dynamic systems