Comparison of max-plus automata and joint spectral radius of tropical matrices

DOI10.4230/LIPIcs.MFCS.2017.19zbMath1441.68119arXiv1612.02647OpenAlexW2963247938MaRDI QIDQ5111233

Laure Daviaud, Pierre Guillon, Glenn Merlet

Publication date: 26 May 2020

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

zbMATH Keywords

joint spectral radiusweighted automatatropical semiringmax-plus automatamax-plus matricesultimate rank

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Max-plus and related algebras (15A80)

Related Items

A contribution to the determinization of max-plus automata, Unnamed Item, Finite sequentiality of unambiguous max-plus tree automata

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
• Semigroup of matrices acting on the max-plus projective space
• On NFAs where all states are final, initial, or both
• On the Burnside problem for semigroups of matrices in the \((\max,+)\) algebra
• Bounds for joint spectral radii of a set of nonnegative matrices
• The ultimate rank of tropical matrices
• Bounds for the Perron root using max eigenvalues
• Approximating the spectral radius of sets of matrices in the max-algebra is NP-hard
• Size-Change Abstraction and Max-Plus Automata
• What’s Decidable about Weighted Automata?
• On the definition of a family of automata
• Series which are both max-plus and min-plus rational are unambiguous
• Max-linear Systems: Theory and Algorithms
• Universal diophantine equation
• Modeling and analysis of timed Petri nets using heaps of pieces
• Performance evaluation of (max,+) automata
• The equality problem for rational series with multiplicities in the tropical semiring is undecidable
• REACHABILITY PROBLEMS FOR PRODUCTS OF MATRICES IN SEMIRINGS