Pages that link to "Item:Q5211195"
From MaRDI portal
The following pages link to Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata (Q5211195):
Displaying 7 items.
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches (Q2058490) (← links)
- Enforcing current-state opacity through shuffle and deletions of event observations (Q2065172) (← 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)
- Minimal diagnosis and diagnosability of discrete-event systems modeled by automata (Q2658452) (← links)
- Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability (Q2682315) (← links)
- Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions (Q5352760) (← links)