Abstract
In this paper, we explore some issues relevant to fault monitoring in discrete event systems modeled by partially observed LPNs with, possibly indistinguishable observable events and acyclic unobservable subnet. Firstly, we address the (offline) fault-prognosability analysis problem. Subsequently, we tackle the two online problems of K-step fault prognosis and K-step predictive diagnosis. We propose algebraic formulations and solutions to these problems. Namely, a necessary and sufficient condition for fault-prognosability is established based on solving an integer optimization problem. The proposed approach is applicable for bounded Petri nets. As for the K-step prognosis and K-step predictive diagnosis, algebraic approaches based on state estimation on a sliding horizon are elaborated to produce relevant verdicts. The established results for K-step prognosis and K-step predictive diagnosis are applicable for both bounded and unbounded Petri nets.
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 callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
