Stéphane Gaubert

Orcid: 0000-0002-2777-9988

Affiliations:
  • INRIA, France


According to our database1, Stéphane Gaubert authored at least 117 papers between 1995 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Exact Quantization of Multistage Stochastic Linear Problems.
SIAM J. Optim., March, 2024

Quadratic regularization of bilevel pricing problems and application to electricity retail markets.
Eur. J. Oper. Res., March, 2024

Directed Metric Structures arising in Large Language Models.
CoRR, 2024

Eigenvalue Methods for Sparse Tropical Polynomial Systems.
Proceedings of the Mathematical Software - ICMS 2024, 2024

2023
Tropical Complementarity Problems and Nash Equilibria.
SIAM J. Discret. Math., September, 2023

Tropical Linear Regression and Mean Payoff Games: Or, How to Measure the Distance to Equilibria.
SIAM J. Discret. Math., June, 2023

Bit-complexity estimates in geometric programming, and application to the polynomial-time computation of the spectral radius of nonnegative tensors.
CoRR, 2023

Solving Irreducible Stochastic Mean-Payoff Games and Entropy Games by Relative Krasnoselskii-Mann Iteration.
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems.
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

A Quantization Procedure for Nonlinear Pricing with an Application to Electricity Markets.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022
Peak power generated through the combustion reaction of propane.
Dataset, May, 2022

Multiply Accelerated Value Iteration for NonSymmetric Affine Fixed Point Problems and Application to Markov Decision Processes.
SIAM J. Matrix Anal. Appl., 2022

No self-concordant barrier interior point method is strongly polynomial.
Proceedings of the STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20, 2022

Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games.
Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

Ergodic control of a heterogeneous population and application to electricity pricing.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Computing Transience Bounds of Emergency Call Centers: A Hierarchical Timed Petri Net Approach.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

2021
What Tropical Geometry Tells Us about the Complexity of Linear Programming.
SIAM Rev., 2021

Piecewise Affine Dynamical Models of Petri Nets - Application to Emergency Call Centers.
Fundam. Informaticae, 2021

2020
A Universal Approximation Result for Difference of Log-Sum-Exp Neural Networks.
IEEE Trans. Neural Networks Learn. Syst., 2020

Log-Sum-Exp Neural Networks and Posynomial Models for Convex and Log-Log-Convex Data.
IEEE Trans. Neural Networks Learn. Syst., 2020

A Privacy-Preserving Method to Optimize Distributed Resource Allocation.
SIAM J. Optim., 2020

Tropical Spectrahedra.
Discret. Comput. Geom., 2020

Forecasting the local progression of the Covid-19 epidemic from medical emergency calls: the example of the Paris area.
CoRR, 2020

A Convex Programming Approach to Solve Posynomial Systems.
Proceedings of the Mathematical Software - ICMS 2020, 2020

Piecewise Affine Dynamical Models of Timed Petri Nets - Application to Emergency Call Centers.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019
Analysis and Implementation of an Hourly Billing Mechanism for Demand Response Management.
IEEE Trans. Smart Grid, 2019

The Operator Approach to Entropy Games.
Theory Comput. Syst., 2019

The tropical analogue of the Helton-Nie conjecture is true.
J. Symb. Comput., 2019

Approximating the volume of tropical polytopes is difficult.
Int. J. Algebra Comput., 2019

A Privacy-preserving Disaggregation Algorithm for Non-intrusive Management of Flexible Energy.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Solving Ergodic Markov Decision Processes and Perfect Information Zero-sum Stochastic Games by Variance Reduced Deflated Value Iteration.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018
Amount of vibration transmitted by a vehicle suspension system.
Dataset, November, 2018

Log-Barrier Interior Point Methods Are Not Strongly Polynomial.
SIAM J. Appl. Algebra Geom., 2018

Solving generic nonarchimedean semidefinite programs using stochastic game algorithms.
J. Symb. Comput., 2018

