Login / Signup
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