A contribution to the determinization of max-plus automata
From MaRDI portal
Publication:2177784
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
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
