Geodesic
Rational semimodules over the max-plus semiring and geometric approach to discrete event systems
Kybernetika, Tome 40 (2004) no. 2, p. [153]

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

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 ${\mathcal{S}}^n$ over a semiring ${\mathcal{S}}$ is rational if it has a generating family that is a rational subset of ${\mathcal{S}}^n$, ${\mathcal{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 (sum, 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.
Classification : 06F05, 16Y60, 93B03, 93B07, 93B25, 93B27, 93C65
Keywords: invariant spaces; reachability; geometric control; rational sets; Presburger arithmetics; max-plus algebra; discrete event systems 
@article{KYB_2004__40_2_a0,
     author = {Gaubert, St\'ephane and Katz, Ricardo},
     title = {Rational semimodules over the max-plus semiring and geometric approach to discrete event systems},
     journal = {Kybernetika},
     pages = {[153]},
     publisher = {mathdoc},
     volume = {40},
     number = {2},
     year = {2004},
     mrnumber = {2069176},
     zbl = {1249.93125},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_2004__40_2_a0/}
}
TY  - JOUR
AU  - Gaubert, Stéphane
AU  - Katz, Ricardo
TI  - Rational semimodules over the max-plus semiring and geometric approach to discrete event systems
JO  - Kybernetika
PY  - 2004
SP  - [153]
VL  - 40
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KYB_2004__40_2_a0/
LA  - en
ID  - KYB_2004__40_2_a0
ER  - 
%0 Journal Article
%A Gaubert, Stéphane
%A Katz, Ricardo
%T Rational semimodules over the max-plus semiring and geometric approach to discrete event systems
%J Kybernetika
%D 2004
%P [153]
%V 40
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_2004__40_2_a0/
%G en
%F KYB_2004__40_2_a0
Gaubert, Stéphane; Katz, Ricardo. Rational semimodules over the max-plus semiring and geometric approach to discrete event systems. Kybernetika, Tome 40 (2004) no. 2, p. [153]. http://geodesic.mathdoc.fr/item/KYB_2004__40_2_a0/