Failure diagnosis of discrete-event systems with linear-time temporal logic specifications.

Shengbing Jiang Ratnesh Kumar

Published in: IEEE Trans. Autom. Control. (2004)

Keyphrases

linear time temporal logic
diagnosis of discrete event systems
model checking
temporal logic
model checker
sequent calculus
formal specification
natural deduction
concurrent systems
high level
cut elimination
control flow
linear temporal logic
inference rules
business rules
modal operators
linear logic