Pages that link to "Item:Q893753"
From MaRDI portal
The following pages link to Polynomial-time verification of diagnosability of fuzzy discrete event systems (Q893753):
Displaying 8 items.
- A new algorithm for testing diagnosability of fuzzy discrete event systems (Q425552) (← links)
- Macro liveness graph and liveness of \(\omega\)-independent unbounded nets (Q893846) (← links)
- Predictability of fuzzy discrete event systems (Q1686853) (← links)
- Empirical studies in the size of diagnosers and verifiers for diagnosability analysis (Q1686857) (← links)
- Diagnosability of fuzzy discrete event systems (Q2466085) (← links)
- Diagnosability analysis of fuzzy discrete event systems in dimensionality of time (Q3463015) (← links)
- Relative predictability of failure event occurrences and its opacity-based test algorithm (Q4967673) (← links)
- Verification of safe diagnosability of stochastic discrete-event systems (Q5027364) (← links)