Publications

Publications HAL du labo/EPI MAXPLUS

2017

Journal articles

titre
Checking the strict positivity of Kraus maps is NP-hard
auteur
Stéphane Gaubert, Zheng Qu
article
Information Processing Letters, 2017, 118, pp.35–43. ⟨10.1016/j.ipl.2016.09.008⟩
Accès au bibtex
https://arxiv.org/pdf/1402.1429 BibTex
titre
Log-majorization of the moduli of the eigenvalues of a matrix polynomial by tropical roots
auteur
Marianne Akian, Stéphane Gaubert, Meisam Sharify
article
Linear Algebra and its Applications, 2017, 528, pp.394–435. ⟨10.1016/j.laa.2016.11.004⟩
Accès au bibtex
https://arxiv.org/pdf/1304.2967 BibTex
titre
Dependence of tropical eigenspaces
auteur
Adi Niv, Louis Rowen
article
Communications in Algebra, 2017, 45 (3), pp. 924-942. ⟨10.1080/00927872.2016.1172603⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01253422/file/tropeigenspaces.pdf BibTex

2016

Journal articles

titre
Maximizing concave piecewise affine functions on the unitary group
auteur
Stephane Gaubert, Zheng Qu, Srinivas Sridharan
article
Optimization Letters, 2016, 10 (4), pp.655-665. ⟨10.1007/s11590-015-0951-y⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01248813/file/paperoptletters.pdf BibTex
titre
Uniqueness of the fixed point of nonexpansive semidifferentiable maps
auteur
Marianne Akian, Stephane Gaubert, Roger Nussbaum
article
Transactions of the American Mathematical Society, 2016, 368 (2), ⟨10.1090/S0002-9947-2015-06413-7⟩
Accès au bibtex
https://arxiv.org/pdf/1201.1536 BibTex

2015

Journal articles

titre
Discrete limit and monotonicity properties of the Floquet eigenvalue in an age structured cell division cycle model
auteur
Stéphane Gaubert, Thomas Lepoutre
article
Journal of Mathematical Biology, 2015, 71 (6), ⟨10.1007/s00285-015-0874-3⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00773211/file/1301.2151.pdf BibTex
titre
Ergodicity conditions for zero-sum games
auteur
Marianne Akian, Stephane Gaubert, Antoine Hochart
article
Discrete and Continuous Dynamical Systems – Series A, 2015, Special issue on optimal control and related fields, 35 (9), pp.31. ⟨10.3934/dcds.2015.35.3901⟩
Accès au bibtex
https://arxiv.org/pdf/1405.4658 BibTex
titre
Tropicalizing the simplex algorithm
auteur
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig
article
SIAM Journal on Discrete Mathematics, 2015, 29 (2), ⟨10.1137/130936464⟩
Accès au bibtex
https://arxiv.org/pdf/1308.0454 BibTex
titre
On pseudo-inverses of matrices and their characteristic polynomials in supertropical algebra
auteur
Adi Niv
article
Linear Algebra and its Applications, 2015, 471, pp.264-290. ⟨10.1016/j.laa.2014.12.038⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01253421/file/nabla.pdf BibTex
titre
Formal Proofs for Nonlinear Optimization
auteur
Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner
article
Journal of Formalized Reasoning, 2015, 8 (15), pp.1-24
Accès au bibtex
https://arxiv.org/pdf/1404.7282 BibTex
titre
Dobrushin ergodicity coefficient for Markov operators on cones
auteur
Stéphane Gaubert, Zheng Qu
article
Integral Equations and Operator Theory, 2015, 1 (81), pp.127-150. ⟨10.1007/s00020-014-2193-2⟩
Accès au bibtex
https://arxiv.org/pdf/1307.4649 BibTex
titre
Definable Zero-Sum Stochastic Games
auteur
Jérôme Bolte, Stéphane Gaubert, Guillaume Vigeral
article
Mathematics of Operations Research, 2015, 40 (1), pp.171-191. ⟨10.1287/moor.2014.0666⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00777707/file/BGV-revisedFINAL.pdf BibTex

Conference papers

