scientific article; zbMATH DE number 1163641
From MaRDI portal
Publication:4395217
Recommendations
- A contribution to the determinization of max-plus automata
- Max-plus automata
- Task automata: Schedulability, decidability and undecidability
- Resource-aware automata and games for optimal synthesis
- scientific article; zbMATH DE number 2040921
- Compositions of (max,+) automata
- A class of automata for the verification of infinite, resource-allocating behaviours
- Resource Driven Automata Nets
- Max/Plus tree automata for termination of term rewriting
- scientific article; zbMATH DE number 2040321
Cited in
(14)- Computing the average parallelism in trace monoids.
- Analytic expansions of max-plus Lyapunov exponents.
- Towards a tropical automaton product minimizing global completion times
- New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems
- Compositions of (max,+) automata
- A central limit theorem for stochastic recursive sequences of topical operators
- On the average Cartier-Foata height of traces
- scientific article; zbMATH DE number 4086984 (Why is no real title available?)
- Synchronization of a class of cyclic discrete-event systems describing legged locomotion
- Comparison of max-plus automata and joint spectral radius of tropical matrices
- Approximability and Non-approximability Results in Computing the Mean Speedup of Trace Monoids
- Asymptotic behavior in a heap model with two pieces
- String execution time for finite languages: max is easy, min is hard
- Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4395217)
