On the decidability of reachability in linear time-invariant systems
We consider the decidability of state-to-state reachability in linear time-invariant control systems over discrete time. We analyse this problem with respect to the allowable control sets, which in general are assumed to be defined by boolean combinations of linear inequalities. Decidability of the...
| Main Authors: | , , , , |
|---|---|
| Format: | Conference item |
| Published: |
Association for Computing Machinery
2019
|