Rational semimodules over the max-plus semiring and geometric approach to 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 over a semiring is rational if it has a generating family that is a rational subset of , 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...