Rational Semimodules over the Max-Plus Semiring and Geometric Approach of Discrete Event Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2002

Rational Semimodules over the Max-Plus Semiring and Geometric Approach of Discrete Event Systems

Abstract

We introduce rational semimodules over semirings whose addition is idempotent, like the max-plus semiring. 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). Rational semimodules are a tool to extend the geometric approach of linear control to discrete event systems. In particular, we show that the reachable and observable spaces of max-plus linear dynamical systems are rational.
Fichier principal
Vignette du fichier
RR-4519.pdf (370.16 Ko) Télécharger le fichier

Dates and versions

inria-00072069 , version 1 (23-05-2006)

Identifiers

  • HAL Id : inria-00072069 , version 1

Cite

Stéphane Gaubert, Ricardo David Katz. Rational Semimodules over the Max-Plus Semiring and Geometric Approach of Discrete Event Systems. [Research Report] RR-4519, INRIA. 2002. ⟨inria-00072069⟩
84 View
150 Download

Share

Gmail Facebook Twitter LinkedIn More