The following pages link to (Q5375247):
Displaying 7 items.
- Synthesis for observability of logical control networks (Q2165980) (← links)
- On detectability of labeled Petri nets and finite automata (Q2197590) (← links)
- (Q3350779) (← links)
- Output Observability of Systems Over Finite Alphabets With Linear Internal Dynamics (Q4559500) (← links)
- Critical Observability for Automata and Petri Nets (Q5211340) (← links)
- Observability for Pair Pattern Calculi (Q5277835) (← links)
- A survey on observability of Boolean control networks (Q6063112) (← links)