uncontrollable_states(G1,G2)
compute the set of all uncontrollable states of G2 w.r.t G1.
Parameters
| Name | Type | Description | Default |
|---|---|---|---|
G1 |
string | automaton model name | required |
G2 |
string | automaton model name | required |
Example
pitct.uncontrollable_states('G1','G2')