Diagnosis of Time-Sensitive Failures in Timed Discrete-Event Systems with Metric Interval Temporal Logics.
Weijie DongShaoyuan LiXiang YinPublished in: CDC (2023)
Keyphrases
- discrete event systems
- failure diagnosis
- temporal logic
- petri net
- concurrent systems
- discrete event
- model checking
- reactive systems
- model based diagnosis
- mazurkiewicz traces
- modal logic
- timed petri nets
- satisfiability problem
- dynamic systems
- temporal knowledge
- complex systems
- predicate logic
- linear temporal logic
- root cause
- simulation model
- verification method
- belief revision
- dynamical systems
- heuristic search
- special case
- linear time temporal logic
- temporal constraints
- data streams