Fault measure of discrete event systems using probabilistic timed automata.
Yi-Sheng HuangHo-Shan ChiangMuDer JengPublished in: SMC (2011)
Keyphrases
- discrete event systems
- timed automata
- petri net
- telecommunication networks
- complex systems
- failure diagnosis
- model based diagnosis
- model checking
- fault diagnosis
- similarity measure
- timed petri nets
- theorem prover
- discrete event
- probabilistic model
- reachability analysis
- temporal constraints
- dynamic systems
- fault detection
- theorem proving
- real time
- first order logic
- low cost
- probability distribution
- dynamic programming
- database systems