Simulations and bisimulations for max-plus automata

DOI10.1007/S10626-024-00395-1MaRDI QIDQ6580665zbMATH OpenFDO

Authors Miroslav Ćirić, Ivana Micić, Jelena Matejić, Aleksandar Stamenković

Publication date 29 July 2024

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

zbMATH Keywords

simulationbisimulationequivalence problemcontainment problemmax-plus semiringcomplete max-plus semiringmax-plus automaton

Mathematics Subject Classification ID

Max-plus and related algebras (15A80) Discrete event control/observation systems (93C65) Algebraic methods (93B25)

Recommendations

• Bisimulations for weighted automata over an additively idempotent semiring
• scientific article; zbMATH DE number 2040321
• Quantitative simulations by matrices
• Generic forward and backward simulations. III: Quantitative simulations by matrices
• Max-plus automata

Cites work

• scientific article; zbMATH DE number 627763 (Why is no real title available?)
• scientific article; zbMATH DE number 1358710 (Why is no real title available?)
• A contribution to the determinization of max-plus automata
• A strongly polynomial algorithm for solving two-sided linear systems in max-algebra
• Bisimulations for fuzzy automata
• Bisimulations for weighted automata over an additively idempotent semiring
• Comparison of max-plus automata and joint spectral radius of tropical matrices
• Compositions of (max,+) automata
• Computation of the greatest simulations and bisimulations between fuzzy automata
• Exponential behaviour of the Butkovič-Zimmermann algorithm for solving two-sided linear systems in max-algebra
• Handbook of weighted automata
• Modeling and analysis of timed Petri nets using heaps of pieces
• Performance evaluation of (max,+) automata
• Quantitative simulations by matrices
• Size-Change Abstraction and Max-Plus Automata
• Supervisory control of \((\max,+)\) automata: a behavioral approach
• Weakly linear systems for matrices over the max-plus quantale

This page was built for publication: Simulations and bisimulations for max-plus automata

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