Pages that link to "Item:Q4540472"
From MaRDI portal
The following pages link to A polynomial algorithm for testing diagnosability of discrete-event systems (Q4540472):
Displayed 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)