Pages that link to "Item:Q4875977"

The following pages link to Performance evaluation of (max,+) automata (Q4875977):

Displaying 45 items.

• Determinization of timed Petri nets behaviors (Q312642) (← links)
• Generalized spectral radius and its max algebra version (Q389566) (← links)
• On the continuity of the generalized spectral radius in max algebra (Q541954) (← links)
• \(P_{\max}^1\) and \(S_{\max}\) properties and asymptotic stability in the max algebra (Q551246) (← links)
• String execution time for finite languages: max is easy, min is hard (Q642653) (← links)
• Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton (Q703577) (← links)
• Supervisory control of \((\max,+)\) automata: a behavioral approach (Q843993) (← links)
• Component simulation-based substitutivity managing QoS and composition issues (Q988175) (← links)
• Barabanov norms, Lipschitz continuity and monotonicity for the max algebraic joint spectral radius (Q1747280) (← links)
• Application of max-plus algebra to biological sequence comparisons (Q1870593) (← links)
• On the Burnside problem for semigroups of matrices in the \((\max,+)\) algebra (Q1914078) (← links)
• The analytic hierarchy process, max algebra and multi-objective optimisation (Q1940091) (← links)
• Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics (Q2063100) (← links)
• The non-positive circuit weight problem in parametric graphs: a solution based on dioid theory (Q2133400) (← links)
• A contribution to the determinization of max-plus automata (Q2177784) (← links)
• Towards a tropical automaton product minimizing global completion times (Q2204142) (← links)
• State estimation of max-plus automata with unobservable events (Q2280664) (← links)
• New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems (Q2348373) (← links)
• Compositions of (max,+) automata (Q2348374) (← links)
• Bisimulation relations for weighted automata (Q2481957) (← links)
• Initial-state detectability and initial-state opacity of unambiguous weighted automata (Q2664211) (← links)
• The periodical control of discrete-event dynamic system (Q2726009) (← links)
• Asymptotic height optimization for topical IFS, Tetris heaps, and the finiteness conjecture (Q2758958) (← links)
• Coinduction in concurrent timed systems (Q2919457) (← links)
• Placement Inference for a Client-Server Calculus (Q3520305) (← links)
• APPROXIMATING THE MEAN SPEEDUP IN TRACE MONOIDS (Q3538847) (← links)
• How to Tackle Integer Weighted Automata Positivity (Q3646253) (← links)
• Uncertain dynamical systems defined by pseudomeasures (Q4345161) (← links)
• Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras (Q5026795) (← links)
• Methods and applications of (max,+) linear algebra (Q5048930) (← links)
• Comparison of max-plus automata and joint spectral radius of tropical matrices (Q5111233) (← links)
• The Shortest Identities for Max-Plus Automata with Two States. (Q5111263) (← links)
• (Q5111268) (← links)
• Diagnosing Hybrid Dynamical Systems Using Max-Plus Algebraic Methods (Q5117256) (← links)
• (Q5389748) (← links)
• Approximability and Non-approximability Results in Computing the Mean Speedup of Trace Monoids (Q5428221) (← links)
• REACHABILITY PROBLEMS FOR PRODUCTS OF MATRICES IN SEMIRINGS (Q5483458) (← links)
• Asymptotic behavior in a heap model with two pieces (Q5958319) (← links)
• Model checking for a class of weighted automata (Q5962025) (← links)
• Modeling and analysis of switching max-plus linear systems with discrete-event feedback (Q6080682) (← links)
• Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata (Q6154973) (← links)
• Overview of networked supervisory control with imperfect communication channels (Q6160970) (← links)
• Switched max-plus linear-dual inequalities: cycle time analysis and applications (Q6544795) (← links)
• Simulations and bisimulations for max-plus automata (Q6580665) (← links)
• State estimation for constant-time labeled automata under dense time (Q6632510) (← links)