Bibliography

Major publications by the team in recent years

• 1M. Akian.
  
  Densities of idempotent measures and large deviations, in: Transactions of the American Mathematical Society, 1999, vol. 351, n^o 11, pp. 4515–4543.
• 2M. Akian, R. Bapat, S. Gaubert.
  
  Max-plus algebras, in: Handbook of Linear Algebra (Discrete Mathematics and Its Applications), L. Hogben (editor), Chapman & Hall/CRC, 2006, vol. 39, Chapter 25.
• 3M. Akian, S. Gaubert.
  
  Spectral Theorem for Convex Monotone Homogeneous Maps, and ergodic Control, in: Nonlinear Analysis. Theory, Methods & Applications, 2003, vol. 52, n^o 2, pp. 637-679.
  
  http://hal.inria.fr/inria-00000201/en/
• 4M. Akian, S. Gaubert, B. Lemmens, R. Nussbaum.
  
  Iteration of order preserving subhomogeneous maps on a cone, in: Math. Proc. Cambridge Philos. Soc., 2006, vol. 140, n^o 1, pp. 157–176.
  
  http://www.arxiv.org/abs/math.DS/0410084
• 5M. Akian, A. Sulem, M. Taksar.
  
  Dynamic optimisation of long term growth rate for a portfolio with transaction costs and logarithmic utility, in: Mathematical Finance, 2001, vol. 11, n^o 2, pp. 153–188.
• 6F. Baccelli, G. Cohen, G. Olsder, J.-P. Quadrat.
  
  Synchronisation and Linearity, Wiley, 1992.
• 7J. Cochet-Terrasson, S. Gaubert, J. Gunawardena.
  
  A constructive fixed point theorem for min-max functions, in: Dynamics and Stability of Systems, 1999, vol. 14, n^o 4.
• 8G. Cohen, S. Gaubert, J.-P. Quadrat.
  
  Duality and Separation Theorems in Idempotent Semimodules, in: Linear Algebra and Appl., 2004, vol. 379, pp. 395–422.
  
  http://arxiv.org/abs/math.FA/0212294
• 9G. Cohen, S. Gaubert, J.-P. Quadrat.
  
  Max-plus algebra and system theory: where we are and where to go now, in: Annual Reviews in Control, 1999, vol. 23, pp. 207–219.
• 10S. Gaubert, J. Gunawardena.
  
  The Perron-Frobenius Theorem for Homogeneous, Monotone Functions, in: Trans. of AMS, 2004, vol. 356, n^o 12, pp. 4931-4950.
  
  http://www.ams.org/tran/2004-356-12/S0002-9947-04-03470-1/home.html

Publications of the year

Articles in International Peer-Reviewed Journals

• 11A. Adjé, S. Gaubert, E. Goubault.
  
  Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs, in: Journal of Mathematical Analysis and applications, February 2014, vol. 410, n^o 1, pp. 227-240, Also arXiv:0806.1160. [ DOI : 10.1016/j.jmaa.2013.07.076 ]
  
  https://hal.archives-ouvertes.fr/hal-00940804
• 12M. Akian, S. Gaubert, A. Marchesini.
  
  Tropical bounds for eigenvalues of matrices, in: Linear Algebra and its Applications, April 2014, vol. 446, pp. 281–303, See also arXiv:1309.7319. [ DOI : 10.1016/j.laa.2013.12.021 ]
  
  https://hal.inria.fr/hal-00881205
• 13X. Allamigeon, A. Legay, U. Fahrenberg, R. Katz, S. Gaubert.
  
  Tropical Fourier–Motzkin elimination, with an application to real-time verification, in: International Journal of Algebra and Computation (IJAC), 2014, vol. 24, n^o 5, pp. 569 - 607. [ DOI : 10.1142/S0218196714500258 ]
  
  https://hal.inria.fr/hal-01087367
• 14F. Billy, J. Clairambault, O. Fercoq, S. Gaubert, T. Lepoutre, T. Ouillon, S. Saito.
  
  Synchronisation and control of proliferation in cycling cell population models with age structure, in: Mathematics and Computers in Simulation, February 2014, vol. 96, pp. 66-94. [ DOI : 10.1016/j.matcom.2012.03.005 ]
  
  https://hal.archives-ouvertes.fr/hal-00662885
• 15J. Bolte, S. Gaubert, G. Vigeral.
  
  Definable Zero-Sum Stochastic Games, in: Mathematics of Operations Research, 2014, pp. 1-29, Published online. [ DOI : 10.1287/moor.2014.0666 ]
  
  https://hal.archives-ouvertes.fr/hal-00777707
• 16S. Gaubert, Z. Qu.
  
  The contraction rate in Thompson part metric of order-preserving flows on a cone - application to generalized Riccati equations, in: Journal of Differential Equations, April 2014, vol. 256, n^o 8, pp. 2902-2948, Also arXiv:1206.0448. [ DOI : 10.1016/j.jde.2014.01.024 ]
  
  https://hal.inria.fr/hal-00783972
• 17S. Gaubert, Z. Qu.
  
  Dobrushin ergodicity coefficient for Markov operators on cones, in: Integral Equations and Operator Theory, January 2015, vol. 1, n^o 81, pp. 127-150, Also arXiv:1307.4649. [ DOI : 10.1007/s00020-014-2193-2 ]
  
  https://hal.inria.fr/hal-01099179
• 18V. Magron, X. Allamigeon, S. Gaubert, B. Werner.
  
  Certification of real inequalities: templates and sums of squares, in: Mathematical Programming B, November 2014, 30 p, Also arXiv:1403.5899. [ DOI : 10.1007/s10107-014-0834-5 ]
  
  https://hal.inria.fr/hal-01096485
• 19V. Magron, X. Allamigeon, S. Gaubert, B. Werner.
  
  Formal Proofs for Nonlinear Optimization, in: Journal of Formalized Reasoning, January 2015, vol. 8, n^o 15, pp. 1-24, Also ArXiv:1404.7282.
  
  https://hal.archives-ouvertes.fr/hal-00985675
