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):
Displayed 4 items.
- Macro liveness graph and liveness of \(\omega\)-independent unbounded nets (Q893846) (← links)
- Predictability of fuzzy discrete event systems (Q1686853) (← 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)