Pages that link to "Item:Q4974721"
From MaRDI portal
The following pages link to Probabilistic Supervisory Control of Probabilistic Discrete Event Systems (Q4974721):
Displaying 6 items.
- A pseudometric in supervisory control of probabilistic discrete event systems (Q351739) (← links)
- Stabilization of probabilistic finite automata based on semi-tensor product of matrices (Q776109) (← links)
- Supervisory control of probabilistic discrete-event systems with recovery (Q4506936) (← links)
- Reachability and controllability analysis of probabilistic finite automata via a novel matrix method (Q5131093) (← links)
- Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. (Q5240153) (← links)
- Quantifying opacity of discrete event systems modeled with probabilistic Petri nets (Q6539394) (← links)