Decentralized Prognosis of Failures in Discrete Event Systems

DOI10.1109/TAC.2009.2034216zbMath1368.93379MaRDI QIDQ4978656

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)

Related Items (19)

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

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