Pages that link to "Item:Q5347782"

The following pages link to Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems (Q5347782):

Displaying 27 items.

• Decentralized fault prognosis of discrete event systems with guaranteed performance bound (Q286345) (← links)
• A new algorithm for testing diagnosability of fuzzy discrete event systems (Q425552) (← links)
• Computation of minimal diagnosis bases of discrete-event systems using verifiers (Q510094) (← links)
• Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions (Q513180) (← links)
• Computation of minimal event bases that ensure diagnosability (Q692381) (← links)
• Codiagnosability and coobservability under dynamic observations: transformation and verification (Q900685) (← links)
• Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
• Empirical studies in the size of diagnosers and verifiers for diagnosability analysis (Q1686857) (← links)
• Detection and mitigation of classes of attacks in supervisory control systems (Q1716512) (← links)
• Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications (Q1737742) (← links)
• On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets (Q1784050) (← links)
• Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation (Q1788691) (← links)
• Robust diagnosis of discrete event systems against intermittent loss of observations (Q1937482) (← links)
• Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches (Q2058490) (← links)
• Diagnosability verification using LTL model checking (Q2081084) (← links)
• Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems (Q2109177) (← links)
• \(K\)-loss robust codiagnosability of discrete-event systems (Q2125509) (← links)
• Robust predictability of stochastic discrete-event systems and a polynomial-time verification (Q2165974) (← links)
• Discrete event system identification with the aim of fault detection (Q2286331) (← links)
• Online minimization of sensor activation for supervisory control (Q2409274) (← links)
• Diagnosability of intermittent sensor faults in discrete event systems (Q2409363) (← links)
• Marking diagnosability verification in labeled Petri nets (Q2665360) (← links)
• Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
• Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability (Q2682315) (← links)
• Verification of safe diagnosability of stochastic discrete-event systems (Q5027364) (← links)
• A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems (Q5158671) (← links)
• A language-based diagnosis framework for permanent and intermittent faults (Q6175604) (← links)