A contribution to the determinization of max-plus automata

DOI10.1007/S10626-019-00309-6MaRDI QIDQ2177784zbMATH OpenOpenAlexFDO

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

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

determinizationmax-plus algebraweighted automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 2040921
• On delay and regret determinization of max-plus automata
• Size-Change Abstraction and Max-Plus Automata
• Max-plus automata
• Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton

Cites work

• A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata
• Bisimulations for weighted automata over an additively idempotent semiring
• Comparison of max-plus automata and joint spectral radius of tropical matrices
• Computing the vertices of tropical polyhedra using directed hypergraphs
• Conjugacy and Equivalence of Weighted Automata and Functional Transducers
• Elements of automata theory. Translated from the French by Reuben Thomas
• Handbook of weighted automata
• scientific article; zbMATH DE number 627763 (Why is no real title available?)
• Modeling and analysis of timed Petri nets using heaps of pieces
• On delay and regret determinization of max-plus automata
• Performance evaluation of (max,+) automata
• Rigorous approximated determinization of weighted automata
• Sequential?
• Series which are both max-plus and min-plus rational are unambiguous
• Supervisory control of (max,+) automata: extensions towards applications
• The equality problem for rational series with multiplicities in the tropical semiring is undecidable
• Tropical polyhedra are equivalent to mean payoff games

Cited in

(9)

• Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics
• Weakly linear systems for matrices over the max-plus quantale
• Size-Change Abstraction and Max-Plus Automata
• scientific article; zbMATH DE number 1163641 (Why is no real title available?)
• Performance evaluation of (max,+) automata
• The Shortest Identities for Max-Plus Automata with Two States.
• On delay and regret determinization of max-plus automata
• Simulations and bisimulations for max-plus automata
• Finite determinization of fuzzy automata using a parametric product-based t-norm

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2177784)