Abstract
Fault prognosis of discrete-event systems (DESs) aims to predict the occurrence of fault beforehand such that certain protective measures may be adopted before the fault occurs. This article investigates the reliable coprognosability issue for decentralized stochastic DESs (SDESs) facing the possible unavailability of some local agents. The main contributions are as follows. First, we formalize the notion of r -reliable coprognosability for SDESs. In general, an r -reliably coprognosable SDES with n local sites (1 ≤ r ≤ n) can predict the occurrences of faults even though n-r local agents are invalid. Second, we construct a reliable coprognoser from the given stochastic system and present a necessary and sufficient condition for testing r -reliable coprognosability by the reliable coprognoser. Third, due to the exponential complexity of testing r -reliable coprognosability by reliable coprognoser, a reliable coverifier is constructed and an alternate necessary and sufficient condition for verifying r -reliable coprognosability of SDESs by the reliable coverifier is proposed, which is polynomial time.
Sign-in/Register to access full text options 
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.
