Solvability of Matrix-Exponential Equations

DOI10.1145/2933575.2934538zbMath1395.15012arXiv1601.05002OpenAlexW2290727773MaRDI QIDQ4635944

Joao Sousa-Pinto, Joël Ouaknine, Amaury Pouly, James Worrell

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1601.05002

zbMATH Keywords

hybrid automatacommuting matricesmatrix logarithmsexponential matricesmatrix reachability

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Decidability (number-theoretic aspects) (11U05) Matrix equations and identities (15A24) Matrix exponential and similar functions of matrices (15A16)

Related Items (4)

The membership problem for subsemigroups of \(\operatorname{GL}_2(\mathbb{Z})\) is \textbf{NP}-complete ⋮ Unnamed Item ⋮ On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond ⋮ On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond

This page was built for publication: Solvability of Matrix-Exponential Equations