titre
Hypergraph conditions for the solvability of the ergodic equation for zero-sum games
auteur
Marianne Akian, Stephane Gaubert, Antoine Hochart
article
54th IEEE Conference on Decision and Control (CDC 2015), Dec 2015, Osaka, Japan
Accès au bibtex
https://arxiv.org/pdf/1510.05396 BibTex
titre
Maximal Lower Bounds in the Loewner order
auteur
Nikolas Stott, Xavier Allamigeon, Stéphane Gaubert
article
2015 SIAM Conference on Applied Linear Algebra, Oct 2015, Atlanta, United States
Accès au bibtex
BibTex
titre
Tropical bounds for the eigenvalues of block structured matrices
auteur
Marianne Akian, Stephane Gaubert, Andrea Marchesini
article
SIAM Conference on Applied Linear Algebra (SIAM LA), Oct 2015, Atlanta, United States
Accès au bibtex
BibTex
titre
Hungarian Scaling of Polynomial Eigenproblems
auteur
Marianne Akian, Stephane Gaubert, Andrea Marchesini, Françoise Tisseur
article
SIAM Conference on Applied Linear Algebra (SIAM LA), Oct 2015, Atlanta, United States
Accès au bibtex
BibTex
titre
A scalable algebraic method to infer quadratic invariants of switched systems
auteur
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott
article
International Conference on Embedded Software (EMSOFT’2015), Alain Girault, INRIA, Grenoble, France and Nan Guan, Northeastern University, China, Oct 2015, Amsterdam, Netherlands. ⟨10.1109/EMSOFT.2015.7318262⟩
Accès au bibtex
BibTex
titre
Performance evaluation of an emergency call center: tropical polynomial systems applied to timed Petri nets
auteur
Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert
article
13th International Conference, Formal Modeling and Analysis of Timed Systems (FORMATS 2015), Sep 2015, Madrid, Spain. ⟨10.1007/978-3-319-22975-1_2⟩
Accès au bibtex
https://arxiv.org/pdf/1508.06162 BibTex
titre
Majorization inequalities for valuations of eigenvalues using tropical algebra
auteur
Marianne Akian
article
4th International Conference on Matrix methods in Mathematics and Applications (MMMA-2015), Aug 2015, Moscow, Russia
Accès au bibtex
BibTex
titre
Tropical diagonal scaling for asymptotic eigenvalue problems
auteur
Andrea Marchesini
article
The 8th International Congress on Industrial and Applied Mathematics (ICIAM), Aug 2015, Beijing, China
Accès au bibtex
BibTex
titre
Tropicalizing Semialgebraic Pivoting Rules, Or How to Solve Mean Payoff Games in Polynomial Time on Average
auteur
Xavier Allamigeon, Pascal Benchimol, Stephane Gaubert
article
SIAM Conference on Control and its Applications (SIAM CT’15), Jul 2015, Paris, France
Accès au bibtex
BibTex
titre
Eigenvectors of Non-Linear Maps on the Cone of Positive Semidefinite Matrices Application to Stability Analysis
auteur
Nikolas Stott, Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot
article
SIAM Conference on Control and its Applications (SIAM CT’15), Jul 2015, Paris, France
Accès au bibtex
BibTex
titre
Ergodicity Condition for Zero-Sum Games
auteur
Marianne Akian, Stephane Gaubert, Antoine Hochart
article
SIAM Conference on Control and its Applications (SIAM CT’15), Jul 2015, Paris, France
Accès au bibtex
BibTex
titre
Long and Winding Central Paths
auteur
Xavier Allamigeon, Pascal Benchimol, Stephane Gaubert, Michael Joswig
article
SIAM Conference on Control and its Applications (SIAM CT’15), Jul 2015, Paris, France
Accès au bibtex
BibTex
titre
Generic Uniqueness of the Bias Vector of Mean-Payoff Zero-Sum Games
auteur
Antoine Hochart, Marianne Akian, Stéphane Gaubert
article
SIAM Conference on Control and its Applications (SIAM CT’15), Jul 2015, Paris, France
Accès au bibtex
BibTex
titre
Factorization of tropical matrices
auteur
Adi Niv
article
Tropical Algebraic Geometry Symposium 2015, Brown University, Apr 2015, Providence, Rhode Island, United States
Accès au bibtex
BibTex

Theses

titre
Tropical methods for the localization of eigenvalues and application to their numerical computation
auteur
Andrea Marchesini
article
Spectral Theory [math.SP]. Ecole polytechnique X, 2015. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://pastel.hal.science/tel-01285110/file/thesis.pdf BibTex

Preprints, Working Papers, …

titre
Supertropical SLn
auteur
Zur Izhakian, Adi Niv, Louis Rowen
article
2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01253424/file/SL.pdf BibTex

2014

Journal articles

titre
Combinatorial simplex algorithms can solve mean payoff games
auteur
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig
article
SIAM Journal on Optimization, 2014, 24 (4), pp.22. ⟨10.1137/140953800⟩
Accès au bibtex
https://arxiv.org/pdf/1309.5925 BibTex
titre
Certification of real inequalities: templates and sums of squares
auteur
Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner
article
Mathematical Programming, 2014, 151 (2), pp.30. ⟨10.1007/s10107-014-0834-5⟩
Accès au bibtex
https://arxiv.org/pdf/1403.5899 BibTex
titre
Contraction of Riccati flows applied to the convergence analysis of a max-plus curse of dimensionality free method
auteur
Zheng Qu
article
SIAM Journal on Control and Optimization, 2014, 52 (5), pp.2677-2709. ⟨10.1137/130906702⟩
Accès au bibtex
https://arxiv.org/pdf/1301.4777 BibTex
titre
The idempotent Radon–Nikodym theorem has a converse statement
auteur
Paul Poncet
article
Information Sciences, 2014, 271, pp.115-124. ⟨10.1016/j.ins.2014.02.074⟩
Accès au bibtex
https://arxiv.org/pdf/1301.0140 BibTex
titre
On the Complexity of Strongly Connected Components in Directed Hypergraphs
auteur
Xavier Allamigeon
article
Algorithmica, 2014, 69 (2), pp.335-369. ⟨10.1007/s00453-012-9729-0⟩
Accès au bibtex
https://arxiv.org/pdf/1112.1444 BibTex
titre
Tropical bounds for eigenvalues of matrices
auteur
Marianne Akian, Stéphane Gaubert, Andrea Marchesini
article
Linear Algebra and its Applications, 2014, 446, pp.281-303. ⟨10.1016/j.laa.2013.12.021⟩
Accès au bibtex
https://arxiv.org/pdf/1309.7319 BibTex
titre
The contraction rate in Thompson part metric of order-preserving flows on a cone – application to generalized Riccati equations
auteur
Stéphane Gaubert, Zheng Qu
article
Journal of Differential Equations, 2014, 256 (8), pp.2902-2948. ⟨10.1016/j.jde.2014.01.024⟩
Accès au bibtex
https://arxiv.org/pdf/1206.0448 BibTex
titre
Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs
auteur
Assalé Adjé, Stéphane Gaubert, Eric Goubault
article
Journal of Mathematical Analysis and Applications, 2014, 410, pp.227-240. ⟨10.1016/j.jmaa.2013.07.076⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00940804/file/0806.1160.pdf BibTex
titre
Synchronisation and control of proliferation in cycling cell population models with age structure
auteur
Frédérique Billy, Jean Clairambault, Olivier Fercoq, Stéphane Gaubert, Thomas Lepoutre, Thomas Ouillon, Shoko Saito
article
Mathematics and Computers in Simulation, 2014, 96, pp.66-94. ⟨10.1016/j.matcom.2012.03.005⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00662885/file/BiCFerGLOuS.pdf BibTex
titre
Convexities on ordered structures have their Krein–Milman theorem
auteur
Paul Poncet
article
Journal of Convex Analysis, 2014, 21 (1), pp.89–120
Accès au bibtex
https://arxiv.org/pdf/1301.0760 BibTex
titre
Tropical Fourier–Motzkin elimination, with an application to real-time verification
auteur
Xavier Allamigeon, Axel Legay, Uli Fahrenberg, Ricardo Katz, Stéphane Gaubert
article
International Journal of Algebra and Computation, 2014, 24 (5), pp.569 – 607. ⟨10.1142/S0218196714500258⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01087367/file/main-IJAC-hal.pdf BibTex

