Tropical methods: structures, algorithms and interactions
Tropical methods: structures, algorithms and interactions

The project develops tropical methods motivated by applications
arising in decision theory (deterministic and stochastic optimal
control, game theory, optimization and operations research), in the
analysis or control of classes of dynamical systems (including timed
discrete event systems and positive systems), in the verification of
programs and systems, in performance evaluation,  and in the development of numerical algorithms.
Tropical algebra tools are used in interaction with various methods,
coming from convex analysis, Hamilton--Jacobi partial differential
equations, metric geometry, Perron-Frobenius and nonlinear fixed-point
theories, combinatorics or algorithmic complexity. The emphasis of
the project is on mathematical modelling and computational aspects. Current applications developed by the team include performance evaluation of emergency call centers and optimal pricing.


Centre(s) inria
Inria Saclay Centre


Team leader

Amandine Sainsard

Team assistant