Pages that link to "Item:Q897674"
From MaRDI portal
The following pages link to Detectability in stochastic discrete event systems (Q897674):
Displaying 23 items.
- Generalized detectability for discrete event systems (Q539906) (← links)
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices (Q776109) (← links)
- \(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781) (← links)
- Detectability of discrete event systems with dynamic event observation (Q962185) (← links)
- Verification of detectability in probabilistic finite automata (Q1678629) (← links)
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
- Trajectory detectability of discrete-event systems (Q1729041) (← links)
- Detectability of networked discrete event systems (Q1790664) (← links)
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
- On verification of D-detectability for discrete event systems (Q2065231) (← links)
- Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection (Q2128087) (← links)
- On detectability of Boolean control networks (Q2178208) (← links)
- On detectability of labeled Petri nets and finite automata (Q2197590) (← links)
- Matrix approach to detectability of discrete event systems (Q2316509) (← links)
- Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures (Q2407177) (← links)
- State estimation and detectability of probabilistic discrete event systems (Q2518973) (← links)
- An improved approach for verifying delayed detectability of discrete-event systems (Q2663854) (← links)
- I-S detectability of partially-observed discrete event systems: a novel matrix-based method (Q2687822) (← links)
- Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds (Q2982701) (← links)
- (Q4034194) (← links)
- Probabilistic verification of diagnosability for a certain class of timed stochastic systems (Q6174049) (← links)
- Information control in networked discrete event systems (Q6546048) (← links)
- On the verification of detectability for timed discrete event systems (Q6550243) (← links)