Conference papers

titre
A max-plus based randomized algorithm for solving a class of HJB PDEs
auteur
Zheng Qu
article
53rd IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.1575–1580
Accès au bibtex
BibTex
titre
Generic uniqueness of the bias vector of mean payoff zero-sum games
auteur
Marianne Akian, Stephane Gaubert, Antoine Hochart
article
53rd IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States
Accès au bibtex
https://arxiv.org/pdf/1411.1211 BibTex
titre
Non-linear eigenvalue problems arising from growth maximization of positive linear dynamical systems
auteur
Vincent Calvez, Pierre Gabriel, Stéphane Gaubert
article
IEEE 53rd Annual Conference on Decision and Control (CDC 2014), Dec 2014, Los Angeles, United States. pp.1600–1607, ⟨10.1109/CDC.2014.7039628⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00974749/file/calvez-gabriel-gaubert-2014-HAL.pdf BibTex
titre
Generic uniqueness of the bias vector of mean-payoff zero-sum games
auteur
Marianne Akian, Stephane Gaubert, Antoine Hochart
article
PGMO-COPI’14, Oct 2014, Palaiseau, France
Accès au bibtex
BibTex
titre
Complexity of policy iteration for stochastic zero-sum games
auteur
Marianne Akian, Stéphane Gaubert
article
PGMO-COPI’14, Oct 2014, Paris-Saclay, France
Accès au bibtex
BibTex
titre
Krein–Milman’s and Choquet’s theorems in the max-plus world
auteur
Marianne Akian, Paul Poncet
article
Domains XI (International workshop on domain theory and applications), Sep 2014, PARIS, France
Accès au bibtex
BibTex
titre
From tropical linear algebra to zero-sum games
auteur
Stéphane Gaubert
article
The 19th International Linear Algebra Society Conference, Aug 2014, Seoul, South Korea
Accès au bibtex
BibTex
titre
Tropical bounds for eigenvalues of matrices using Hungarian dual variables
auteur
Marianne Akian, Stéphane Gaubert, Andrea Marchesini
article
ILAS, Aug 2014, Seoul, South Korea
Accès au bibtex
BibTex
titre
Asymptotic eigenvalue problems
auteur
Marianne Akian, Stéphane Gaubert, James Hook, Andrea Marchesini, Françoise Tisseur
article
ILAS, Aug 2014, Seoul, South Korea
Accès au bibtex
BibTex
titre
Long and winding central paths
auteur
Xavier Allamigeon, Pascal Benchimol, Stephane Gaubert, Michael Joswig
article
Recent Advances in Linear Optimization, Jul 2014, Champs sur marne, France
Accès au bibtex
BibTex
titre
Combinatorial simplex algorithms can solve mean payoff games
auteur
Xavier Allamigeon, Pascal Benchimol, Stephane Gaubert, Michael Joswig
article
20th Conference of the International Federation of Operational Research Societies, Jul 2014, Barcelone, Spain
Accès au bibtex
BibTex
titre
Combinatorial Simplex Algorithms Can Solve Mean Payoff Games
auteur
Xavier Allamigeon, Pascal Benchimol, Stephane Gaubert, Michael Joswig
article
The 21st International Symposium on Mathematical Theory of Networks and Systems (MTNS 2014), Jul 2014, Groningen, Netherlands
Accès au bibtex
BibTex
titre
Fixed Point Sets of Payment-Free Shapley Operators and Structural Properties of Mean Payoff Games
auteur
Marianne Akian, Stephane Gaubert, Antoine Hochart
article
MTNS 2014, Jul 2014, Groningen, Netherlands
Accès au bibtex
BibTex
titre
The tropical shadow-vertex algorithm solves mean payoff games in polynomial time on average
auteur
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert
article
ICALP 2014, Jul 2014, Copenhagen, France. pp.12, ⟨10.1007/978-3-662-43948-7_8⟩
Accès au bibtex
https://arxiv.org/pdf/1406.5433 BibTex
titre
Bundle-based pruning in the max-plus curse of dimensionality free method
auteur
Stéphane Gaubert, Zheng Qu, Srinivas Sridharan
article
Proceedings of the 21st International Symposium on Mathematical Theory of Networks and Systems, Jul 2014, Groningen, Netherlands
Accès au bibtex
https://arxiv.org/pdf/1402.1436 BibTex
titre
Policy iteration for stochastic zero-sum games
auteur
Marianne Akian, Stéphane Gaubert
article
NETCO, Jun 2014, Tours, France
Accès au bibtex
BibTex
titre
Hilbert isometries
auteur
Cormac Walsh
article
Geometrie et dynamiques des espaces de Finsler (CIRM), Jun 2014, Marseille, France
Accès au bibtex
BibTex
titre
Log-majorization of eigenvalues of matrix polynomials and tropical scaling
auteur
Marianne Akian
article
Structured Matrix Days, May 2014, Limoges, France
Accès au bibtex
BibTex
titre
Points fixes d’opérateur de Shapley sans paiement et propriétés structurelles des jeux à paiement moyen
auteur
Marianne Akian, Stephane Gaubert, Antoine Hochart
article
MODE 2014, Mar 2014, Rennes, France
Accès au bibtex
BibTex
titre
La méthode du simplexe tropical
auteur
Xavier Allamigeon, Pascal Benchimol, Stephane Gaubert, Michael Joswig
article
ROADEF – 15ème congrès annuel de la Société française de recherche opérationnelle et d’aide à la décision, Société française de recherche opérationnelle et d’aide à la décision (ROADEF), Feb 2014, Bordeaux, France
Accès au bibtex
BibTex

