Diagnosis of repeated failures for discrete event systems with linear-time temporal logic specifications.
Shengbing JiangRatnesh KumarPublished in: CDC (2003)
Keyphrases
- discrete event systems
- failure diagnosis
- linear time temporal logic
- model based diagnosis
- petri net
- complex systems
- model checking
- telecommunication networks
- discrete event
- timed petri nets
- formal specification
- sequent calculus
- concurrent systems
- reactive systems
- temporal logic
- temporal constraints
- natural deduction
- failure detection
- cut elimination
- linear temporal logic
- inference rules
- specification language
- transition systems
- qualitative and quantitative
- dynamic systems
- cooperative
- random variables