Asymptotic behavior in a heap model with two pieces
Theoretical Computer Science
Finding all essential terms of a characteristic maxpolynomial
Discrete Applied Mathematics
Globally optimal solutions of max---min systems
Journal of Global Optimization
The set of realizations of a max-plus linear sequence is semi-polyhedral
Journal of Computer and System Sciences
Geometrically minimal realizations of Boolean controlled systems
Automation and Remote Control
Hi-index | 0.00 |
We show that the minimal dimension of a linear realization over the (max,+) semiring of a convex sequence is equal to the minimal size of a decomposition of the sequence as a supremum of discrete affine maps. The minimal-dimensional realization of any convex realizable sequence can thus be found in linear time. The result is based on a bound in terms of minors of the Hankel matrix.