Polynomial-time verification of diagnosability of partially observed discrete-event systems
From MaRDI portal
Publication:5267079
DOI10.1109/TAC.2002.802763zbMath1364.93176OpenAlexW2117558445MaRDI QIDQ5267079
Stéphane Lafortune, Tae-Sic Yoo
Publication date: 20 June 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2002.802763
Related Items (max. 100)
\(K\)-loss robust codiagnosability of discrete-event systems ⋮ Diagnosability of delay-deadline failures in fair real time discrete event models ⋮ Decentralized fault prognosis of discrete event systems with guaranteed performance bound ⋮ Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays ⋮ Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective ⋮ Optimal constructions for active diagnosis ⋮ Diagnosability of fair transition systems ⋮ Verification of robust diagnosability for partially observed discrete event systems ⋮ Robust predictability of stochastic discrete-event systems and a polynomial-time verification ⋮ Minimal diagnosis and diagnosability of discrete-event systems modeled by automata ⋮ An improved approach for verifying delayed detectability of discrete-event systems ⋮ A general framework for diagnosis of discrete event systems subject to sensor failures ⋮ Marking diagnosability verification in labeled Petri nets ⋮ Diagnosability enforcement in labeled Petri nets using supervisory control ⋮ Online minimization of sensor activation for supervisory control ⋮ Diagnosability of intermittent sensor faults in discrete event systems ⋮ Verification complexity of a class of observational properties for modular discrete events systems ⋮ Diagnosis of discrete event systems using decentralized architectures ⋮ Decentralized diagnosis of discrete event systems subject to permanent sensor failures ⋮ Predictability of fuzzy discrete event systems ⋮ Empirical studies in the size of diagnosers and verifiers for diagnosability analysis ⋮ Polynomial-time verification of diagnosability of fuzzy discrete event systems ⋮ Supervisory control to maximize mean time to failure in discrete event systems ⋮ Distributed diagnosis of discrete-event systems under dynamic event observations ⋮ Robust diagnosis of discrete event systems against intermittent loss of observations ⋮ Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability ⋮ Diagnosis of timed patterns for discrete event systems by means of state isolation ⋮ Detectability in stochastic discrete event systems ⋮ Online prognosis of stochastic discrete event systems with guaranteed performance bound ⋮ Codiagnosability and coobservability under dynamic observations: transformation and verification ⋮ Probabilistic verification of diagnosability for a certain class of timed stochastic systems ⋮ A language-based diagnosis framework for permanent and intermittent faults ⋮ Diagnosability of fault patterns with labeled stochastic Petri nets ⋮ Secure Diagnosability of Hybrid Dynamical Systems ⋮ Diagnosability of Discrete Faults with Uncertain Observations ⋮ Abstractions Refinement for Hybrid Systems Diagnosability Analysis ⋮ Detection and mitigation of classes of attacks in supervisory control systems ⋮ Trajectory detectability of discrete-event systems ⋮ Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications ⋮ Active acquisition of information for diagnosis and supervisory control of discrete event systems ⋮ Computation of minimal diagnosis bases of discrete-event systems using verifiers ⋮ A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems ⋮ Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions ⋮ Diagnosability analysis of patterns on bounded labeled prioritized Petri nets ⋮ Diagnosis of behaviors of interest in partially-observed discrete-event systems ⋮ Abstraction-based failure diagnosis for discrete event systems ⋮ Computation of minimal event bases that ensure diagnosability ⋮ Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems ⋮ Diagnosability analysis of hybrid systems cast in a discrete-event framework ⋮ Generalized detectability for discrete event systems ⋮ Fairness of transitions in diagnosability of discrete event systems ⋮ State-based fault diagnosis of discrete-event systems with partially observable outputs ⋮ On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets ⋮ Detectability of networked discrete event systems ⋮ An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions ⋮ Diagnosability of discrete event systems subject to permanent sensor failures ⋮ On the minimization of communication in networked systems with a central station ⋮ Predictability of event occurrences in partially-observed discrete-event systems ⋮ Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches ⋮ Analysis of strong and strong periodic detectability of bounded labeled Petri nets ⋮ Discrete-Event Systems Fault Diagnosis ⋮ Diagnosis and Automata ⋮ Diagnosability verification using LTL model checking ⋮ Safe diagnosability for fault-tolerant supervision of discrete-event systems ⋮ Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems ⋮ Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems ⋮ Verification of safe diagnosability of stochastic discrete-event systems ⋮ Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system
This page was built for publication: Polynomial-time verification of diagnosability of partially observed discrete-event systems
