Pages that link to "Item:Q2407177"
From MaRDI portal
The following pages link to Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures (Q2407177):
Displaying 16 items.
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices (Q776109) (← 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)
- Deciding detectability for labeled Petri nets (Q1737932) (← links)
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
- Detectability of labeled weighted automata over monoids (Q2081085) (← links)
- On detectability of labeled Petri nets and finite automata (Q2197590) (← links)
- State estimation of max-plus automata with unobservable events (Q2280664) (← links)
- An improved approach for verifying delayed detectability of discrete-event systems (Q2663854) (← links)
- Initial-state detectability and initial-state opacity of unambiguous weighted automata (Q2664211) (← 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)
- Quantifying opacity of discrete event systems modeled with probabilistic Petri nets (Q6539394) (← links)
- Matrix approach to I-detectability of partially observed discrete event systems (Q6578823) (← links)
- Path detectability verification for time-dependent systems with application to flexible manufacturing systems (Q6658942) (← links)
