Следене
Stephane Gaubert
Stephane Gaubert
Directeur de recherche, INRIA and CMAP, Ecole polytechnique
Потвърден имейл адрес: inria.fr - Начална страница
Заглавие
Позовавания
Позовавания
Година
Théorie des systèmes linéaires dans les dioïdes
S Gaubert
Paris, ENMP, 1992
4511992
Perron–Frobenius theorem for nonnegative multilinear forms and extensions
S Friedland, S Gaubert, L Han
Linear Algebra and its Applications 438 (2), 738-749, 2013
3582013
Methods and applications of (max,+) linear algebra
S Gaubert, M Plus
STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science …, 1997
3261997
Max-plus algebra and system theory: where we are and where to go now
G Cohen, S Gaubert, JP Quadrat
Annual reviews in control 23, 207-219, 1999
3021999
Duality and separation theorems in idempotent semimodules
G Cohen, S Gaubert, JP Quadrat
Linear Algebra and its Applications 379, 395-422, 2004
2992004
Numerical computation of spectral elements in max-plus algebra
J Cochet-Terrasson, G Cohen, S Gaubert, M McGettrick, JP Quadrat
IFAC Proceedings Volumes 31 (18), 667-674, 1998
2591998
Performance evaluation of (max,+) automata
S Gaubert
IEEE transactions on automatic Control 40 (12), 2014-2025, 1995
2241995
Max-plus algebra
M Akian, R Bapat, S Gaubert
Handbook of linear algebra 39, 10-14, 2006
2112006
Modeling and analysis of timed Petri nets using heaps of pieces
S Gaubert, J Mairesse
IEEE Transactions on Automatic Control 44 (4), 683-697, 1999
2101999
Tropical polyhedra are equivalent to mean payoff games
M Akian, S Gaubert, A Guterman
International Journal of Algebra and Computation 22 (01), 1250001, 2012
2022012
Linear independence over tropical semirings and beyond
M Akian, S Gaubert, A Guterman
arXiv preprint arXiv:0812.3496, 2008
1932008
The Perron-Frobenius theorem for homogeneous, monotone functions
S Gaubert, J Gunawardena
Transactions of the American Mathematical Society 356 (12), 4931-4950, 2004
1742004
The max-plus finite element method for solving deterministic optimal control problems: basic properties and convergence analysis
M Akian, S Gaubert, A Lakhoua
SIAM Journal on Control and Optimization 47 (2), 817-848, 2008
1392008
Linear systems in (max,+) algebra
M Akian, G Cohen, S Gaubert, R Nikoukhah, JP Quadrat
29th IEEE Conference on decision and control, 151-156, 1990
1321990
A policy iteration algorithm for computing fixed points in static analysis of programs
A Costan, S Gaubert, E Goubault, M Martel, S Putot
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
1312005
The duality theorem for min-max functions
S Gaubert, J Gunawardena
Comptes Rendus de l'Académie des Sciences-Series I-Mathematics 326 (1), 43-48, 1998
1211998
A constructive fixed point theorem for min-max functions
J Cochet-Terrasson, S Gaubert, J Gunawardena
Dynamics and stability of systems 14 (4), 407-433, 1999
1161999
The Minkowski theorem for max-plus convex sets
S Gaubert, RD Katz
Linear Algebra and its Applications 421 (2-3), 356-369, 2007
1122007
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
A Adjé, S Gaubert, E Goubault
Logical methods in computer science 8, 2012
1042012
Max-plus convex sets and functions
G Cohen, S Gaubert, JP Quadrat, I Singer
arXiv preprint math/0308166, 2003
1042003
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20