Decentralized Prognosis of Failures in Discrete Event Systems

DOI10.1109/TAC.2009.2034216MaRDI QIDQ4978656zbMATH OpenFDO

Authors Shigemasa Takai, Ratnesh Kumar

Publication date 25 August 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TAC.2009.2034216

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) System identification (93B30) Discrete event control/observation systems (93C65)

Cited in

(23)

• Online prognosis of stochastic discrete event systems with guaranteed performance bound
• Relative predictability of failure event occurrences and its opacity-based test algorithm
• Coordinated decentralized protocols for failure diagnosis of discrete event systems
• Decentralized fault prognosis of discrete event systems with guaranteed performance bound
• A general approach for optimizing dynamic sensor activation for discrete event systems
• On Fault Predictability in Stochastic Discrete Event Systems
• Robust and Nonlinear Control: literature survey (No. 17)
• An inferencing structure for MPO-based decentralized dynamic fault diagnosis
• Marking diagnosability verification in labeled Petri nets
• A Canonical Contraction for Safe Petri Nets
• A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
• Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications
• Faults prognosis using partially observed stochastic Petri nets: an incremental approach
• Robust predictability of stochastic discrete-event systems and a polynomial-time verification
• Abstraction-based verification and synthesis for prognosis of discrete event systems
• Robust prognosability for a set of partially observed discrete event systems
• Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach
• Reliable fuzzy prognosability of decentralized fuzzy discrete-event systems and verification algorithm
• Verification and enforcement of strong infinite- and k-step opacity using state recognizers
• Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability
• Predictability of fuzzy discrete event systems
• Fault prognosis of timed stochastic discrete event systems with bounded estimation error
• Diagnosability verification using LTL model checking

This page was built for publication: Decentralized Prognosis of Failures in Discrete Event Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4978656)