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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have