• 20P. Poncet.
  
  Convexities on ordered structures have their Krein–Milman theorem, in: Journal of Convex Analysis, 2014, vol. 21, n^o 1, pp. 89–120, See also arXiv:1301.0760.
  
  https://hal.inria.fr/hal-00922374
• 21P. Poncet.
  
  The idempotent Radon–Nikodym theorem has a converse statement, in: Information Sciences, July 2014, n^o 271, pp. 115–124, See also arXiv:1301.0140. [ DOI : 10.1016/j.ins.2014.02.074 ]
  
  https://hal.inria.fr/hal-00922377
• 22Z. Qu.
  
  Contraction of Riccati flows applied to the convergence analysis of a max-plus curse of dimensionality free method, in: SIAM Journal on Control and Optimization, September 2014, vol. 52, n^o 5, pp. 2677-2709, Also arXiv:1301.4777. [ DOI : 10.1137/130906702 ]
  
  https://hal.inria.fr/hal-01112251

Invited Conferences

• 23M. Akian.
  
  Log-majorization of eigenvalues of matrix polynomials and tropical scaling, in: Structured Matrix Days, Limoges, France, May 2014.
  
  https://hal.inria.fr/hal-01104386
• 24S. Gaubert.
  
  From tropical linear algebra to zero-sum games, in: The 19th International Linear Algebra Society Conference, Seoul, South Korea, August 2014, Invited Plenary Talk.
  
  https://hal.inria.fr/hal-01112709

International Conferences with Proceedings

• 25M. Akian, S. Gaubert, A. Hochart.
  
  Generic uniqueness of the bias vector of mean payoff zero-sum games, in: 53rd IEEE Conference on Decision and Control, Los Angeles, United States, December 2014, See also arXiv:1411.1211.
  
  https://hal.inria.fr/hal-01095930
• 26X. Allamigeon, P. Benchimol, S. Gaubert.
  
  The tropical shadow-vertex algorithm solves mean payoff games in polynomial time on average, in: ICALP 2014, Copenhagen, France, J. Esparza, P. Fraigniaud, T. Husfeldt, E. Koutsoupias (editors), 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I, Springer, July 2014, vol. 8572, 12 p. [ DOI : 10.1007/978-3-662-43948-7_8 ]
  
  https://hal.inria.fr/hal-01096447
• 27X. Allamigeon, P. Benchimol, S. Gaubert, M. Joswig.
  
  La méthode du simplexe tropical, in: ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d’aide à la décision, Bordeaux, France, Société française de recherche opérationnelle et d’aide à la décision (ROADEF), February 2014, arxiv 1308.0454.
  
  https://hal.inria.fr/hal-01097726
• 28V. Calvez, P. Gabriel, S. Gaubert.
  
  Non-linear eigenvalue problems arising from growth maximization of positive linear dynamical systems, in: IEEE 53rd Annual Conference on Decision and Control (CDC 2014), Los Angeles, United States, December 2014, pp. 1600–1607, Also arXiv:1404.1868.
  
  https://hal.archives-ouvertes.fr/hal-00974749
• 29S. Gaubert, Z. Qu, S. Sridharan.
  
  Bundle-based pruning in the max-plus curse of dimensionality free method, in: Proceedings of the 21st International Symposium on Mathematical Theory of Networks and Systems, Groningen, Netherlands, July 2014, See also arXiv:1402.1436.
  
  https://hal.inria.fr/hal-01099175
• 30Z. Qu.
  
  A max-plus based randomized algorithm for solving a class of HJB PDEs, in: 53rd IEEE Conference on Decision and Control, Los Angeles, United States, Proceedings of the 53rd IEEE Conference on Decision and Control, IEEE, December 2014, pp. 1575–1580.
  
  https://hal.inria.fr/hal-01112264

Conferences without Proceedings

• 31M. Akian, S. Gaubert.
  
  Complexity of policy iteration for stochastic zero-sum games, in: PGMO-COPI'14, Paris-Saclay, France, October 2014.
  
  https://hal.inria.fr/hal-01104409
• 32M. Akian, S. Gaubert.
  
  Policy iteration for stochastic zero-sum games, in: NETCO, Tours, France, June 2014.
  
  https://hal.inria.fr/hal-01104405
• 33M. Akian, S. Gaubert, A. Hochart.
  
  Fixed Point Sets of Payment-Free Shapley Operators and Structural Properties of Mean Payoff Games, in: MTNS 2014, Groningen, Netherlands, July 2014.
  
  https://hal.inria.fr/hal-01112278
• 34M. Akian, S. Gaubert, A. Hochart.
  
  Generic uniqueness of the bias vector of mean-payoff zero-sum games, in: PGMO-COPI'14, Palaiseau, France, October 2014.
  
  https://hal.inria.fr/hal-01112285
• 35M. Akian, S. Gaubert, A. Hochart.
  
  Points fixes d’opérateur de Shapley sans paiement et propriétés structurelles des jeux à paiement moyen, in: MODE 2014, Rennes, France, March 2014.
  
  https://hal.inria.fr/hal-01112301
• 36M. Akian, S. Gaubert, J. Hook, A. Marchesini, F. Tisseur.
  
  Asymptotic eigenvalue problems, in: ILAS, Seoul, South Korea, August 2014.
  
  https://hal.inria.fr/hal-01112260
• 37M. Akian, S. Gaubert, A. Marchesini.
  
  Tropical bounds for eigenvalues of matrices using Hungarian dual variables, in: ILAS, Seoul, South Korea, August 2014.
  
  https://hal.inria.fr/hal-01104401
• 38M. Akian, P. Poncet.
  
  Krein–Milman's and Choquet's theorems in the max-plus world, in: Domains XI (International workshop on domain theory and applications), PARIS, France, September 2014.
  
  https://hal.inria.fr/hal-01112248
