Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
From MaRDI portal
Cited in
(36)- Verification complexity of a class of observational properties for modular discrete events systems
- Empirical studies in the size of diagnosers and verifiers for diagnosability analysis
- Detection and mitigation of classes of attacks in supervisory control systems
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications
- On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets
- Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation
- Robust diagnosis of discrete event systems against intermittent loss of observations
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
- Diagnosability verification using LTL model checking
- Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems
- K-loss robust codiagnosability of discrete-event systems
- Robust predictability of stochastic discrete-event systems and a polynomial-time verification
- Discrete event system identification with the aim of fault detection
- Online minimization of sensor activation for supervisory control
- Diagnosability of intermittent sensor faults in discrete event systems
- Marking diagnosability verification in labeled Petri nets
- Diagnosability enforcement in labeled Petri nets using supervisory control
- Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability
- Decentralized fault prognosis of discrete event systems with guaranteed performance bound
- A new algorithm for testing diagnosability of fuzzy discrete event systems
- Verification of safe diagnosability of stochastic discrete-event systems
- 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
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
- A language-based diagnosis framework for permanent and intermittent faults
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets
- Diagnosability of labeled \(\mathfrak{D}_{\mathfrak{p}}\)-automata
- Robust prognosability of discrete event systems against stealthy sensor attacks
- 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
- Finite-time event-triggered prescribed control for stochastic systems with dead-zone
- Computation of minimal event bases that ensure diagnosability
- Polynomial verification for safe codiagnosability of decentralized fuzzy discrete-event systems
- Computation of synchronous diagnosis bases of discrete-event systems
- Fault diagnosis of discrete event systems based on partially observable events and states
- Codiagnosability and coobservability under dynamic observations: transformation and verification
This page was built for publication: Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5347782)