Condition numbers of stochastic mean payoff games and what they say about nonarchimedean semidefinite programming.
CoRR, 2018

2017
A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs.
ACM Trans. Embed. Comput. Syst., 2017

Stationary solutions of discrete and continuous Petri nets with priorities.
Perform. Evaluation, 2017

Checking strict positivity of Kraus maps is NP-hard.
Inf. Process. Lett., 2017

Analysis and Implementation of a Hourly Billing Mechanism for Demand Response Management.
CoRR, 2017

A bilevel optimization model for load balancing in mobile networks through price incentives.
Proceedings of the 15th International Symposium on Modeling and Optimization in Mobile, 2017

Demand response in the smart grid: The impact of consumers temporal preferences.
Proceedings of the 2017 IEEE International Conference on Smart Grid Communications, 2017

Demand side management in the smart grid: An efficiency and fairness tradeoff.
Proceedings of the 2017 IEEE PES Innovative Smart Grid Technologies Conference Europe, 2017

Tropical Kraus maps for optimal control of switched systems.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016
A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems.
ACM Trans. Embed. Comput. Syst., 2016

Maximizing concave piecewise affine functions on the unitary group.
Optim. Lett., 2016

Algorithms and Effectivity in Tropical Mathematics and Beyond (Dagstuhl Seminar 16482).
Dagstuhl Reports, 2016

2015
Tropicalizing the Simplex Algorithm.
SIAM J. Discret. Math., 2015

Certification of real inequalities: templates and sums of squares.
Math. Program., 2015

Definable Zero-Sum Stochastic Games.
Math. Oper. Res., 2015

Formal Proofs for Nonlinear Optimization.
J. Formaliz. Reason., 2015

Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Hypergraph conditions for the solvability of the ergodic equation for zero-sum games.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
Combinatorial Simplex Algorithms Can Solve Mean Payoff Games.
SIAM J. Optim., 2014

Synchronisation and control of proliferation in cycling cell population models with age structure.
Math. Comput. Simul., 2014

Tropical Fourier-Motzkin elimination, with an application to real-time verification.
Int. J. Algebra Comput., 2014

The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average.
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Non-linear eigenvalue problems arising from growth maximization of positive linear dynamical systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Generic uniqueness of the bias vector of mean payoff zero-sum games.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013
Ergodic Control and Polyhedral Approaches to PageRank Optimization.
IEEE Trans. Autom. Control., 2013

The level set method for the two-sided max-plus eigenproblem.
Discret. Event Dyn. Syst., 2013

Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs.
Discret. Comput. Geom., 2013

Dobrushin ergodicity coefficient for Markov operators on cones, and beyond
CoRR, 2013

Certification of Bounds of Non-linear Functions: The Templates Method.
Proceedings of the Intelligent Computer Mathematics, 2013

Markov operators on cones and non-commutative consensus.
Proceedings of the 12th European Control Conference, 2013

Certification of inequalities involving transcendental functions: Combining SDP and max-plus approximation.
Proceedings of the 12th European Control Conference, 2013

Solving multichain stochastic games with mean payoff by policy iteration.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Is the Distance Geometry Problem in NP?
Proceedings of the Distance Geometry: Theory, Methods, and Applications, 2013

2012
Abstract interpretation meets convex optimization.
J. Symb. Comput., 2012

Tropical linear-fractional programming and parametric mean payoff games.
J. Symb. Comput., 2012

Tropical Polyhedra are Equivalent to mean Payoff Games.
Int. J. Algebra Comput., 2012

Policy iteration algorithm for zero-sum multichain stochastic games with mean payoff and perfect information
CoRR, 2012

The contraction rate in Thompson metric of order-preserving flows on a cone - application to generalized Riccati equations
CoRR, 2012

Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
Log. Methods Comput. Sci., 2012

2011
Circadian rhythm and cell population growth.
Math. Comput. Model., 2011

The number of extreme points of tropical polyhedra.
J. Comb. Theory A, 2011

