Pages that link to "Item:Q710695"
From MaRDI portal
The following pages link to Abstraction-based verification of codiagnosability for discrete event systems (Q710695):
Displayed 4 items.
- Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions (Q513180) (← links)
- Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach (Q1690519) (← links)
- Implementation of inference-based diagnosis: computing delay bound and ambiguity levels (Q1788696) (← links)
- Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems (Q2821258) (← links)