Pages that link to "Item:Q1686857"
From MaRDI portal
The following pages link to Empirical studies in the size of diagnosers and verifiers for diagnosability analysis (Q1686857):
Displaying 3 items.
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications (Q1737742) (← links)
- Diagnosability verification using LTL model checking (Q2081084) (← links)
- Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability (Q2682315) (← links)