Polynomial-time verification of diagnosability of partially observed discrete-event systems

Cited In (76)

Verification complexity of a class of observational properties for modular discrete events systems
Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems
Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
Discrete-event systems fault diagnosis
Fairness of transitions in diagnosability of discrete event systems
Trajectory detectability of discrete-event systems
Detectability in stochastic discrete event systems
Decentralized fault prognosis of discrete event systems with guaranteed performance bound
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
\(K\)-loss robust codiagnosability of discrete-event systems
Analysis of strong and strong periodic detectability of bounded labeled Petri nets
Abstraction-based failure diagnosis for discrete event systems
Active acquisition of information for diagnosis and supervisory control of discrete event systems
Diagnosability analysis of hybrid systems cast in a discrete-event framework
Verification of robust diagnosability for partially observed discrete event systems
Diagnosability of intermittent sensor faults in discrete event systems
State-based fault diagnosis of discrete-event systems with partially observable outputs
Minimal diagnosis and diagnosability of discrete-event systems modeled by automata
Predictability of event occurrences in partially-observed discrete-event systems
Detectability of networked discrete event systems
Marking diagnosability verification in labeled Petri nets
A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
Optimal constructions for active diagnosis
Diagnosability of discrete faults with uncertain observations
Online minimization of sensor activation for supervisory control
Probabilistic verification of diagnosability for a certain class of timed stochastic systems
Safe diagnosability for fault-tolerant supervision of discrete-event systems
Diagnosability of fair transition systems
On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets
Polynomial-time verification of diagnosability of fuzzy discrete event systems
Robust predictability of stochastic discrete-event systems and a polynomial-time verification
A general framework for diagnosis of discrete event systems subject to sensor failures
Decentralized diagnosis of discrete event systems subject to permanent sensor failures
Diagnosability of discrete event systems subject to permanent sensor failures
Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications
Distributed diagnosis of discrete-event systems under dynamic event observations
Diagnosability of delay-deadline failures in fair real time discrete event models
Empirical studies in the size of diagnosers and verifiers for diagnosability analysis
Predictability of fuzzy discrete event systems
Verification of safe diagnosability of stochastic discrete-event systems
Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective
Generalized detectability for discrete event systems
Diagnosis of discrete event systems using decentralized architectures
Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
Robust diagnosis of discrete event systems against intermittent loss of observations
On the minimization of communication in networked systems with a central station
Diagnosability verification using LTL model checking
Computation of minimal diagnosis bases of discrete-event systems using verifiers
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
Computation of minimal event bases that ensure diagnosability
Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems
An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
Codiagnosability and coobservability under dynamic observations: transformation and verification
Diagnosis of behaviors of interest in partially-observed discrete-event systems
Detection and mitigation of classes of attacks in supervisory control systems
Online prognosis of stochastic discrete event systems with guaranteed performance bound
A semi-symbolic diagnoser for fault diagnosis of bounded labeled Petri nets
Abstractions Refinement for Hybrid Systems Diagnosability Analysis
Matrix approach to I-detectability of partially observed discrete event systems
Diagnosis of timed patterns for discrete event systems by means of state isolation
Diagnosis and supervision: model-based approaches
A language-based diagnosis framework for permanent and intermittent faults
Diagnosability of labeled \(\mathfrak{D}_{\mathfrak{p}}\)-automata
Diagnosability of fault patterns with labeled stochastic Petri nets
AI*IA 2005: Advances in Artificial Intelligence
Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system
An improved approach for verifying delayed detectability of discrete-event systems
Diagnosability enforcement in labeled Petri nets using supervisory control
Supervisory control to maximize mean time to failure in discrete event systems
Secure diagnosability of hybrid dynamical systems
Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability
A joint diagnoser approach for diagnosability of discrete event systems under attack
Diagnosis and automata
On the verification of detectability for timed discrete event systems

This page was built for publication: Polynomial-time verification of diagnosability of partially observed discrete-event systems

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