Pages that link to "Item:Q5158671"
From MaRDI portal
The following pages link to A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems (Q5158671):
Displaying 6 items.
- Codiagnosability and coobservability under dynamic observations: transformation and verification (Q900685) (← links)
- Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach (Q2060855) (← links)
- Detectability of labeled weighted automata over monoids (Q2081085) (← links)
- Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
- Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability (Q2682315) (← links)
- Diagnosability of labeled \(\mathfrak{D}_{\mathfrak{p}}\)-automata (Q6614006) (← links)
