32 research outputs found
Rational semimodules over the max-plus semiring and geometric approach of discrete event systems
We introduce rational semimodules over semirings whose addition is
idempotent, like the max-plus semiring, in order to extend the geometric
approach of linear control to discrete event systems. We say that a
subsemimodule of the free semimodule S^n over a semiring S is rational if it
has a generating family that is a rational subset of S^n, S^n being thought of
as a monoid under the entrywise product. We show that for various semirings of
max-plus type whose elements are integers, rational semimodules are stable
under the natural algebraic operations (union, product, direct and inverse
image, intersection, projection, etc). We show that the reachable and
observable spaces of max-plus linear dynamical systems are rational, and give
various examples.Comment: 24 pages, 9 postscript figures; example in section 4.3 expande
Max-plus (A,B)-invariant spaces and control of timed discrete event systems
The concept of (A,B)-invariant subspace (or controlled invariant) of a linear
dynamical system is extended to linear systems over the max-plus semiring.
Although this extension presents several difficulties, which are similar to
those encountered in the same kind of extension to linear dynamical systems
over rings, it appears capable of providing solutions to many control problems
like in the cases of linear systems over fields or rings. Sufficient conditions
are given for computing the maximal (A,B)-invariant subspace contained in a
given space and the existence of linear state feedbacks is discussed. An
application to the study of transportation networks which evolve according to a
timetable is considered.Comment: 24 pages, 1 Postscript figure, proof of Lemma 1 and some references
adde
The tropical analogue of polar cones
We study the max-plus or tropical analogue of the notion of polar: the polar
of a cone represents the set of linear inequalities satisfied by its elements.
We establish an analogue of the bipolar theorem, which characterizes all the
inequalities satisfied by the elements of a tropical convex cone. We derive
this characterization from a new separation theorem. We also establish variants
of these results concerning systems of linear equalities.Comment: 21 pages, 3 figures, example added, figures improved, notation
change
The set of realizations of a max-plus linear sequence is semi-polyhedral
We show that the set of realizations of a given dimension of a max-plus
linear sequence is a finite union of polyhedral sets, which can be computed
from any realization of the sequence. This yields an (expensive) algorithm to
solve the max-plus minimal realization problem. These results are derived from
general facts on rational expressions over idempotent commutative semirings: we
show more generally that the set of values of the coefficients of a commutative
rational expression in one letter that yield a given max-plus linear sequence
is a semi-algebraic set in the max-plus sense. In particular, it is a finite
union of polyhedral sets
Max-plus algebra in the history of discrete event systems
This paper is a survey of the history of max-plus algebra and its role in the field of discrete event systems during the last three decades. It is based on the perspective of the authors but it covers a large variety of topics, where max-plus algebra plays a key role
The Model Matching Problem for Max-Plus Linear Systems: a Geometric Approach
Linear systems over the max-plus algebra provide a suitable formalism to model discrete event systems where synchronization, without competition, is involved. In this paper, we consider a formulation of the model matching problem for systems of such class, in which the output of a given system, called the plant, is forced, by a suitable input, to track exactly that of a given model. A necessary and sufficient condition for its solvability is obtained by making a suitable use of geometric methods in the framework of systems over the max-plus algebra