Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00072069
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 7:42:21 PM
Last modification on : Friday, May 25, 2018 - 12:02:03 PM
Long-term archiving on: : Sunday, April 4, 2010 - 10:51:38 PM

Identifiers

  • HAL Id : inria-00072069, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

158

Files downloads

299