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

Cited in

(76)

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

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)