Pages that link to "Item:Q1737742"
From MaRDI portal
The following pages link to Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications (Q1737742):
Displaying 14 items.
- Abstraction-based verification of codiagnosability for discrete event systems (Q710695) (← links)
- A necessary and sufficient condition for diagnosability of stochastic discrete event systems (Q1677190) (← links)
- Empirical studies in the size of diagnosers and verifiers for diagnosability analysis (Q1686857) (← links)
- Performance safety enforcement in strongly connected timed event graphs (Q2021327) (← links)
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches (Q2058490) (← links)
- \(K\)-diagnosability analysis of bounded and unbounded Petri nets using linear optimization (Q2103666) (← links)
- Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks (Q2123407) (← links)
- Decentralized diagnosis of discrete event systems subject to permanent sensor failures (Q2673757) (← links)
- Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability (Q2682315) (← links)
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems (Q5158671) (← links)
- Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata (Q5211195) (← links)
- Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions (Q5352760) (← links)
- Diagnosability of labeled \(\mathfrak{D}_{\mathfrak{p}}\)-automata (Q6614006) (← links)
- Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems (Q6645045) (← links)
