A necessary and sufficient condition for diagnosability of stochastic discrete event systems.
David ThorsleyPublished in: Discret. Event Dyn. Syst. (2017)
Keyphrases
- discrete event systems
- sufficient conditions
- timed petri nets
- petri net
- discrete event
- complex systems
- model based diagnosis
- telecommunication networks
- exponential stability
- dynamic systems
- linear systems
- temporal constraints
- linear complementarity problem
- simulation model
- lyapunov function
- uniform convergence
- temporal reasoning
- asymptotic stability
- efficiently computable
- optimal policy
- data center