Max-Plus Convex Geometry

Max-plus analogues of linear spaces, convex sets, and polyhedra have appeared in several works. We survey their main geometrical properties, including max-plus versions of the separation theorem, existence of linear and non-linear projectors, max-plus analogues of the Minkowski-Weyl theorem, and the characterization of the analogues of “simplicial” cones in terms of distributive lattices.

[1]  Stéphane Gaubert,et al.  Projection and Aggregation in Maxplus Algebra , 2006 .

[2]  S. Gaubert,et al.  THE DUALITY THEOREM FOR MIN-MAX FUNCTIONS , 1997 .

[3]  Victor Pavlovich Maslov,et al.  Idempotent Mathematics and Mathematical Physics , 2005 .

[4]  M. Joswig.  Tropical Halfspaces , 2003, math/0312068.

[5]  G. Shpiz,et al.  Convex sets in the semimodule of bounded functions , 1992 .

[6]  Eric Goubault,et al.  A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs , 2005, CAV.

[7]  Ki Hang Kim.  Boolean matrix theory and applications , 1982 .

[8]  Marianne Akian,et al.  Discrete max-plus spectral theory , 2005 .

[9]  B. Sturmfels,et al.  Tropical Convexity , 2003, math/0308254.

[10]  R. Tyrrell Rockafellar,et al.  Convex Analysis , 1970, Princeton Landmarks in Mathematics and Physics.

[11]  Luca Zaccarian,et al.  Current trends in nonlinear systems and control : in honor of Petar Kokotović and Turi Nicosia , 2006 .

[12]  S. Gaubert,et al.  The Perron-Frobenius theorem for homogeneous, monotone functions , 2001, math/0105091.

[13]  Stéphane Gaubert,et al.  How to solve large scale deterministic games with mean payoff by policy iteration , 2006, valuetools '06.

[14]  Ricardo D. Katz,et al.  The Minkowski theorem for max-plus convex sets , 2006, math/0605078.

[15]  S. Gaubert,et al.  The max-plus Martin boundary , 2004, Documenta Mathematica.

[16]  Solutions of max-plus linear equations and large deviations , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[17]  I. Singer,et al.  Topical and sub-topical functions, downward sets and abstract convexity , 2001 .

[18]  Victor Pavlovich Maslov,et al.  Advances in Soviet mathematics , 1990 .

[19]  Jeremy Gunawardena,et al.  From max-plus algebra to nonexpansive mappings: a nonlinear theory for discrete event systems , 2003, Theor. Comput. Sci..

[20]  V. Kolokoltsov,et al.  Idempotent Analysis and Its Applications , 1997 .

[21]  Stationary Hamilton-Jacobi and Bellman equations (existence and uniqueness of solutions) , 1992 .

[22]  H. Schneider,et al.  Generators, extremals and bases of max cones , 2006, math/0604454.

[23]  S. Gaubert,et al.  Set coverings and invertibility of functional Galois connections , 2004, math/0403441.

[24]  J. Quadrat,et al.  Linear Projectors in the max-plus Algebra , 1997 .

[25]  J. Quadrat,et al.  Duality and separation theorems in idempotent semimodules , 2002, math/0212294.

[26]  A. Rubinov.  Abstract Convexity and Global Optimization , 2000 .

[27]  Stéphane Gaubert,et al.  The Max-Plus Finite Element Method for Solving Deterministic Optimal Control Problems: Basic Properties and Convergence Analysis , 2008, SIAM J. Control. Optim..

[28]  J. Quadrat,et al.  Supported by the Austrian Federal Ministry of Education, Science and CultureMAX-PLUS CONVEX SETS AND FUNCTIONS , 2022 .

[29]  Cormac Walsh,et al.  The horofunction boundary of finite-dimensional normed spaces , 2005, Mathematical Proceedings of the Cambridge Philosophical Society.

[30]  Виктор Павлович Маслов,et al.  Идемпотентный функциональный анализ. Алгебраический подход@@@Idempotent Functional Analysis: An Algebraic Approach , 2001 .

[31]  Marianne Akian,et al.  Max-Plus Algebra , 2006 .

[32]  Siegfried Helbig,et al.  On Carathéodory's and Krein-Milman's theorems in fully ordered groups , 1988 .

[33]  L. Hogben.  Handbook of Linear Algebra , 2006 .

[34]  M. Akian,et al.  The max-plus finite element method for optimal control problems: further approximation results , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[35]  Ricardo Katz.  Max-Plus $(A,B)$-Invariant Spaces and Control of Timed Discrete-Event Systems , 2007, IEEE Transactions on Automatic Control.

[36]  J. Quadrat,et al.  Max-Plus Algebra and System Theory: Where We Are and Where to Go Now , 1999 .

[37]  Jean Cochet-Terrasson.  A constructive xed point theorem for min-max functions , 1999 .

[38]  Albert Fathi,et al.  Weak KAM Theorem in Lagrangian Dynamics , 2001 .