Max-plus analogues of linear spaces, convex sets, and polyhedra have appeared in several works. We survey their main geometrical properties, including max-plus versions of the separation theorem, existence of linear and non-linear projectors, max-plus analogues of the Minkowski-Weyl theorem, and the characterization of the analogues of “simplicial” cones in terms of distributive lattices.

Résumé Quasi-interpretations are a tool to bound the size of the values computed by a first-order functional program (or a term rewriting system) and thus a mean to extract bounds on its computational complexity. We study the synthesis of quasi-interpretations selected in the space of polynomials over the max-plus algebra determined by the non-negative rationals extended with −∞ and equipped wi...

We present a new method for the a priori approximation of the order of magnitude of the entries in the LU factors of a matrix A ∈ Cn×n. We are also able to predict which permutation matrices will be chosen by partial pivoting or complete pivoting Gaussian elimination. Our method uses maxplus algebra and is based purely on the modulii of the entries in the matrix. This approximation can be used ...

Max-plus stochastic processes are counterparts of Markov diffusion processes governed by Ito sense stochastic differential equations. In this framework, expectations are linear operations with respect to max-plus arithmetic. Max-plus stochastic control problems are considered, in which a minimizing control enters the state dynamics and running cost. The minimum max-plus expected cost is equal t...

Model Predictive Control (MPC) is a model-based control method based on a receding horizon approach and online optimization. In previous work we have extended MPC to a class of discrete-event systems, namely the max-plus linear systems, i.e., models that are “linear” in the maxplus algebra. Lately, the application of MPC for stochastic max-plus-linear systems has attracted a lot of attention. A...

Model Predictive Control (MPC) is a model-based control method based on a receding horizon approach and online optimization. In previous work we have extended MPC to a class of discrete-event systems, namely the max-plus linear systems, i.e., models that are “linear” in the maxplus algebra. Lately, the application of MPC for stochastic max-plus-linear systems has attracted a lot of attention. A...

cycle time, discrete event system, fixed point, max-plus semiring, nonexpansive map, topical function Discrete event systems provide a useful abstraction for modelling a wide variety of systems: digital circuits, communication networks, manufacturing plants, etc. Their dynamics—stability, equilibrium states, cyclical behaviour, asymptotic average delays—are of vital importance to system designe...