Section:
Scientific Foundations
Algèbre linéaire max-plus/Basic max-plus algebra
Une bonne partie des résultats de l'algèbre max-plus
concerne l'étude des systèmes d'équations linéaires.
On peut distinguer trois familles d'équations, qui sont traitées
par des techniques différentes :
1) Nous avons déjà évoqué dans les sections
3.2
et
3.3 le problème spectral max-plus et ses
généralisations. Celui-ci apparaît en contrôle optimal déterministe
et dans l'analyse des systèmes à événements discrets.
2) Le problème intervient en commande juste-à-temps
(dans ce contexte, le vecteur représente les dates de démarrage
des tâches initiales, représente certaines dates limites,
et on se contente souvent de l'inégalité ).
Le problème est intimement lié au problème d'affectation
optimale, et plus généralement au problème de transport optimal.
Il se traite via la théorie des correspondances de Galois
abstraites, ou théorie de la
résiduation [102] , [78] , [173] , [178] ,[6] .
Les versions dimension infinie du problème sont
reliées aux questions d'analyse convexe
abstraite [170] , [163] , [61] et de dualité non convexe.
3) Le problème linéaire général conduit
à des développements combinatoires intéressants
(polyèdres max-plus, déterminants max-plus, symétrisation [123] , [152] ,[6] ).
Le sujet fait l'objet d'un intérêt
récemment renouvelé [98] .
English version
An important class of results in max-plus algebra
concerns the study of max-plus linear equations.
One can distinguish three families of equations,
which are handled using different techniques:
1) We already mentioned in Sections
3.2
and
3.3 the max-plus spectral problem
and its generalisations, which appears in deterministic optimal
control and in performance analysis of discrete event systems.
2) The problem arises naturally
in just in time problems (in this context, the vector represents
the starting times of initial tasks, represents some deadlines,
and one is often content with the inequality ).
The problem is intimately related with optimal assignment,
and more generally,
with optimal transportation problems. Its theory relies
on abstract Galois correspondences, or residuation
theory [102] , [78] , [173] , [178] ,[6] .
Infinite dimensional versions of the problem
are related to questions of abstract
convex analysis [170] , [163] , [61]
and nonconvex duality.
3) The general linear system
leads to interesting combinatorial developments
(max-plus polyedra, determinants,
symmetrisation [123] , [152] ,[6] ).
The subject has attracted recently a new attention [98] .