Stephane Gaubert

38 papers A* 1A 2B 2C 1Journal 17Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Relu and softplus neural nets as zero-sum turn-based games. CoRR Stephane Gaubert, Yiannis Vlassopoulos
2024	J	`jnl`	Spectral Properties of Positive Definite Matrices over Symmetrized Tropical Algebras and Valued Ordered fields. CoRR Marianne Akian, Stephane Gaubert, Dariush Kiani, Hanieh Tavakolipour
2022	J	`jnl`	Computing Transience Bounds of Emergency Call Centers: a Hierarchical Timed Petri Net Approach. CoRR Xavier Allamigeon, Marin Boyet, Stephane Gaubert
2020	J	`jnl`	A Universal Approximation Result for Difference of Log-Sum-Exp Neural Networks. IEEE Trans. Neural Networks Learn. Syst. Giuseppe Carlo Calafiore, Stephane Gaubert, Corrado Possieri
2020	J	`jnl`	Log-Sum-Exp Neural Networks and Posynomial Models for Convex and Log-Log-Convex Data. IEEE Trans. Neural Networks Learn. Syst. Giuseppe Carlo Calafiore, Stephane Gaubert, Corrado Possieri
2019	J	`jnl`	A Universal Approximation Result for Difference of log-sum-exp Neural Networks. CoRR Giuseppe Carlo Calafiore, Stephane Gaubert, Corrado Possieri
2018	J	`jnl`	Log-sum-exp neural networks and posynomial models for convex and log-log-convex data. CoRR Giuseppe Carlo Calafiore, Stephane Gaubert, Corrado Possieri
2017	J	`jnl`	Approximating the Volume of Tropical Polytopes is Difficult. CoRR Stephane Gaubert, Marie MacCaig
2017	J	`jnl`	Demand Response in the Smart Grid: the Impact of Consumers Temporal Preferences. CoRR Paulin Jacquot, Olivier Beaude, Nadia Oudjane, Stephane Gaubert
2017	—	`conf`	Demand response in the smart grid: The impact of consumers temporal preferences. SmartGridComm Paulin Jacquot, Olivier Beaude, Stephane Gaubert, Nadia Oudjane
2017	—	`conf`	Demand side management in the smart grid: An efficiency and fairness tradeoff. ISGT Europe Paulin Jacquot, Olivier Beaude, Stephane Gaubert, Nadia Oudjane
2017	—	`conf`	Tropical Kraus maps for optimal control of switched systems. CDC Stephane Gaubert, Nikolas Stott
2014	J	`jnl`	Checking the strict positivity of Kraus maps is NP-hard. CoRR Stephane Gaubert, Zheng Qu
2014	—	`conf`	Non-linear eigenvalue problems arising from growth maximization of positive linear dynamical systems. CDC Vincent Calvez, Pierre Gabriel, Stephane Gaubert
2013	—	`conf`	Certification of inequalities involving transcendental functions: Combining SDP and max-plus approximation. ECC Xavier Allamigeon, Stephane Gaubert, Victor Magron, Benjamin Werner
2013	J	`jnl`	Ergodic Control and Polyhedral Approaches to PageRank Optimization. IEEE Trans. Autom. Control. Olivier Fercoq, Marianne Akian, Mustapha Bouhtou, Stephane Gaubert
2013	—	`conf`	Markov operators on cones and non-commutative consensus. ECC Stephane Gaubert, Zheng Qu
2013	—	`conf`	Solving multichain stochastic games with mean payoff by policy iteration. CDC Marianne Akian, Jean Cochet-Terrasson, Sylvie Detournay, Stephane Gaubert
2011	J	`jnl`	Curse of dimensionality reduction CoRR Stephane Gaubert, William M. McEneaney, Zheng Qu
2011	—	`conf`	Curse of dimensionality reduction in max-plus based approximation methods: Theoretical estimates and improved pruning algorithms. CDC/ECC Stephane Gaubert, William M. McEneaney, Zheng Qu
2009	—	`conf`	Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games. FORMATS Stephane Gaubert
2008	—	`conf`	Convergence analysis of the Max-Plus Finite Element Method for Solving Deterministic Optimal Control Problems. CDC Marianne Akian, Stephane Gaubert, Asma Lakhoua
2008	C	`conf`	Curse-of-complexity attenuation in the curse-of-dimensionality-free method for HJB PDEs. ACC William M. McEneaney, Ameet S. Deshpande, Stephane Gaubert
2008	B	`conf`	Inferring Min and Max Invariants Using Max-Plus Polyhedra. SAS Xavier Allamigeon, Stephane Gaubert, Eric Goubault
2008	J	`jnl`	The Max-Plus Finite Element Method for Solving Deterministic Optimal Control Problems: Basic Properties and Convergence Analysis. SIAM J. Control. Optim. Marianne Akian, Stephane Gaubert, Asma Lakhoua
2007	A	`conf`	Static Analysis by Policy Iteration on Relational Domains. ESOP Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou
2006	—	`conf`	How to solve large scale deterministic games with mean payoff by policy iteration. VALUETOOLS Vishesh Dhingra, Stephane Gaubert
2006	—	`conf`	Max-Plus Convex Geometry. RelMiCS Stephane Gaubert, Ricardo Katz
2006	J	`jnl`	Reachability Problems for Products of Matrices in Semirings. Int. J. Algebra Comput. Stephane Gaubert, Ricardo Katz
2005	A*	`conf`	A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs. CAV Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot
2005	—	`conf`	Solutions of max-plus linear equations and large deviations. CDC/ECC Marianne Akian, Stephane Gaubert, Vassili Kolokoltsov
2005	—	`conf`	The max-plus finite element method for optimal control problems: further approximation results. CDC/ECC Marianne Akian, Stephane Gaubert, Asma Lakhoua
2003	—	`conf`	Reachability and Invariance Problems in Max-plus Algebra. POSTA Stephane Gaubert, Ricardo Katz
1999	J	`jnl`	Petri Net Languages and Infinite Subsets of m. J. Comput. Syst. Sci. Stephane Gaubert, Alessandro Giua
1998	B	`conf`	Algebraic Techniques for Timed Systems. CONCUR Albert Benveniste, Claude Jard, Stephane Gaubert
1998	J	`jnl`	Timed-event graphs with multipliers and homogeneous min-plus systems. IEEE Trans. Autom. Control. Guy Cohen, Stephane Gaubert, Jean-Pierre Quadrat
1997	A	`conf`	Methods and Applications of (MAX, +) Linear Algebra. STACS Stephane Gaubert, Max Plus
1995	J	`jnl`	Resource optimization and (min, +) spectral theory. IEEE Trans. Autom. Control. Stephane Gaubert