Decentralized Prognosis of Failures in Discrete Event Systems

DOI10.1109/TAC.2009.2034216zbMATH Open1368.93379MaRDI QIDQ4978656FDOQ4978656

Authors: Shigemasa Takai, Ratnesh Kumar 

Publication date: 25 August 2017

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

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
• A general approach for optimizing dynamic sensor activation for discrete event systems
• Decentralized fault prognosis of discrete event systems with guaranteed performance bound
• 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
• Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability
• Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers
• 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)