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 e...
Main Authors: | Ouaknine, J, Pouly, A, Sousa-Pinto, J, Worrell, J |
---|---|
Format: | Conference item |
Published: |
Association for Computing Machinery
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) -
On the polytope escape problem for continuous linear dynamical systems
by: Ouaknine, J, et al.
Published: (2017)