Book sections

titre
The horoboundary and isometry group of Thurston’s Lipschitz metric
auteur
Cormac Walsh
article
Athanase Papadopoulos. Handbook of Teichmüller Theory, Volume IV, 19, European Mathematical Society, pp.838, 2014, IRMA Lectures in Mathematics and Theoretical Physics, 978-3-03719-117-0
Accès au bibtex
https://arxiv.org/pdf/1006.2158 BibTex
titre
The horofunction boundary and isometry group of the Hilbert geometry
auteur
Cormac Walsh
article
Athanase Papadopoulos and Marc Troyanov. Handbook of Hilbert Geometry, 22, European Mathematical Society, 2014, IRMA Lectures in Mathematics and Theoretical Physics, 978-3-03719-147-7
Accès au bibtex
https://arxiv.org/pdf/1411.6175 BibTex
titre
Tropical Cramer Determinants Revisited
auteur
Marianne Akian, Stéphane Gaubert, Alexander Guterman
article
G.L. Litvinov and S.N. Sergeev. Tropical and Idempotent Mathematics and Applications, 616, AMS, pp.45, 2014, Contemporary Mathematics
Accès au bibtex
https://arxiv.org/pdf/1309.6298 BibTex

Poster communications

titre
Fixed point of payment-free Shapley operators and structural properties of mean payoff games
auteur
Marianne Akian, Stéphane Gaubert, Antoine Hochart
article
Mathematical Aspects of Game Theory and Applications (MAGTA 2014), Jun 2014, Roscoff, France.
Accès au bibtex
BibTex
titre
Fixed point of payment-free Shapley operators and structural properties of mean payoff games
auteur
Marianne Akian, Stéphane Gaubert, Antoine Hochart
article
NETCO 2014, Jun 2014, Tours, France.
Accès au bibtex
BibTex

Documents associated with scientific events

titre
Policy iteration for stochastic zero-sum games
auteur
Marianne Akian
article
NETCO 2014, 2014, Tours, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01024097/file/Akian-NETCO2014.pdf BibTex

Theses

titre
Tropical aspects of linear programming
auteur
Pascal Benchimol
article
Optimization and Control [math.OC]. Ecole Polytechnique, 2014. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://polytechnique.hal.science/tel-01198482/file/main.pdf BibTex

Preprints, Working Papers, …

titre
Long and winding central paths
auteur
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig
article
2014
Accès au bibtex
https://arxiv.org/pdf/1405.4161 BibTex

2013

Journal articles

titre
The level set method for the two-sided max-plus eigenproblem
auteur
Stephane Gaubert, Sergei Sergeev
article
Discrete Event Dynamic Systems, 2013, 23 (2), pp.105-134. ⟨10.1007/s10626-012-0137-z⟩
Accès au bibtex
https://arxiv.org/pdf/1006.5702 BibTex
titre
Submodular spectral functions of principal submatrices of a hermitian matrix, extensions and applications
auteur
S. Friedland, S. Gaubert
article
Linear Algebra and its Applications, 2013, 438 (10), pp.3872-3884. ⟨10.1016/j.laa.2011.11.021⟩
Accès au bibtex
https://arxiv.org/pdf/1007.3478 BibTex
titre
How regular can maxitive measures be?
auteur
Paul Poncet
article
Topology and its Applications, 2013, 160 (4), pp.606-619. ⟨10.1016/j.topol.2013.01.007⟩
Accès au bibtex
https://arxiv.org/pdf/1301.4692 BibTex
titre
Computing the Vertices of Tropical Polyhedra using Directed Hypergraphs
auteur
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault
article
Discrete and Computational Geometry, 2013, 49, pp.247-279. ⟨10.1007/s00454-012-9469-6⟩
Accès au bibtex
https://arxiv.org/pdf/0904.3436 BibTex
titre
Ergodic Control and Polyhedral approaches to PageRank Optimization
auteur
Olivier Fercoq, Marianne Akian, Mustapha Bouhtou, Stéphane Gaubert
article
IEEE Transactions on Automatic Control, 2013, 58 (1), pp.134–148. ⟨10.1109/TAC.2012.2226103⟩
Accès au bibtex
https://arxiv.org/pdf/1011.2348 BibTex
titre
Minimal external representations of tropical polyhedra
auteur
Xavier Allamigeon, R.D. Katz
article
Journal of Combinatorial Theory, Series A, 2013, 120 (4), pp.907-940. ⟨10.1016/j.jcta.2013.01.011⟩
Accès au bibtex
https://arxiv.org/pdf/1205.6314 BibTex
titre
Perron–Frobenius theorem for nonnegative multilinear forms and extensions
auteur
S. Friedland, Stéphane Gaubert, L. Han
article
Linear Algebra and its Applications, 2013, 438 (2), pp.738-749. ⟨10.1016/j.laa.2011.02.042⟩
Accès au bibtex
https://arxiv.org/pdf/0905.1626 BibTex

