Simulations and bisimulations for max-plus automata
From MaRDI portal
Publication:6580665
DOI10.1007/S10626-024-00395-1zbMATH Open1544.93476MaRDI QIDQ6580665FDOQ6580665
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)
Recommendations
simulationbisimulationequivalence problemcontainment problemmax-plus semiringcomplete max-plus semiringmax-plus automaton
Max-plus and related algebras (15A80) Discrete event control/observation systems (93C65) Algebraic methods (93B25)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Handbook of weighted automata
- Bisimulations for fuzzy automata
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Modeling and analysis of timed Petri nets using heaps of pieces
- Compositions of (max,+) automata
- Performance evaluation of (max,+) automata
- Supervisory control of \((\max,+)\) automata: a behavioral approach
- A strongly polynomial algorithm for solving two-sided linear systems in max-algebra
- Exponential behaviour of the Butkovič-Zimmermann algorithm for solving two-sided linear systems in max-algebra
- Bisimulations for weighted automata over an additively idempotent semiring
- Quantitative simulations by matrices
- Size-Change Abstraction and Max-Plus Automata
- Comparison of max-plus automata and joint spectral radius of tropical matrices
- A contribution to the determinization of max-plus automata
- 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)
