Performance evaluation of (max,+) automata
From MaRDI portal
Publication:4875977
DOI10.1109/9.478227zbMath0855.93019OpenAlexW2076347141MaRDI QIDQ4875977
Publication date: 4 February 1997
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.478227
Formal languages and automata (68Q45) Algebraic methods (93B25) Stochastic systems in control theory (general) (93E03) General systems (93A10)
Related Items
The non-positive circuit weight problem in parametric graphs: a solution based on dioid theory ⋮ Methods and applications of (max,+) linear algebra ⋮ Supervisory control of \((\max,+)\) automata: a behavioral approach ⋮ Determinization of timed Petri nets behaviors ⋮ Coinduction in Concurrent Timed Systems ⋮ On the Burnside problem for semigroups of matrices in the \((\max,+)\) algebra ⋮ Initial-state detectability and initial-state opacity of unambiguous weighted automata ⋮ A contribution to the determinization of max-plus automata ⋮ Generalized spectral radius and its max algebra version ⋮ Modeling and analysis of switching max-plus linear systems with discrete-event feedback ⋮ The analytic hierarchy process, max algebra and multi-objective optimisation ⋮ Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata ⋮ Overview of networked supervisory control with imperfect communication channels ⋮ Diagnosing Hybrid Dynamical Systems Using Max-Plus Algebraic Methods ⋮ Towards a tropical automaton product minimizing global completion times ⋮ Placement Inference for a Client-Server Calculus ⋮ String execution time for finite languages: max is easy, min is hard ⋮ Uncertain dynamical systems defined by pseudomeasures ⋮ APPROXIMATING THE MEAN SPEEDUP IN TRACE MONOIDS ⋮ Barabanov norms, Lipschitz continuity and monotonicity for the max algebraic joint spectral radius ⋮ Asymptotic height optimization for topical IFS, Tetris heaps, and the finiteness conjecture ⋮ Bisimulation relations for weighted automata ⋮ On the continuity of the generalized spectral radius in max algebra ⋮ Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton ⋮ \(P_{\max}^1\) and \(S_{\max}\) properties and asymptotic stability in the max algebra ⋮ Approximability and Non-approximability Results in Computing the Mean Speedup of Trace Monoids ⋮ Component simulation-based substitutivity managing QoS and composition issues ⋮ State estimation of max-plus automata with unobservable events ⋮ Asymptotic behavior in a heap model with two pieces ⋮ Model checking for a class of weighted automata ⋮ Unnamed Item ⋮ Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics ⋮ REACHABILITY PROBLEMS FOR PRODUCTS OF MATRICES IN SEMIRINGS ⋮ How to Tackle Integer Weighted Automata Positivity ⋮ Unnamed Item ⋮ The Shortest Identities for Max-Plus Automata with Two States. ⋮ Comparison of max-plus automata and joint spectral radius of tropical matrices ⋮ New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems ⋮ Compositions of (max,+) automata ⋮ Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras ⋮ Application of max-plus algebra to biological sequence comparisons