Conference papers

titre
Tropical convexity and its applications to zero-sum games
auteur
Stephane Gaubert
article
Journées de géométrie algorithmique (CIRM), Dec 2013, Marseille, France
Accès au bibtex
BibTex
titre
Solving multichain stochastic games with mean payoff by policy iteration
auteur
Marianne Akian, Jean Cochet-Terrasson, Sylvie Detournay, Stéphane Gaubert
article
CDC 2013 – 52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.1834-1841, ⟨10.1109/CDC.2013.6760149⟩
Accès au bibtex
BibTex
titre
Certification of inequalities involving transcendental functions: combining SDP and max-plus approximation
auteur
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
article
European Control Conference (ECC’13), Jul 2013, Zurich, Switzerland. pp.2244 – 2250
Accès au bibtex
https://arxiv.org/pdf/1307.7002 BibTex
titre
Contraction of Riccati Flows Applied to the Convergence Analysis of the Max-Plus Curse of Dimensionality Free Method
auteur
Zheng Qu
article
European control conference 2013, Jul 2013, Zurich, Switzerland
Accès au bibtex
BibTex
titre
Markov Operators on Cones and Non-Commutative Consensus
auteur
Stéphane Gaubert, Zheng Qu
article
European control conference 2013, Jul 2013, Zurich, Switzerland
Accès au bibtex
BibTex
titre
Certification of Bounds of Non-linear Functions: the Templates Method
auteur
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
article
Conferences on Intelligent Computer Mathematics (CICM 2013), Jul 2013, Bath, United Kingdom. pp.51-65, ⟨10.1007/978-3-642-39320-4_4⟩
Accès au bibtex
https://arxiv.org/pdf/1307.3231 BibTex
titre
Contraction of Riccati flows applied to the convergence analysis of a max-plus curse of dimensionality free method
auteur
Zheng Qu
article
SIAM conference on control and its applications, Jul 2013, San diego, United States
Accès au bibtex
BibTex
titre
Tropicalizing the simplex algorithm
auteur
Xavier Allamigeon
article
SIAM Conference on Control and its Applications (SIAM CT’13), Jul 2013, San Diego, United States
Accès au bibtex
BibTex
titre
Tropicalizing the simplex algorithm
auteur
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig
article
ILAS 2013 – 18th Conference of the International Linear Algebra Society, Jun 2013, Providence, RI, United States
Accès au bibtex
BibTex
titre
Dobrushin ergodicity coefficient for Markov operators on cones, and beyond
auteur
Stéphane Gaubert, Zheng Qu
article
International Linear Algebra Society, Jun 2013, Providence, United States
Accès au bibtex
BibTex
titre
Policy iteration algorithm for zero-sum two player stochastic games: complexity bounds involving nonlinear spectral radii
auteur
Marianne Akian, Stéphane Gaubert
article
ILAS, Jun 2013, Providence, United States
Accès au bibtex
BibTex
titre
Tropical bounds for eigenvalues
auteur
Marianne Akian, Stéphane Gaubert, Andrea Marchesini
article
ILAS – 18th Conference of the International Linear Algebra Society, Jun 2013, Providence, United States
Accès au bibtex
BibTex
titre
Taux de contraction de flots croissants sur un cône et application au contrôle stochastique
auteur
Stéphane Gaubert, Zheng Qu
article
SMAI, May 2013, Seignosse, France
Accès au bibtex
BibTex
titre
De la convexité tropicale aux jeux à somme nulle
auteur
Stephane Gaubert
article
Congres SMAI 2013, May 2013, Seignosse le Penon, France
Accès au bibtex
BibTex
titre
Tropicalizing the Simplex Algorithm
auteur
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig
article
SMAI 2013 – 6ème biennale des mathématiques appliquées et industrielles, May 2013, Seignosse, France
Accès au bibtex
BibTex
titre
Horofunctions and isometries of Hibert geometries
auteur
Cormac Walsh
article
Workshop “Journée dynamique et géométrie de Hilbert” a Jussieu (Universite Paris VI), May 2013, Paris, France
Accès au bibtex
BibTex
titre
The horofunction boundary of Teichmuller space
auteur
Cormac Walsh
article
Special Program on Teichmuller Theory at Institut Erwin Schrodinger, Apr 2013, Vienne, Austria
Accès au bibtex
BibTex

Book sections

