Idempotent versions of Haar's Lemma: links between comparison of discrete event systems with different state spaces and control

Haar’s Lemma (1918) deals with the algebraic characterization of the inclusion of polyhedral sets. This Lemma has been involved many times in automatic control of linear dynamical systems via positive invariance of polyhedrons. More recently, it has been used to characterize stochastic comparison w.r.t. linear/integral ordering of Markov (reward) chains. In this paper we develop a state space oriented approach to the control of Discrete Event Systems (DES) based on the remark that most of control constraints of practical interest are naturally expressed as the inclusion of two systems of linear (w.r.t. idempotent semiring or semifield operations) inequalities. Thus, we establish tropical version of Haar’s Lemma to obtain the algebraic characterization of such inclusion. As in the linear case this Lemma exhibits the links between two apparently different problems: comparison of DES and control via positive invariance. Our approach to the control differs from the ones based on formal series and is a kind of dual approach of the geometric one recently developed. Control oriented applications of the main results of the paper are given. One of these applications concerns the study of transportation networks which evolve according to a time table. Although complexity of calculus is discussed the algorithmic implementation needs further work and is beyond the scope of this paper.

[1]  Duality in the Max-Algebra , 1998 .

[2]  Jonathan S. Golan,et al.  The theory of semirings with applications in mathematics and theoretical computer science , 1992, Pitman monographs and surveys in pure and applied mathematics.

[3]  Laurent Truffet.  Monotone Linear Dynamical Systems over Dioids , 2003, POSTA.

[4]  Bertrand Cottenceau,et al.  Optimal Control for (max, +)-linear Systems in the Presence of Disturbances , 2003, POSTA.

[5]  B. Schutter,et al.  On max-algebraic models for transportation networks , 1998 .

[6]  J. Quadrat,et al.  Duality and separation theorems in idempotent semimodules , 2002, math/0212294.

[7]  Laurent Truffet,et al.  Sufficient condition of max-plus ellipsoidal invariant set and computation of feedback control of discrete event systems , 2006, ICINCO-SPSMC.

[8]  Laurent Truffet.  Exploring positively invariant sets by linear systems over idempotent semirings , 2004, IMA J. Math. Control. Inf..

[9]  Peter Butkovic,et al.  The equation A⊗x=B⊗y over (max, +) , 2003, Theor. Comput. Sci..

[10]  Ines Klimann,et al.  A solution to the problem of (A, B)-invariance for series , 2003, Theor. Comput. Sci..

[11]  J. W. Nieuwenhuis,et al.  A linear programming algorithm for invariant polyhedral sets of discrete-time linear systems , 1995 .

[13]  Laurent Truffet,et al.  State Feedback Control via Positive Invariance for Max-plus Linear Systems using Γ-algorithm , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[14]  Comparison and aggregation of max-plus linear systems , 2004 .

[15]  Mark A. McComb.  Comparison Methods for Stochastic Models and Risks , 2003, Technometrics.

[16]  S. Gaubert,et al.  THE DUALITY THEOREM FOR MIN-MAX FUNCTIONS , 1997 .

[17]  Laurent Truffet.  New Bounds for Timed Event Graphs Inspired by Stochastic Majorization Results , 2004, Discret. Event Dyn. Syst..

[18]  James Ledoux,et al.  Criteria for the comparison of discrete-time Markov chains , 2004 .

[19]  Jean Cochet-Terrasson.  A constructive xed point theorem for min-max functions , 1999 .

[20]  Stéphane Gaubert,et al.  Rational semimodules over the max-plus semiring and geometric approach to discrete event systems , 2004, Kybernetika.

[21]  J. Hiriart-Urruty,et al.  Fundamentals of Convex Analysis , 2004 .

[22]  Eric Goubault,et al.  A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs , 2005, CAV.

[23]  Peter Butkovic,et al.  A strongly polynomial algorithm for solving two-sided linear systems in max-algebra , 2006, Discret. Appl. Math..

[24]  J. Hennet.  Une extension du lemme de Farkas et son application au problème de régulation linéaire sous contrainte , 1989 .