Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications.
Shengbing JiangRatnesh KumarPublished in: ACC (2002)
Keyphrases
- linear time temporal logic
- diagnosis of discrete event systems
- model checking
- failure modes
- formal specification
- transition systems
- temporal logic
- sequent calculus
- repair actions
- fault diagnosis
- fault detection
- natural deduction
- reactive systems
- cut elimination
- model checker
- specification language
- inference rules
- linear temporal logic
- concurrent systems
- high level
- control flow
- general purpose