Pages that link to "Item:Q2056383"
From MaRDI portal
The following pages link to Detectability verification of probabilistic Boolean networks (Q2056383):
Displaying 14 items.
- Verification of detectability in probabilistic finite automata (Q1678629) (← links)
- Observability of singular Boolean control networks with state delays (Q2068311) (← links)
- Pinning detectability of Boolean control networks with injection mode (Q2090514) (← links)
- Distributional observability of probabilistic Boolean networks (Q2242932) (← links)
- Minimal observability of Boolean control networks (Q2670732) (← links)
- Friedman's question: Detectability of bridging faults in irredundant computational logic networks (Q5202145) (← links)
- Observability of Boolean control networks with stochastic disturbances (Q6078209) (← links)
- Output feedback observability of switched Boolean control networks (Q6125236) (← links)
- Robust set stability of probabilistic Boolean networks under general stochastic function perturbation (Q6178369) (← links)
- Asymptotic stability of probabilistic logical networks with random impulsive effects (Q6186856) (← links)
- Detectability of Boolean networks: a finite-time convergent matrix approach (Q6193219) (← links)
- Approximate synchronization of coupled multi-valued logical networks (Q6496113) (← links)
- Optimal output tracking of Boolean control networks (Q6496134) (← links)
- Infinite- and \(K\)-step opacity verification of discrete-event systems under nondeterministic observations (Q6594952) (← links)