Pages that link to "Item:Q4540472"

The following pages link to A polynomial algorithm for testing diagnosability of discrete-event systems (Q4540472):

Displaying 50 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)
• Diagnosability analysis of patterns on bounded labeled prioritized Petri nets (Q513189) (← links)
• Generalized detectability for discrete event systems (Q539906) (← links)
• Computation of minimal event bases that ensure diagnosability (Q692381) (← links)
• Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems (Q692384) (← links)
• Accurate approximate diagnosis of (controllable) stochastic systems (Q832093) (← links)
• Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays (Q839008) (← links)
• Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective (Q843994) (← links)
• Polynomial-time verification of diagnosability of fuzzy discrete event systems (Q893753) (← links)
• Detectability in stochastic discrete event systems (Q897674) (← links)
• Codiagnosability and coobservability under dynamic observations: transformation and verification (Q900685) (← links)
• Diagnosis of behaviors of interest in partially-observed discrete-event systems (Q953472) (← links)
• Abstraction-based failure diagnosis for discrete event systems (Q962191) (← links)
• Games for synthesis of controllers with partial observation. (Q1401346) (← links)
• Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
• Predictability of fuzzy discrete event systems (Q1686853) (← 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)
• Trajectory detectability of discrete-event systems (Q1729041) (← 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)
• Diagnosability of repairable faults (Q1788687) (← links)
• Decentralized diagnosis of fuzzy discrete-event systems (Q1937327) (← links)
• Robust diagnosis of discrete event systems against intermittent loss of observations (Q1937482) (← links)
• Failure diagnosis for distributed stochastic discrete event systems (Q1993130) (← links)
• State-based fault diagnosis of discrete-event systems with partially observable outputs (Q2023248) (← links)
• Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches (Q2058490) (← links)
• Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← 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)
• Diagnosability of fair transition systems (Q2152493) (← links)
• Diagnosis and degradation control for probabilistic systems (Q2220350) (← links)
• Selective monitoring (Q2221805) (← links)
• Diagnosability analysis of hybrid systems cast in a discrete-event framework (Q2256889) (← links)
• A tale of two diagnoses in probabilistic systems (Q2280320) (← links)
• Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems (Q2348371) (← links)
• Verification of robust diagnosability for partially observed discrete event systems (Q2391506) (← links)
• Online minimization of sensor activation for supervisory control (Q2409274) (← links)
• Diagnosability of intermittent sensor faults in discrete event systems (Q2409363) (← links)
• Active acquisition of information for diagnosis and supervisory control of discrete event systems (Q2465426) (← links)
• Minimal diagnosis and diagnosability of discrete-event systems modeled by automata (Q2658452) (← links)
• An improved approach for verifying delayed detectability of discrete-event systems (Q2663854) (← links)
• Initial-state detectability and initial-state opacity of unambiguous weighted automata (Q2664211) (← links)
• A general framework for diagnosis of discrete event systems subject to sensor failures (Q2665161) (← links)
• Marking diagnosability verification in labeled Petri nets (Q2665360) (← links)
• Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
• Decentralized diagnosis of discrete event systems subject to permanent sensor failures (Q2673757) (← links)