Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications.
Shengbing JiangRatnesh KumarPublished in: IEEE Trans Autom. Sci. Eng. (2006)
Keyphrases
- discrete event systems
- failure diagnosis
- linear time temporal logic
- model based diagnosis
- petri net
- model checking
- complex systems
- formal specification
- telecommunication networks
- discrete event
- temporal logic
- timed petri nets
- concurrent systems
- transition systems
- sequent calculus
- reactive systems
- temporal constraints
- failure detection
- cut elimination
- high level
- specification language
- dynamic systems
- linear logic
- fixed point
- cooperative