• 39X. Allamigeon, P. Benchimol, S. Gaubert, M. Joswig.
  
  Combinatorial Simplex Algorithms Can Solve Mean Payoff Games, in: The 21st International Symposium on Mathematical Theory of Networks and Systems (MTNS 2014), Groningen, Netherlands, July 2014.
  
  https://hal.inria.fr/hal-01097727
• 40X. Allamigeon, P. Benchimol, S. Gaubert, M. Joswig.
  
  Combinatorial simplex algorithms can solve mean payoff games, in: 20th Conference of the International Federation of Operational Research Societies, Barcelone, Spain, July 2014.
  
  https://hal.inria.fr/hal-01097728
• 41X. Allamigeon, P. Benchimol, S. Gaubert, M. Joswig.
  
  Long and winding central paths, in: Recent Advances in Linear Optimization, Champs sur marne, France, July 2014.
  
  https://hal.inria.fr/hal-01097729

Scientific Books (or Scientific Book chapters)

• 42M. Akian, S. Gaubert, A. Guterman.
  
  Tropical Cramer Determinants Revisited, in: Tropical and Idempotent Mathematics and Applications, G. Litvinov, S. Sergeev (editors), Contemporary Mathematics, AMS, 2014, vol. 616, 45 p, See also arXiv:1309.6298.
  
  https://hal.inria.fr/hal-00881203
• 43C. Walsh.
  
  The horoboundary and isometry group of Thurston's Lipschitz metric, in: Handbook of Teichmüller Theory, Volume IV, A. Papadopoulos (editor), IRMA Lectures in Mathematics and Theoretical Physics, European Mathematical Society, May 2014, vol. 19, 838 p.
  
  https://hal.inria.fr/hal-01098838
• 44C. Walsh.
  
  The horofunction boundary and isometry group of the Hilbert geometry, in: Handbook of Hilbert Geometry, A. Papadopoulos, M. Troyanov (editors), IRMA Lectures in Mathematics and Theoretical Physics, European Mathematical Society, 2014, vol. 22.
  
  https://hal.inria.fr/hal-00782827

Scientific Popularization

• 45M. Akian.
  
  Policy iteration for stochastic zero-sum games, 2014, NETCO 2014, Parallel session/ slides.
  
  https://hal.inria.fr/hal-01024097

Other Publications

• 46M. Akian, S. Gaubert, A. Hochart.
  
  Ergodicity conditions for zero-sum games, May 2014, Preprint arXiv: 1405.4658, 30 pages.
  
  https://hal.inria.fr/hal-01096206
• 47M. Akian, S. Gaubert, A. Hochart.
  
  Fixed point of payment-free Shapley operators and structural properties of mean payoff games, June 2014, NETCO 2014, Poster.
  
  https://hal.inria.fr/hal-01112271
• 48M. Akian, S. Gaubert, A. Hochart.
  
  Fixed point of payment-free Shapley operators and structural properties of mean payoff games, June 2014, Mathematical Aspects of Game Theory and Applications (MAGTA 2014), Poster.
  
  https://hal.inria.fr/hal-01112660
• 49X. Allamigeon, P. Benchimol, S. Gaubert, M. Joswig.
  
  Combinatorial simplex algorithms can solve mean payoff games, 2014, Preprint arXiv:1309.5925, 15 pages, 3 figures. To appear in SIAM Journal on Optimization.
  
  https://hal.inria.fr/hal-00930915
• 50X. Allamigeon, P. Benchimol, S. Gaubert, M. Joswig.
  
  Long and winding central paths, May 2014, Preprint arXiv:1405.4161.
  
  https://hal.inria.fr/hal-01096452
• 51X. Allamigeon, P. Benchimol, S. Gaubert, M. Joswig.
  
  Tropicalizing the simplex algorithm, 2014, Preprint arXiv:1308.0454, 35 pages, 7 figures, 4 algorithms. To appear in SIAM Journal on Discrete Mathematics.
  
  https://hal.inria.fr/hal-00930913
• 52X. Allamigeon, R. D. Katz.
  
  Tropicalization of facets of polytopes, August 2014, Preprint arXiv:1408.6176.
  
  https://hal.inria.fr/hal-01096435
• 53S. Gaubert, Z. Qu.
  
  Checking the strict positivity of Kraus maps is NP-hard, February 2014, Preprint arXiv:1402.1429.
  
  https://hal.inria.fr/hal-01097942

References in notes

• 54A. Neyman, S. Sorin (editors)
  
  Stochastic games and applications, NATO Science Series C: Mathematical and Physical Sciences, Kluwer Academic Publishers, Dordrecht, 2003, vol. 570, x+473 p.
• 55M. Akian, R. Bapat, S. Gaubert.
  
  Perturbation of eigenvalues of matrix pencils and optimal assignment problem, in: C. R. Acad. Sci. Paris, Série I, 2004, vol. 339, pp. 103–108.
  
  http://www.arxiv.org/abs/math.SP/0402438
• 56M. Akian, R. Bapat, S. Gaubert.
  
  Min-plus methods in eigenvalue perturbation theory and generalised Lidskii-Vishik-Ljusternik theorem, 2005.
  
  http://arxiv.org/abs/math.SP/0402090
• 57M. Akian, R. Bapat, S. Gaubert.
  
  Asymptotics of the Perron Eigenvalue and Eigenvector using Max Algebra, in: C. R. Acad. Sci. Paris., 1998, vol. 327, Série I, pp. 927–932.
  
  http://hal.inria.fr/inria-00073240
• 58M. Akian, S. Gaubert.
  
  Policy iteration for perfect information stochastic mean payoff games with bounded first return times is strongly polynomial, 2013, Preprint arXiv:1310.4953, 17 pages.
  
  http://hal.inria.fr/hal-00881207
