Solvability of matrix-exponential equations
We consider a continuous analogue of (Babai et al. 1996)’s and (Cai et al. 2000)’s problem of solving multiplicative matrix equations. Given k + 1 square matrices A1,..., Ak, C, all of the same dimension, whose entries are real algebraic, we examine the problem of deciding whether there exist non-ne...
Main Authors: | Ouaknine, J, Pouly, A, Sousa Pinto, J, Worrell, J |
---|---|
Format: | Conference item |
Published: |
ACM/IEEE Symposium on Logic in Computer Science
2016
|
Similar Items
-
Solvability of matrix-exponential equations
by: Ouaknine, J, et al.
Published: (2016) -
Solvability of matrix-exponential equations
by: Ouaknine, J, et al.
Published: (2016) -
On the decidability of membership in matrix-exponential semigroups
by: Ouaknine, J, et al.
Published: (2019) -
On the decidability of reachability in linear time-invariant systems
by: Fijalkow, N, et al.
Published: (2019) -
Algebraic invariants for linear hybrid automata
by: Majumdar, R, et al.
Published: (2020)