Simulations and bisimulations for max-plus automata

DOI10.1007/S10626-024-00395-1zbMATH Open1544.93476MaRDI QIDQ6580665

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

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

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Bisimulations for fuzzy automata
• Computation of the greatest simulations and bisimulations between fuzzy automata
• Quantitative simulations by matrices
• Handbook of weighted automata
• Supervisory control of \((\max,+)\) automata: a behavioral approach
• Exponential behaviour of the Butkovič-Zimmermann algorithm for solving two-sided linear systems in max-algebra
• Weakly linear systems for matrices over the max-plus quantale
• A contribution to the determinization of max-plus automata
• Compositions of (max,+) automata
• Bisimulations for weighted automata over an additively idempotent semiring
• A strongly polynomial algorithm for solving two-sided linear systems in max-algebra
• Size-Change Abstraction and Max-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

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)