$[0, 1]$, for $\dot{x} = u$ with $\lvert u \rvert \leq 1$
Terms
| Term | This example | Why |
|---|---|---|
controlled_invariant |
✓ | |
forward_invariant |
✗ |
| Term | This example | Why |
|---|---|---|
controlled_invariant |
✓ | |
forward_invariant |
✗ |