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 37 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)
- 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)
- Diagnosability analysis of hybrid systems cast in a discrete-event framework (Q2256889) (← 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)
- Diagnosability of discrete event systems subject to permanent sensor failures (Q2799301) (← links)
- A discrete event systems approach to network fault management: detection and diagnosis of faults (Q3020152) (← links)
- Detection of unmodelled anomalous behaviours via localized controllers for condition systems (Q3541181) (← links)
- Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables (Q3637253) (← links)