SIAM Journal on Control and Optimization, Vol.48, No.8, 5606-5628, 2010
DUALITY BETWEEN INVARIANT SPACES FOR MAX-PLUS LINEAR DISCRETE EVENT SYSTEMS
We extend the notions of conditioned and controlled invariant spaces to linear dynamical systems over the max-plus or tropical semiring. We establish a duality theorem relating both notions, which we use to construct dynamic observers. These are useful in situations in which some of the system coefficients may vary within certain intervals. The results are illustrated by an application to a manufacturing system.
Keywords:conditioned invariance;controlled invariance;duality;geometric control;dynamic observer;max-plus algebra;discrete event systems;tropical semiring