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

Cited in

(82)

Online prognosis of stochastic discrete event systems with guaranteed performance bound
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
A semi-symbolic diagnoser for fault diagnosis of bounded labeled Petri nets
Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays
Abstractions Refinement for Hybrid Systems Diagnosability Analysis
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
Matrix approach to I-detectability of partially observed discrete event systems
Fairness of transitions in diagnosability of discrete event systems
Decentralized fault prognosis of discrete event systems with guaranteed performance bound
Detectability in stochastic discrete event systems
Trajectory detectability of discrete-event systems
Discrete-event systems fault diagnosis
Polynomial-time verification of pattern diagnosability for timed discrete event systems
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
Diagnosis of timed patterns for discrete event systems by means of state isolation
State-based fault diagnosis of discrete-event systems with partially observable outputs
Predictability of event occurrences in partially-observed discrete-event systems
Minimal diagnosis and diagnosability of discrete-event systems modeled by automata
Detectability of networked discrete event systems
Diagnosis and supervision: model-based approaches
Marking diagnosability verification in labeled Petri nets
Reliable decentralized failure diagnosis of discrete event systems using single-level inference
A language-based diagnosis framework for permanent and intermittent faults
Optimal constructions for active diagnosis
A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
Diagnosability of discrete faults with uncertain observations
Online minimization of sensor activation for supervisory control
Diagnosability of labeled \(\mathfrak{D}_{\mathfrak{p}}\)-automata
Diagnosability of fair transition systems
Safe diagnosability for fault-tolerant supervision of discrete-event systems
Active prediction for discrete event systems
Probabilistic verification of diagnosability for a certain class of timed stochastic systems
AI*IA 2005: Advances in Artificial Intelligence
Diagnosability of fault patterns with labeled stochastic Petri nets
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
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
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
Secure diagnosability of hybrid dynamical systems
Decentralized diagnosis of discrete event systems subject to permanent sensor failures
Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications
Diagnosability of discrete event systems subject to permanent sensor failures
Silent closure based pair verifier for fault pattern diagnosis of discrete event systems
Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled Petri net
Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability
Diagnosability of delay-deadline failures in fair real time discrete event models
Distributed diagnosis of discrete-event systems under dynamic event observations
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
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
Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
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
A joint diagnoser approach for diagnosability of discrete event systems under attack
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
Polynomial verification for safe codiagnosability of decentralized fuzzy discrete-event systems
Diagnosis and automata
Codiagnosability and coobservability under dynamic observations: transformation and verification
Diagnosis of behaviors of interest in partially-observed discrete-event systems
On the verification of detectability for timed discrete event systems
Detection and mitigation of classes of attacks in supervisory control 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)