titre
Optimisation of cancer drug treatments using cell population dynamics
auteur
Frédérique Billy, Jean Clairambault, Olivier Fercoq
article
Urszula Ledzewicz and Heinz Schättler and Avner Friedman and Eugene Kashdan. Mathematical Methods and Models in Biomedicine, Springer New York, pp.265, 2013, Lecture Notes on Mathematical Modelling in the Life Sciences, 978-1-4614-4178-6. ⟨10.1007/978-1-4614-4178-6_10⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00770366/file/BiCFerwithcorrections.pdf BibTex
titre
Is the Distance Geometry Problem in NP?
auteur
Nathanael Beeker, Stéphane Gaubert, Christian Glusa, Leo Liberti
article
Antonio Mucherino and Carlile Lavor and Leo Liberti and Nelson Maculan. Distance Geometry: Theory, Methods, and Applications, Springer, pp.85-93, 2013, 978-1-4614-5127-3. ⟨10.1007/978-1-4614-5128-0_5⟩
Accès au bibtex
BibTex

Theses

titre
Formal Proofs for Global Optimization — Templates and Sums of Squares
auteur
Victor Magron
article
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://pastel.hal.science/pastel-00917779/file/thesis.pdf BibTex
titre
Nonlinear Perron-Frobenius theory and max-plus numerical methods for Hamilton-Jacobi equations
auteur
Zheng Qu
article
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://pastel.hal.science/pastel-00927122/file/thesis.pdf BibTex

Preprints, Working Papers, …

titre
Policy iteration for perfect information stochastic mean payoff games with bounded first return times is strongly polynomial
auteur
Marianne Akian, Stéphane Gaubert
article
2013
Accès au bibtex
https://arxiv.org/pdf/1310.4953 BibTex
titre
Dobrushin ergodicity coefficient for Markov operators on cones, and beyond
auteur
Stéphane Gaubert, Zheng Qu
article
2013
Accès au bibtex
https://arxiv.org/pdf/1302.5226 BibTex

2012

Journal articles

titre
Abstract interpretation meets convex optimization
auteur
Stéphane Gaubert, T.M. Gawlitza, H. Seidl, A. Adjé, E. Goubault
article
Journal of Symbolic Computation, 2012, International Workshop on Invariant Generation, 47 (12), pp.1416-1446. ⟨10.1016/j.jsc.2011.12.048⟩
Accès au bibtex
BibTex
titre
A maximin characterization of the escape rate of non-expansive mappings in metrically convex spaces
auteur
Stéphane Gaubert, Guillaume Vigeral
article
Mathematical Proceedings of the Cambridge Philosophical Society, 2012, 152 (2), pp.341-363. ⟨10.1017/S0305004111000673⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00661863/file/1012.4765v3.pdf BibTex
titre
Multigrid methods for two-player zero-sum stochastic games
auteur
Marianne Akian, Sylvie Detournay
article
Numerical Linear Algebra with Applications, 2012, 19 (2), pp.313–342. ⟨10.1002/nla.1815⟩
Accès au bibtex
https://arxiv.org/pdf/1107.1653 BibTex
titre
Min-max spaces and complexity reduction in min-max expansions
auteur
Stéphane Gaubert, W.M. Mceneaney
article
Applied Mathematics and Optimization, 2012, 65 (3), pp.315–348. ⟨10.1007/s00245-011-9158-5⟩
Accès au bibtex
BibTex
titre
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
auteur
A. Adjé, Stéphane Gaubert, E. Goubault
article
Logical Methods in Computer Science, 2012, 8 (1), pp.1:01, 32. ⟨10.2168/LMCS-8(1:1)2012⟩
Accès au bibtex
https://arxiv.org/pdf/1111.5223 BibTex
titre
Tropical polyhedra are equivalent to mean payoff games
auteur
Marianne Akian, Stéphane Gaubert, A. Guterman
article
International Journal of Algebra and Computation, 2012, 22 (1), pp.1250001, 43. ⟨10.1142/S0218196711006674⟩
Accès au bibtex
https://arxiv.org/pdf/0912.2462 BibTex
titre
Domain theory and mirror properties in inverse semigroups
auteur
Paul Poncet
article
Semigroup Forum, 2012, 84 (3), pp.434-446. ⟨10.1007/s00233-012-9392-4⟩
Accès au bibtex
https://arxiv.org/pdf/1301.5718 BibTex
titre
Tropical linear-fractional programming and parametric mean payoff games
auteur
Stéphane Gaubert, R.D. Katz, S.N. Sergeev
article
Journal of Symbolic Computation, 2012, 47 (12), pp.1447-1478. ⟨10.1016/j.jsc.2011.12.049⟩
Accès au bibtex
https://arxiv.org/pdf/1101.3431 BibTex

Conference papers

