A constructive fixed point theorem for min-max functions

DOI10.1080/026811199281967zbMath0958.47028OpenAlexW2087150194MaRDI QIDQ4943971

Jeremy Gunawardena, Jean Cochet-Terrasson, Stéphane Gaubert

Publication date: 19 July 2000

Published in: Dynamics and Stability of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/026811199281967

zbMATH Keywords

fixed pointsspectral radiusPerron-Frobenius theorymonotonic functionstopical functionscycle time vectormin-max functionsdigital circuits

Mathematics Subject Classification ID

Fixed-point theorems (47H10)

Related Items (29)

Analytic expansions of max-plus Lyapunov exponents. ⋮ TROPICAL POLYHEDRA ARE EQUIVALENT TO MEAN PAYOFF GAMES ⋮ Unnamed Item ⋮ Max algebraic powers of irreducible matrices in the periodic regime: an application of cyclic classes ⋮ An algorithm for timing verification of systems constrained by min-max inequalities ⋮ The level set method for the two-sided max-plus eigenproblem ⋮ Tropical Fourier–Motzkin elimination, with an application to real-time verification ⋮ Max-plus matrix method and cycle time assignability and feedback stabilizability for min-max-plus systems ⋮ Generic uniqueness of the bias vector of finite zero-sum stochastic games with perfect information ⋮ Karnaugh maps of logical systems and applications in digital circuit design ⋮ Globally optimal solutions of max-min systems ⋮ Tropical linear-fractional programming and parametric mean payoff games ⋮ min-max spaces and complexity reduction in min-max expansions ⋮ State estimation and detection of changes in time interval models ⋮ On commuting matrices in max algebra and in classical nonnegative algebra ⋮ Improving Strategies via SMT Solving ⋮ Time separations of cyclic event rule systems with min-max timing constraints ⋮ Robust stability analysis for autonomous min-max systems ⋮ On the control of max-plus linear system subject to state restriction ⋮ Tropical polar cones, hypergraph transversals, and mean payoff games ⋮ Max-algebraic attraction cones of nonnegative irreducible matrices ⋮ The balance problem of min-max systems is co-nNP hard ⋮ A policy iteration algorithm for zero-sum stochastic games with mean payoff ⋮ Output feedback stabilization for a class of nonlinear time-evolution systems ⋮ Unnamed Item ⋮ CSR expansions of matrix powers in max algebra ⋮ On stabilization of min-max systems. ⋮ Conditions for the structural existence of an eigenvalue of a bipartite \((\min,\max,+)\)-system. ⋮ From max-plus algebra to nonexpansive mappings: A nonlinear theory for discrete event systems.

This page was built for publication: A constructive fixed point theorem for min-max functions