• 59M. Akian, S. Gaubert, A. Guterman.
  
  Tropical polyhedra are equivalent to mean payoff games, in: Internat. J. Algebra Comput., 2012, vol. 22, n^o 1, 1250001, 43 p. [ DOI : 10.1142/S0218196711006674 ]
  
  http://arxiv.org/abs/0912.2462
• 60M. Akian, S. Gaubert, V. Kolokoltsov.
  
  Set coverings and invertibility of functional Galois connections, in: Idempotent Mathematics and Mathematical Physics, G. Litvinov, V. Maslov (editors), Contemporary Mathematics, American Mathematical Society, 2005, pp. 19-51.
  
  http://arxiv.org/abs/math.FA/0403441
• 61M. Akian, S. Gaubert, V. Kolokoltsov.
  
  Solutions of max-plus linear equations and large deviations, in: Proceedings of the joint 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC'05), Seville, Espagne, 2005.
  
  http://arxiv.org/abs/math.PR/0509279
• 62M. Akian, S. Gaubert, A. Lakhoua.
  
  The max-plus finite element method for solving deterministic optimal control problems: basic properties and convergence analysis, in: SIAM J. Control Optim., 2008, vol. 47, n^o 2, pp. 817–848. [ DOI : 10.1137/060655286 ]
  
  http://www.arxiv.org/abs/math.OC/0603619
• 63M. Akian, S. Gaubert, M. Sharify.
  
  Log-majorization of the moduli of the eigenvalues of a matrix polynomial by tropical roots, 2013, Preprint arXiv:1304.2967, 29 pages, 5 figures.
  
  http://hal.inria.fr/hal-00881196
• 64M. Akian, S. Gaubert, C. Walsh.
  
  The max-plus Martin boundary, in: Doc. Math., 2009, vol. 14, pp. 195–240.
  
  http://arxiv.org/abs/math/0412408
• 65M. Akian, J.-P. Quadrat, M. Viot.
  
  Duality between probability and optimization, in: Idempotency, J. Gunawardena (editor), Publications of the Isaac Newton Institute, Cambridge University Press, 1998.
• 66X. Allamigeon.
  
  On the Complexity of Strongly Connected Components in Directed Hypergraphs, in: Algorithmica, January 2013, Published on line. [ DOI : 10.1007/s00453-012-9729-0 ]
  
  http://hal.inria.fr/hal-00782846
• 67X. Allamigeon, P. Benchimol, S. Gaubert, M. Joswig.
  
  Tropicalizing the simplex algorithm, in: ILAS 2013 - 18th Conference of the International Linear Algebra Society, Providence, RI, United States, June 2013.
  
  http://hal.inria.fr/hal-00930959
• 68X. Allamigeon, P. Benchimol, S. Gaubert, M. Joswig.
  
  Tropicalizing the Simplex Algorithm, in: SMAI 2013 - 6ème biennale des mathématiques appliquées et industrielles, Seignosse, France, May 2013, Poster présentant l'article arXiv:1308.0454.
  
  http://hal.inria.fr/hal-00930941
• 69X. Allamigeon, U. Fahrenberg, S. Gaubert, R. D. Katz, A. Legay.
  
  Tropical Fourier-Motzkin elimination, with an application to real-time verification, 2013, Preprint arXiv:1308.2122.
  
  http://hal.inria.fr/hal-00935072