titre
PageRank optimization applied to spam detection
auteur
Olivier Fercoq
article
6th International conference on NETwork Games, COntrol and OPtimization (Netgcoop), Nov 2012, Avignon, France, France
Accès au bibtex
BibTex
titre
Modelling targets for anticancer drug control optimisation in physiologically structured cell population models
auteur
Frédérique Billy, Jean Clairambault, Olivier Fercoq, Tommaso Lorenzi, Alexander Lorz, Benoît Perthame
article
ICNAAM 2012 – 10th international conference of numerical analysis and applied mathematics, Simos, Thodoros, Sep 2012, Kos, Greece. pp.1323-1326, ⟨10.1063/1.4756399⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00780721/file/BiCFerLoLoPerthKos2012.pdf BibTex
titre
Studying isometry groups using the horofunction boundary
auteur
Cormac Walsh
article
Tropical and Indempotent Mathematics, Aug 2012, Moscow, Russia, Russia
Accès au bibtex
BibTex
titre
Fixed points of discrete convex monotone dynamical systems
auteur
Marianne Akian
article
Tropical and Indempotent Mathematics, Aug 2012, Moscow, Russia, Russia
Accès au bibtex
BibTex
titre
Nonlinear spectral radii of order-preserving maps and infinite horizon zero-sum two-player stochastic games
auteur
Marianne Akian, Stéphane Gaubert, R.D. Nussbaum
article
MTNS 2012 (20th International Symposium on Mathematical Theory of Networks and Systems), Jul 2012, Melbourne, Australia, Australia
Accès au bibtex
BibTex
titre
Optimization of the HOTS score of a website’s pages
auteur
Olivier Fercoq
article
2012 SIAM Conference on Applied Linear Algebra, Jun 2012, Valencia, Spain, Spain
Accès au bibtex
BibTex
titre
Tropical bounds for the eigenvalues of structured matrices
auteur
Marianne Akian, Stéphane Gaubert, M. Sharify
article
2012 SIAM Conference on Applied Linear Algebra, 2012, Valencia, Spain, Spain
Accès au bibtex
BibTex

Book sections

titre
Physiologically structured cell population dynamic models with applications to combined drug delivery optimisation in oncology
auteur
Jean Clairambault, Olivier Fercoq
article
Bachar, Mostafa and Batzel, Jerry and Chaplain, Mark. Mathematical modelling of cancer growth and treatment, Springer, 2012, Springer Lecture Notes in Mathematics Biosciences (LNMBIOS subseries)
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00750633/file/OliFredJe.pdf BibTex

Theses

titre
Optimization of Perron eigenvectors and applications: from web ranking to chronotherapeutics
auteur
Olivier Fercoq
article
Optimization and Control [math.OC]. Ecole Polytechnique X, 2012. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://pastel.hal.science/pastel-00743187/file/theseFercoq.pdf BibTex

Preprints, Working Papers, …

titre
Policy iteration algorithm for zero-sum multichain stochastic games with mean payoff and perfect information
auteur
Marianne Akian, Jean Cochet-Terrasson, Sylvie Detournay, Stéphane Gaubert
article
2012
Accès au bibtex
https://arxiv.org/pdf/1208.0446 BibTex
titre
Convergence of Tomlin’s HOTS algorithm
auteur
Olivier Fercoq
article
2012
Accès au bibtex
https://arxiv.org/pdf/1205.6727 BibTex

2011

Journal articles

titre
The set of realizations of a max-plus linear sequence is semi-polyhedral
auteur
Vincent Blondel, Stéphane Gaubert, Natacha Portier
article
Journal of Computer and System Sciences, 2011, 77 (4), pp.820-833. ⟨10.1016/j.jcss.2010.08.010⟩
Accès au texte intégral et bibtex
https://ens-lyon.hal.science/ensl-00507757/file/RR-BGP.pdf BibTex
titre
PecS is an important player in the regulatory network governing the coordinated expression of virulence genes during the interaction between [i]Dickeya dadantii[/i] 3937 and plants
auteur
Nadia Mhedbi-Hajri, Pierrette Malfatti, Jacques Pedron, Stephane Gaubert, Sylvie Reverchon, Frederique van Gijsegem
article
Environmental Microbiology, 2011, 13 (11), pp.2901 – 2914. ⟨10.1111/j.1462-2920.2011.02566.x⟩
Accès au bibtex
BibTex

Preprints, Working Papers, …

titre
Curse of dimensionality reduction in max-plus based approximation methods: theoretical estimates and improved pruning algorithms
auteur
Stephane Gaubert, William Mceneaney, Zheng Qu
article
2011
Accès au bibtex
https://arxiv.org/pdf/1109.5241 BibTex

2010

Journal articles

titre
Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems
auteur
Michaël Di Loreto, Stéphane Gaubert, Ricardo Katz, Jean-Jacques Loiseau
article
SIAM Journal on Control and Optimization, 2010, 48 (8), pp.5606-5628. ⟨10.1137/090747191⟩
Accès au bibtex
https://arxiv.org/pdf/0901.2915 BibTex
titre
Carathéodory, Helly and the others in the max-plus world
auteur
S. Gaubert, Frédéric Meunier
article
Discrete and Computational Geometry, 2010, 43 (3), pp.648-662. ⟨10.1007/s00454-009-9207-x⟩
Accès au bibtex
https://arxiv.org/pdf/0804.1361 BibTex

Conference papers

titre
The tropical double description method
auteur
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault
article
27th International Symposium on Theoretical Aspects of Computer Science – STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.47-58
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00455341/file/AllamigeonGaubertGoubault.pdf BibTex

Theses

titre
Optimal design of experiments with application to the inference of traffic matrices in large networks: second order cone programming and submodularity
auteur
Guillaume Sagnol
article
Optimization and Control [math.OC]. École Nationale Supérieure des Mines de Paris, 2010. English. ⟨NNT : 2010ENMP0054⟩
Accès au texte intégral et bibtex
https://pastel.hal.science/pastel-00561664/file/these.pdf BibTex

Preprints, Working Papers, …

titre
Circadian rhythm and cell population growth
auteur
Jean Clairambault, Stephane Gaubert, Thomas Lepoutre
article
2010
Accès au texte intégral et bibtex
https://hal.science/hal-00492983/file/preprint_CGL2.pdf BibTex

2009

Journal articles