The set of realizations of a max-plus linear sequence is semi-polyhedral.
J. Comput. Syst. Sci., 2011

Curse of dimensionality reduction
CoRR, 2011

Curse of dimensionality reduction in max-plus based approximation methods: Theoretical estimates and improved pruning algorithms.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010
Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems.
SIAM J. Control. Optim., 2010

Scarf Oiks.
Electron. Notes Discret. Math., 2010

Sperner Oiks.
Electron. Notes Discret. Math., 2010

Submodularity and Randomized rounding techniques for Optimal Experimental Design.
Electron. Notes Discret. Math., 2010

Carathéodory, Helly and the Others in the Max-Plus World.
Discret. Comput. Geom., 2010

Submodular spectral functions of principal submatrices of an hermitian matrix
CoRR, 2010

Tropical polar cones, hypergraph transversals, and mean payoff games
CoRR, 2010

Optimal monitoring in large networks by Successive c-optimal Designs.
Proceedings of the 22nd International Teletraffic Congress, 2010

The Tropical Double Description Method.
Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, 2010

Successive c-optimal designs: a scalable technique to optimize the measurements on large networks.
Proceedings of the SIGMETRICS 2010, 2010

Tropical linear programming and parametric mean payoff games.
Proceedings of the Second International Workshop on Invariant Generation, 2010

2009
Reducible Spectral Theory with Applications to the Robustness of Matrices in Max-Algebra.
SIAM J. Matrix Anal. Appl., 2009

Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

2008
The Max-Plus Finite Element Method for Solving Deterministic Optimal Control Problems: Basic Properties and Convergence Analysis.
SIAM J. Control. Optim., 2008

Inferring Min and Max Invariants Using Max-Plus Polyhedra.
Proceedings of the Static Analysis, 15th International Symposium, 2008

Convergence analysis of the Max-Plus Finite Element Method for Solving Deterministic Optimal Control Problems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Curse-of-complexity attenuation in the curse-of-dimensionality-free method for HJB PDEs.
Proceedings of the American Control Conference, 2008

2007
Static Analysis by Policy Iteration on Relational Domains.
Proceedings of the Programming Languages and Systems, 2007

2006
Reachability Problems for Products of Matrices in Semirings.
Int. J. Algebra Comput., 2006

How to solve large scale deterministic games with mean payoff by policy iteration.
Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, 2006

The T-PageRank: A Model of Self-Validating Effects of Web Surfing.
Proceedings of the Positive Systems, 2006

How to find horizon-independent optimal strategies leading off to infinity: a max-plus approach.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Max-Plus Convex Geometry.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005
The max-plus finite element method for optimal control problems: further approximation results.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

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

A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004
Rational semimodules over the max-plus semiring and geometric approach to discrete event systems.
Kybernetika, 2004

2003
Foreword.
Theor. Comput. Sci., 2003

Guest editorial: Special issue on max-plus algebras.
Kybernetika, 2003

Reachability and Invariance Problems in Max-plus Algebra.
Proceedings of the Positive Systems, 2003

2000
Approximating the spectral radius of sets of matrices in the max-algebra is NP-hard.
IEEE Trans. Autom. Control., 2000

1999
Modeling and analysis of timed Petri nets using heaps of pieces.
IEEE Trans. Autom. Control., 1999

Petri Net Languages and Infinite Subsets of m.
J. Comput. Syst. Sci., 1999

Asymptotic analysis of heaps of pieces and application to timed Petri nets.
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

1998
Timed-event graphs with multipliers and homogeneous min-plus systems.
IEEE Trans. Autom. Control., 1998

Algebraic Techniques for Timed Systems.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997
Methods and Applications of (MAX, +) Linear Algebra.
Proceedings of the STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27, 1997

1996
Deterministic weak-and-marked Petri net languages are regular.
IEEE Trans. Autom. Control., 1996

1995
Resource optimization and (min, +) spectral theory.
IEEE Trans. Autom. Control., 1995


  Loading...