Max-plus (A,B)-invariant spaces and control of timed discrete event systems

Abstract

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.

24 pages, 1 Postscript figure, proof of Lemma 1 and some references added

Cited by in corpus (12)

• Tropical polyhedra are equivalent to mean payoff games
• Tropical linear-fractional programming and parametric mean payoff games
• Computing the vertices of tropical polyhedra using directed hypergraphs
• Duality between invariant spaces for max-plus linear discrete event systems
• The number of extreme points of tropical polyhedra
• The tropical analogue of polar cones
• On the complexity of strongly connected components in directed hypergraphs
• Duality and interval analysis over idempotent semirings
• Approximating the Volume of Tropical Polytopes is Difficult
• Switched max-plus linear-dual inequalities: cycle time analysis and applications
• Controlled Invariance in Fully Actuated Max-plus Linear Systems with Precedence Semimodules
• The set of realizations of a max-plus linear sequence is semi-polyhedral