On the decidability of membership in matrix-exponential semigroups
We consider the decidability of the membership problem for matrix-exponential semigroups: given k ∈ N and square matrices A1, . . . ,Ak,C, all of the same dimension and with real algebraic entries, decide whether C is contained in the semigroup generated by the matrix exponentials exp(Ait), where i...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
Association for Computing Machinery
2019
|