• 70X. Allamigeon, S. Gaubert, E. Goubault.
  
  Inferring Min and Max Invariants Using Max-plus Polyhedra, in: Proceedings of the 15th International Static Analysis Symposium (SAS'08), Springer, 2008, vol. 5079, Valencia, Spain, 16-18 July 2008.
• 71X. Allamigeon, S. Gaubert, E. Goubault.
  
  The tropical double description method, in: Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science (STACS'2010), Nancy, France, March 4-6 2010.
  
  http://drops.dagstuhl.de/opus/volltexte/2010/2443/pdf/1001.AllamigeonXavier.2443.pdf
• 72X. Allamigeon, S. Gaubert, E. Goubault.
  
  Computing the Vertices of Tropical Polyhedra using Directed Hypergraphs, in: Discrete and Computational Geometry, February 2013, vol. 49, n^o 2, pp. 247-279. [ DOI : 10.1007/s00454-012-9469-6 ]
  
  http://hal.inria.fr/hal-00782862
• 73X. Allamigeon, S. Gaubert, V. Magron, B. Werner.
  
  Certification of Bounds of Non-linear Functions: the Templates Method, in: Conferences on Intelligent Computer Mathematics (CICM 2013), Bath, United Kingdom, J. Carette, D. Aspinall, C. Lange, P. Sojka, W. Windsteige (editors), Lecture Notes in Computer Science, Springer Berlin Heidelberg, July 2013, vol. 7961, pp. 51-65. [ DOI : 10.1007/978-3-642-39320-4_4 ]
  
  http://hal.inria.fr/hal-00932333
• 74X. Allamigeon, S. Gaubert, V. Magron, B. Werner.
  
  Certification of inequalities involving transcendental functions: combining SDP and max-plus approximation, in: European Control Conference (ECC'13), Zurich, Switzerland, 2013, pp. 2244 - 2250.
  
  http://hal.inria.fr/hal-00932348
• 75X. Allamigeon, R. Katz.
  
  Minimal external representations of tropical polyhedra, in: Journal of Combinatorial Theory, Series A, 2013, vol. 120, n^o 4, pp. 907-940. [ DOI : 10.1016/j.jcta.2013.01.011 ]
  
  http://hal.inria.fr/hal-00782837
• 76N. Bacaër.
  
  Perturbations singulières et théorie spectrale min-plus, Université Paris 6, January 2002.
• 77F. Baccelli, D. Hong.
  
  TCP is max-plus linear and what it tells us on its throughput, in: Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, 2000, pp. 219-230.
• 78R. Bapat.
  
  A max version of the Perron-Frobenius theorem, in: Linear Algebra Appl., 1998, vol. 275/276, pp. 3–18.
• 79R. Bapat, T. Raghavan.
  
  Nonnegative matrices and applications, Cambridge university press, 1997, n^o 64, XIII+336 p.
• 80R. J. Bayardo, B. Panda.
  
  Fast Algorithms for Finding Extremal Sets, in: Proceedings of the SIAM International Conference on Data Mining, SDM 2011, SIAM, 2011.
• 81A. Benveniste, S. Gaubert, C. Jard.
  
  Monotone rational series and max-plus algebraic models of real-time systems, in: Proc. of the Fourth Workshop on Discrete Event Systems (WODES98), Cagliari, Italy, IEE, 1998.
• 82A. Berenstein, A. N. Kirillov.
  
  The Robinson-Schensted-Knuth bijection, quantum matrices, and piece-wise linear combinatorics, in: Proceedings of FPSAC'01, 2001.
• 83M. Bezem, R. Nieuwenhuis, E. Rodríguez-Carbonell.
  
  Exponential behaviour of the Butkovič-Zimmermann algorithm for solving two-sided linear systems in max-algebra, in: Discrete Appl. Math., 2008, vol. 156, n^o 18, pp. 3506–3509.
  
  http://dx.doi.org/10.1016/j.dam.2008.03.016
• 84T. Blyth, M. Janowitz.
  
  Residuation Theory, Pergamon press, 1972.
• 85F. Bonnans, S. Gaubert.
  
  Recherche opérationnelle: aspects mathématiques et applications, École Polytechnique, 2012, Huitième édition, 180 pages.
• 86H. Braker.
  
  Algorithms and Applications in Timed Discrete Event Systems, Delft University of Technology, Dec 1993.
• 87S. Burns.
  
  Performance analysis and optimization of asynchronous circuits, Caltech, 1990.
• 88P. Butkovič, K. Zimmermann.
  
  A strongly polynomial algorithm for solving two-sided linear systems in max-algebra, in: Discrete Applied Mathematics, March 2006, vol. 154, n^o 3, pp. 437–446. [ DOI : 10.1016/j.dam.2005.09.008 ]
  
  http://linkinghub.elsevier.com/retrieve/pii/S0166218X0500291X
• 89P. Butkovič.
  
  Max-algebra: the linear algebra of combinatorics?, in: Linear Algebra and Appl., 2003, vol. 367, pp. 313-335.
• 90Z. Cao, K. Kim, F. Roush.
  
  Incline algebra and applications, Ellis Horwood, 1984.
• 91C.-S. Chang.
  
  Performance guarantees in Communication networks, Springer, 2000.
• 92W. Chou, R. Griffiths.
  
  Ground states of one dimensional systems using effective potentials, in: Phys. Rev. B, 1986, vol. 34, pp. 6219–34.
• 93P. Chretienne.
  
  Les Réseaux de Petri Temporisés, Thèse Université Pierre et Marie Curie (Paris VI), Paris, 1983.
• 94J. Cochet-Terrasson.
  
  Algorithmes d'itération sur les politiques pour les applications monotones contractantes, École des Mines, Dec. 2001.
• 95J. Cochet-Terrasson, S. Gaubert.
  
  A policy iteration algorithm for zero-sum stochastic games with mean payoff, in: C. R. Math. Acad. Sci. Paris, 2006, vol. 343, n^o 5, pp. 377–382.
• 96J. Cochet-Terrasson, G. Cohen, S. Gaubert, M. Mc Gettrick, J.-P. Quadrat.
  
  Numerical computation of spectral elements in max-plus algebra, in: Proc. of the IFAC Conference on System Structure and Control, Nantes, July 1998.
• 97G. Cohen, D. Dubois, J.-P. Quadrat, M. Viot.
  
  Analyse du comportement périodique des systèmes de production par la théorie des dioïdes, Inria, Le Chesnay, France, 1983, n^o 191.
  
  http://hal.inria.fr/inria-00076367
• 98J.-P. Comet.
  
  Application of max-plus algebra to biological sequence comparison, in: Theor. Comput. Sci., Special issue on max-plus algebras, 2003, vol. 293, pp. 189–217.
• 99A. Costan, S. Gaubert, E. Goubault, M. Martel, S. Putot.
  
  A policy iteration algorithm for computing fixed points in static analysis of programs, in: Proceedings of the 17th International Conference on Computer Aided Verification (CAV'05), Edinburgh, LNCS, Springer, July 2005, pp. 462–475.
• 100P. Cousot, R. Cousot.
  
  Abstract Interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixed points, in: Principles of Programming Languages 4, 1977, pp. 238–252.
• 101P. Cousot, R. Cousot.
  
  Comparison of the Galois connection and widening/narrowing approaches to abstract interpretation. JTASPEFL$$'91, Bordeaux, in: BIGRE, October 1991, vol. 74, pp. 107–110.
• 102M. Crandall, L. Tartar.
  
  Some relations between non expansive and order preserving maps, in: Proceedings of the AMS, 1980, vol. 78, n^o 3, pp. 385–390.
• 103R. Cuninghame-Green.
  
  Minimax Algebra, Lecture notes in Economics and Mathematical Systems, Springer, 1979, n^o 166.
• 104J. De Loera, B. Sturmfels, C. Vinzant.
  
  The central curve in linear programming, in: Foundations of Computational Mathematics, 2012, vol. 12, n^o 4, pp. 509–540.
• 105J.-P. Dedieu, G. Malajovich, M. Shub.
  
  On the Curvature of the Central Path of Linear Programming Theory, in: Foundations of Computational Mathematics, 2005, vol. 5, n^o 2, pp. 145–171.
• 106P. Del Moral.
  
  Maslov optimization theory: topological aspects, in: Idempotency (Bristol, 1994), Cambridge, Publ. Newton Inst., Cambridge Univ. Press, 1998, vol. 11, pp. 354–382.
• 107P. Del Moral, T. Thuillet, G. Rigal, G. Salut.
  
  Optimal versus random processes : the nonlinear case, LAAS, 1990.
• 108M. Develin, B. Sturmfels.
  
  Tropical convexity, in: Doc. Math., 2004, vol. 9, pp. 1–27.
• 109M. Develin, J. Yu.
  
  Tropical polytopes and cellular resolutions, in: Experimental Mathematics, 2007, vol. 16, n^o 3, pp. 277–292.
  
  http://arxiv.org/abs/math/0605494
• 110A. Deza, T. Terlaky, Y. Zinchenko.
  
  Polytopes and arrangements: diameter and curvature, in: Operations Research Letters, 2008, vol. 36, n^o 2, pp. 215–222.
• 111A. Deza, T. Terlaky, Y. Zinchenko.
  
  Central path curvature and iteration-complexity for redundant Klee-Minty cubes, in: Advances in applied mathematics and global optimization, New York, Adv. Mech. Math., Springer, 2009, vol. 17, pp. 223–256.
  
  http://dx.doi.org/10.1007/978-0-387-75714-8_7
• 112V. Dhingra, S. Gaubert.
  
  How to solve large scale deterministic games with mean payoff by policy iteration, in: Valuetools '06: Proceedings of the 1st international conference on Performance evaluation methodologies and tools, New York, NY, USA, ACM Press, 2006, 12 p.
  
  http://doi.acm.org/10.1145/1190095.1190110
• 113M. Di Loreto, S. Gaubert, R. Katz, J.-J. Loiseau.
  
  Duality between invariant spaces for max-plus linear discrete event systems, in: SIAM J. Control Optim., 2010, vol. 48, n^o 8, pp. 5606-5628.
  
  http://arxiv.org/abs/0901.2915
• 114M. Dubreil-Jacotin, L. Lesieur, R. Croisot.
  
  Leçons sur la Théorie des Treillis, des Structures Algébriques Ordonnées, et des Treillis géométriques, Cahiers Scientifiques, Gauthier Villars, Paris, 1953, vol. XXI.
• 115A. Elmasry.
  
  Computing the subset partial order for dense families of sets, in: Information Processing Letters, 2009, vol. 109, n^o 18, pp. 1082 - 1086.
• 116N. Farhi, M. Goursat, J.-P. Quadrat.
  
  Derivation of the Fundamental Diagram for Two Circular Roads and a Crossing Using Minplus Algebra and Petri Net Modeling, in: Proceedings of the joint 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC'05), Seville, Espagne, 2005.
• 117A. Fathi.
  
  Solutions KAM faibles et théorie de Mather sur les systèmes lagrangiens, in: C. R. Acad. Sci. Paris, Sér. I Math., 1997, vol. 324, n^o 9, pp. 1043–1046.
• 118S. Fomin, A. Zelevinsky.
  
  Cluster algebras. I. Foundations, in: J. Amer. Math. Soc., 2002, vol. 15, n^o 2, pp. 497–529.
  
  http://arxiv.org/abs/math.RT/0104151
• 119S. Friedland.
  
  Limit eigenvalues of nonnegative matrices, in: Linear Algebra and Its Applications, 1986, vol. 74, pp. 173–178.
  
  http://dx.doi.org/10.1016/0024-3795(86)90120-5
• 120S. Gaubert.
  
  Théorie des systèmes linéaires dans les dioïdes, École des Mines de Paris, July 1992.
• 121S. Gaubert.
  
  Performance Evaluation of (max,+) Automata, in: IEEE Trans. on Automatic Control, Dec 1995, vol. 40, n^o 12, pp. 2014–2025.
• 122S. Gaubert, E. Goubault, A. Taly, S. Zennou.
  
  Static Analysis by Policy Iteration in Relational Domains, in: Proceedings of the Proc. of the 16th European Symposium on Programming (ESOP'07), Braga (Portugal), LNCS, Springer, 2007, vol. 4421, pp. 237–252.
  
  http://dx.doi.org/10.1007/978-3-540-71316-6_17
• 123S. Gaubert, J. Gunawardena.
  
  The Duality Theorem for min-max functions, in: C. R. Acad. Sci. Paris., 1998, vol. 326, Série I, pp. 43–48.
• 124S. Gaubert, R. Katz.
  
  The Minkowski Theorem for Max-plus Convex Sets, in: Linear Algebra and Appl., 2007, vol. 421, pp. 356–369.
  
  http://www.arxiv.org/abs/math.GM/0605078
• 125S. Gaubert, J. Mairesse.
  
  Modeling and analysis of timed Petri nets using heaps of pieces, in: IEEE Trans. Automat. Control, 1999, vol. 44, n^o 4, pp. 683–697.
• 126S. Gaubert, W. McEneaney, Z. Qu.
  
  Curse of dimensionality reduction in max-plus based approximation methods: theoretical estimates and improved pruning algorithms, in: Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 11), Orlando, FL, USA, December 2011, pp. 1054-1061.
  
  http://arxiv.org/abs/1109.5241
• 127S. Gaubert, M. Sharify.
  
  Tropical scaling of polynomial matrices, in: Positive systems, Berlin, Lecture Notes in Control and Inform. Sci., Springer, 2009, vol. 389, pp. 291–303.
  
  http://dx.doi.org/10.1007/978-3-642-02894-6_28
• 128E. Gawrilow, M. Joswig.
  
  polymake: a Framework for Analyzing Convex Polytopes, in: Polytopes — Combinatorics and Computation, G. Kalai, G. M. Ziegler (editors), Birkhäuser, 2000, pp. 43-74.
• 129I. Gelfand, M. Kapranov, A. Zelevinsky.
  
  Discriminants, resultants, and multidimensional determinants, Birkhäuser, 1994.
• 130M. Gondran.
  
  Analyse MINPLUS, in: C. R. Acad. Sci. Paris Sér. I Math., 1996, vol. 323, n^o 4, pp. 371–375.
• 131M. Gondran, M. Minoux.
  
  Graphes, Dioïdes et semi-anneaux, TEC & DOC, Paris, 2002.
• 132M. Gondran, M. Minoux.
  
  Valeurs propres et vecteurs propres dans les dioïdes et leur interprétation en théorie des graphes, in: EDF, Bulletin de la Direction des Etudes et Recherches, Serie C, Mathématiques Informatique, 1977, vol. 2, pp. 25-41.
• 133M. Gondran, M. Minoux.
  
  L'indépendance linéaire dans les dioïdes, in: E.D.F., Bulletin de la Direction des Etudes et recherches, Série C, Mathématiques, Informatique, 1978, vol. 1, pp. 67-90.
• 134M. Gondran, M. Minoux.
  
  Graphes et algorithmes, Eyrolles, Paris, 1979, Engl. transl. Graphs and Algorithms, Wiley, 1984.
• 135M. Gondran, M. Minoux.
  
  Linear algebra in dioids: a survey of recent results, in: Algebraic and combinatorial methods in operations research, Amsterdam, North-Holland Math. Stud., North Holland, 1984, vol. 95, pp. 147–163.
• 136J. Gunawardena.
  
  From max-plus algebra to nonexpansive maps: a nonlinear theory for discrete event systems, in: Theoretical Computer Science, 2003, vol. 293, pp. 141–167.
• 137K. Hashiguchi.
  
  Improved limitedness theorems on finite automata with distance functions, in: Theoret. Comput. Sci., 1990, vol. 72, pp. 27–38.
• 138H. Hillion, J. Proth.
  
  Performance Evaluation of Job-shop Systems using Timed Event-Graphs, in: IEEE Trans. on Automatic Control, Jan 1989, vol. 34, n^o 1, pp. 3-9.
• 139Z. Izhakian.
  
  Tropical arithmetic and matrix algebra, in: Comm. Algebra, 2009, vol. 37, n^o 4, pp. 1445–1468.
  
  http://dx.doi.org/10.1080/00927870802466967
• 140B. Jeannet, A. Miné.
  
  Apron: A Library of Numerical Abstract Domains for Static Analysis, in: Proc. of the 21th Int. Conf. on Computer Aided Verification (CAV 2009), Lecture Notes in Computer Science, Springer, June 2009, vol. 5643, pp. 661–667.
• 141V. Kolokoltsov, V. Maslov.
  
  Idempotent analysis and applications, Kluwer Acad. Publisher, 1997.
• 142M. Kreĭn, M. Rutman.
  
  Linear operators leaving invariant a cone in a Banach space, in: Amer. Math. Soc. Translation, 1950, vol. 1950, n^o 26, 128 p.
• 143D. Krob.
  
  The equality problem for rational series with multiplicities in the tropical semiring is undecidable, in: Int. J. of Algebra and Comput., 1993, vol. 3.
• 144A. Lakhoua.
  
  Méthode des éléments finis max-plus pour la résolution numérique de problèmes de commande optimale déterministe, Université Pierre et Marie Curie (Paris 6) et Université de Tunis El Manar, 2007.
• 145J.-B. Lasserre.
  
  Generating functions and duality for integer programs, in: Discrete Optimization, 2004, pp. 167–187.
• 146J.-Y. Le Boudec, P. Thiran.
  
  Network calculus, LNCS, Springer, 2001, n^o 2050.
• 147P. Le Maigat.
  
  Techniques algébriques Max-Plus pour l'analyse des performances temporelles de systèmes concurrents, Université Rennes 1, September 2002.
• 148C. Lenté.
  
  Analyse max-plus des problèmes d'ordonnancement de type flowshop, Université de Tours, November 2001.
• 149H. Leung.
  
  Limitedness theorem on finite automata with distance function: an algebraic proof, in: Theoret. Comput. Sci, 1991, vol. 81, pp. 137–145.
• 150G. Litvinov, V. Maslov, G. Shpiz.
  
  Idempotent functional analysis: an algebraic approach, in: Math. Notes, 2001, vol. 69, n^o 5, pp. 696–729.
  
  http://arxiv.org/abs/math.FA/0009128
• 151P. Lotito, E. Mancinelli, J.-P. Quadrat.
  
  A minplus derivation of the fundamental car-traffic law, in: IEEE TAC, 2005, vol. 50, n^o 5, pp. 699-705.
  
  http://hal.inria.fr/inria-00072263
• 152Q. Lu, M. Madsen, M. Milata, S. Ravn, U. Fahrenberg, K. G. Larsen.
  
  Reachability analysis for timed automata using max-plus algebra, in: J. Log. Algebr. Program., 2012, vol. 81, n^o 3, pp. 298-313.
• 153V. Magron.
  
  Preuves formelles pour l'optimisation globale – Méthodes de gabarits et sommes de carrés, Ecole Polytechnique X, December 2013.
  
  http://hal.inria.fr/pastel-00917779
• 154J. Mallet-Paret, R. Nussbaum.
  
  Eigenvalues for a Class of Homogeneous Cone Maps Arising from Max-Plus Operators, in: Discrete and Continuous Dynamical Systems, July 2002, vol. 8, n^o 3, pp. 519–562.
• 155E. Mancinelli, G. Cohen, S. Gaubert, J.-P. Quadrat, E. Rofman.
  
  On Traffic Light Control, in: MathematicæNotæ, Boletin del Instituto de Matematica "Beppo Levi", 2005, vol. XLIII, pp. 51-62.
  
  http://hal.inria.fr/inria-00072311
• 156V. Maslov.
  
  Méthodes Operatorielles, Edition Mir, Moscou, 1987.
• 157V. Maslov, S. Samborskiĭ.
  
  Idempotent analysis, Advances In Soviet Mathematics, Amer. Math. Soc., Providence, 1992, vol. 13.
• 158G. Mikhalkin.
  
  Amoebas of algebraic varieties and tropical geometry, in: Different faces of geometry, Int. Math. Ser. (N. Y.), Kluwer/Plenum, New York, 2004, vol. 3, pp. 257–300.
  
  http://arxiv.org/abs/math.AG/0403015
• 159M. Morishima.
  
  Equilibrium, stability, and growth: A multi-sectoral analysis, Clarendon Press, Oxford, 1964, xii+227 p.
• 160T. Motzkin, H. Raiffa, G. Thompson, R. Thrall.
  
  The double description method, in: Contributions to the Theory of Games, H. Kuhn, A. Tucker (editors), 1953, vol. II, pp. 51-73.
• 161R. Nussbaum.
  
  Hilbert's projective metric and iterated nonlinear maps, in: Memoirs of the AMS, 1988, vol. 75, n^o 391.
• 162G. Olsder.
  
  Eigenvalues of dynamic max-min systems, in: Discrete Event Dyn. Syst., 1991, vol. 1, n^o 2, pp. 177-207.
• 163J.-E. Pin.
  
  Tropical Semirings, in: Idempotency, J. Gunawardena (editor), Publications of the Isaac Newton Institute, Cambridge University Press, 1998.
• 164M. Plus.
  
  Linear systems in $(max,+)$-algebra, in: Proceedings of the 29th Conference on Decision and Control, Honolulu, Dec. 1990.
• 165P. Poncet.
  
  Infinite-dimensional idempotent analysis: the role of continuous posets, École Polytechnique (France), November 2011.
• 166P. Pritchard.
  
  Opportunistic algorithms for eliminating supersets, in: Acta Informatica, 1991, vol. 28, pp. 733-754.
• 167P. Pritchard.
  
  A simple sub-quadratic algorithm for computing the subset partial order, in: Information Processing Letters, 1995, vol. 56, n^o 6, pp. 337 - 341.
• 168P. Pritchard.
  
  A Fast Bit-Parallel Algorithm for Computing the Subset Partial Order, in: Algorithmica, 1999, vol. 24, pp. 76-86.
• 169P. Pritchard.
  
  On Computing the Subset Graph of a Collection of Sets, in: Journal of Algorithms, 1999, vol. 33, n^o 2, pp. 187 - 203.
• 170A. Puhalskiĭ.
  
  Large Deviations and Idempotent Probability, Monographs and Surveys in Pure and Applied Mathematics, Chapman & Hall, 2001, n^o 119.
• 171J.-P. Quadrat.
  
  Théorèmes asymptotiques en programmation dynamique, in: Comptes Rendus Acad. Sci., 1990, n^o 311, pp. 745-748.
• 172J. Richter-Gebert, B. Sturmfels, T. Theobald.
  
  First steps in tropical geometry, in: Idempotent mathematics and mathematical physics, Providence, RI, G. Litvinov, V. Maslov (editors), Contemp. Math., Amer. Math. Soc., 2005, vol. 377, pp. 289–317.
• 173I. Romanovskiĭ.
  
  Optimization of stationary control of discrete deterministic process in dynamic programming, in: Kibernetika, 1967, vol. 3, n^o 2, pp. 66-78.
• 174D. Rosenberg, S. Sorin.
  
  An operator approach to zero-sum repeated games, in: Israel J. Math., 2001, vol. 121, pp. 221–246.
• 175A. Rubinov.
  
  Abstract convexity and global optimization, Kluwer, 2000.
• 176S. Samborskiĭ.
  
  Extensions of differential operators and nonsmooth solutions of differential equations, in: Kibernet. Sistem. Anal., 2002, n^o 3, pp. 163–180, 192.
• 177S. Sankaranarayanan, H. Sipma, Z. Manna.
  
  Scalable Analysis of Linear Systems using Mathematical Programming, in: VMCAI, LNCS, 2005, vol. 3385.
• 178I. Simon.
  
  Limited subsets of the free monoid, in: Proc. of the 19th Annual Symposium on Foundations of Computer Science, IEEE, 1978, pp. 143–150.
• 179I. Simon.
  
  On semigroups of matrices over the tropical semiring, in: Theor. Infor. and Appl., 1994, vol. 28, n^o 3-4, pp. 277–294.
• 180I. Singer.
  
  Abstract convex analysis, Wiley, 1997.
• 181D. Speyer, B. Sturmfels.
  
  The tropical Grassmannian, in: Adv. Geom., 2004, vol. 4, n^o 3, pp. 389–411.
• 182O. Viro.
  
  Dequantization of real algebraic geometry on logarithmic paper, in: European Congress of Mathematics, Vol. I (Barcelona, 2000), Basel, Progr. Math., Birkhäuser, 2001, vol. 201, pp. 135–146.
  
  http://arxiv.org/abs/math.AG/0005163
• 183N. Vorobyev.
  
  Extremal algebra of positive matrices, in: Elektron. Informationsverarbeit. Kybernetik, 1967, vol. 3, pp. 39–71, in russian.
• 184D. M. Yellin, C. S. Jutla.
  
  Finding extremal sets in less than quadratic time, in: Information Processing Letters, 1993, vol. 48, n^o 1, pp. 29 - 34.
• 185D. M. Yellin.
  
  Algorithms for subset testing and finding maximal sets, in: Proceedings of the third annual ACM-SIAM symposium on Discrete algorithms, Philadelphia, PA, USA, SODA '92, Society for Industrial and Applied Mathematics, 1992, pp. 386–392.
• 186K. Zimmermann.
  
  Disjunctive optimization, max-separable problems and extremal algebras, in: Theoret. Comput. Sci., 2003, vol. 293, n^o 1, pp. 45–54, Max-plus algebras.
• 187K. Zimmermann.
  
  Extremální Algebra, Ekonomický ùstav C ˇSAV, Praha, 1976, (in Czech).
• 188U. Zimmermann.
  
  Linear and Combinatorial Optimization in Ordered Algebraic Structures, North Holland, 1981.