Abstract

Diagnosis for discrete event systems has been investigated. In this paper, authors examine a state estimation problem of a system modeled by a finite state automaton in which each state has its corresponding logical formulas. We formalize a diagnosis problem of truth values of atomic propositions which constitute the logical formulas. Our approach to the problem is based on the discrete event system theory by use of linear-time temporal logic.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call