titre
Comparison of Perron and Floquet Eigenvalues in Age Structured Cell Division Cycle Models
auteur
Jean Clairambault, Stéphane Gaubert, Thomas Lepoutre
article
Mathematical Modelling of Natural Phenomena, 2009, 4 (3), pp.183-209. ⟨10.1051/mmnp/20094308⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00344039/file/Hal_Clairambault_Gaubert_Lepoutre.pdf BibTex

2008

Journal articles

titre
The GacA global regulator is required for the appropriate expression of Erwinia chrysanthemi 3937 pathogenicity genes during plant infection
auteur
Aurore Lebeau, S. Reverchon, S. Gaubert, Y. Kraepiel, E. Simond-Cote, W. Nasser, F. van Gijsegem
article
Environmental Microbiology, 2008, 10 (3), pp.545-59
Accès au bibtex
BibTex

2006

Journal articles

titre
Policy iteration algorithm for zero-sum stochastic games with mean payoff
auteur
Jean Cochet-Terrasson, Stéphane Gaubert
article
Comptes Rendus. Mathématique, 2006, 343 (5), pp.377-382. ⟨10.1016/j.crma.2006.07.011⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00144146/file/CRASPreprint.pdf BibTex

Reports

titre
Nonlinear Markov semigroups and interacting Lévy type processes
auteur
Vassili Kolokoltsov
article
[Research Report] RR-5932, INRIA. 2006
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00080360/file/RR-5932.pdf BibTex
titre
The Minkowski Theorem for Max-plus Convex Sets
auteur
Stéphane Gaubert, Ricardo David Katz
article
[Research Report] RR-5907, INRIA. 2006
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00071358/file/RR-5907.pdf BibTex
titre
The max-plus finite element method for solving deterministic optimal control problems: basic properties and convergence analysis
auteur
Marianne Akian, Stéphane Gaubert, Asma Lakhoua
article
[Research Report] RR-5874, INRIA. 2006
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00071395/file/RR-5874.pdf BibTex

2005

Journal articles

titre
Shortest Path Algorithms for Real-Time Scheduling of FIFO tasks with Minimal Energy Use
auteur
Bruno Gaujal, Nicolas Navet, Cormac Walsh
article
ACM Transactions on Embedded Computing Systems (TECS), 2005, 4 (4), ⟨10.1145/1113830.1113838⟩
Accès au bibtex
BibTex

Conference papers

titre
Solutions of max-plus linear equations and large deviations
auteur
Marianne Akian, Stéphane Gaubert, Vassili Kolokoltsov
article
44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC’05), Dec 2005, Seville, Spain
Accès au bibtex
BibTex
titre
The max-plus finite element method for optimal control problems: further approximation results
auteur
Marianne Akian, Stéphane Gaubert, Asma Lakhoua
article
44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC’05), Dec 2005, Seville, Spain
Accès au bibtex
BibTex

Book sections

titre
Discrete max-plus spectral theory
auteur
Marianne Akian, Stéphane Gaubert, Cormac Walsh
article
G.L. Litvinov and V.P. Maslov. Idempotent Mathematics and Mathematical Physics, 377 (377), American Mathematical Society, pp.53–77, 2005, Contemporary Mathematics
Accès au bibtex
BibTex
titre
Set coverings and invertibility of Functional Galois Connections
auteur
Marianne Akian, Stéphane Gaubert, Vassili Kolokoltsov
article
G.L. Litvinov and V.P. Maslov. Idempotent Mathematics and Mathematical Physics, 377 (377), American Mathematical Society, pp.19-51, 2005, Contemporary Mathematics
Accès au bibtex
BibTex

Reports

titre
Max-plus $(A,B)$-invariant spaces and control of timed discrete event systems
auteur
Ricardo David Katz
article
[Research Report] RR-5521, INRIA. 2005, pp.28
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00070485/file/RR-5521.pdf BibTex

2004

Reports

titre
Perturbation of eigenvalues of matrix pencils and optimal assignment problem
auteur
Marianne Akian, Ravindra Bapat, Stéphane Gaubert
article
[Research Report] RR-5120, INRIA. 2004
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00071463/file/RR-5120.pdf BibTex
titre
The max-plus Martin boundary
auteur
Marianne Akian, Stéphane Gaubert, Cormac Walsh
article
[Research Report] RR-5429, INRIA. 2004, pp.30
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00070578/file/RR-5429.pdf BibTex
titre
Generic Asymptotics of Eigenvalues and Min-Plus Algebra
auteur
Marianne Akian, Ravindra Bapat, Stéphane Gaubert
article
[Research Report] RR-5104, INRIA. 2004
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00071479/file/RR-5104.pdf BibTex
titre
A max-plus finite element method for solving finite horizon deterministic optimal control problems
auteur
Marianne Akian, Stéphane Gaubert, Asma Lakhoua
article
[Research Report] RR-5163, INRIA. 2004
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00071426/file/RR-5163.pdf BibTex

2003

Journal articles

titre
Spectral theorem for convex monotone homogeneous maps, and ergodic control
auteur
Marianne Akian, Stéphane Gaubert
article
Nonlinear Analysis: Theory, Methods and Applications, 2003, 52 (2), pp.637-679. ⟨10.1016/S0362-546X(02)00170-0⟩
Accès au bibtex
BibTex

Reports

titre
Reachability problems for products of matrices in semirings
auteur
Stéphane Gaubert, Ricardo David Katz
article
[Research Report] RR-4944, INRIA. 2003
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00071635/file/RR-4944.pdf BibTex