A contribution to the determinization of max-plus automata

DOI10.1007/S10626-019-00309-6zbMath1435.68177OpenAlexW3004058610MaRDI QIDQ2177784

Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond, Aiwen Lai

Publication date: 6 May 2020

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-019-00309-6

zbMATH Keywords

max-plus algebraweighted automatadeterminization

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

Weakly linear systems for matrices over the max-plus quantale ⋮ Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Rigorous approximated determinization of weighted automata
• Handbook of weighted automata
• Computing the vertices of tropical polyhedra using directed hypergraphs
• Bisimulations for weighted automata over an additively idempotent semiring
• Sequential?
• Supervisory control of (max,+) automata: extensions towards applications
• TROPICAL POLYHEDRA ARE EQUIVALENT TO MEAN PAYOFF GAMES
• Series which are both max-plus and min-plus rational are unambiguous
• Conjugacy and Equivalence of Weighted Automata and Functional Transducers
• A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata
• Modeling and analysis of timed Petri nets using heaps of pieces
• Performance evaluation of (max,+) automata
• Comparison of max-plus automata and joint spectral radius of tropical matrices
• The equality problem for rational series with multiplicities in the tropical semiring is undecidable

This page was built for publication: A contribution to the determinization of max-plus automata