Reachability and Invariance Problems in Max-plus Algebra

We present a synthesis of recent results concerning reachability and invariance problems for max-plus linear dynamical systems. Semigroup membership and orbit problems, reachable spaces, and A, B invariant spaces, are discussed.

[1]  S. Gaubert.  Performance evaluation of (max, +) automata , 1995, IEEE Trans. Autom. Control..

[2]  Edouard Wagneur,et al.  Controllability in the max-algebra , 1999, Kybernetika.

[3]  J. Quadrat,et al.  Algebraic tools for the performance evaluation of discrete event systems , 1989, Proc. IEEE.

[4]  Daniel Krob,et al.  A Complete System of Identities for One-Letter Rational Expressions with Multiplicities in the Tropical Semiring , 1994, Theor. Comput. Sci..

[5]  Juhani Karhumäki,et al.  Examples of Undecidable Problems for 2-Generator Matrix Semigroups , 1998, Theor. Comput. Sci..

[6]  Stéphane Gaubert,et al.  Methods and Applications of (MAX, +) Linear Algebra , 1997, STACS.

[7]  Edouard Wagneur,et al.  Moduloïds and pseudomodules 1. Dimension theory , 1989, Discret. Math..

[8]  Imre Simon,et al.  Recognizable Sets with Multiplicities in the Tropical Semiring , 1988, MFCS.

[9]  M. Schützenberger,et al.  Rational sets in commutative monoids , 1969 .

[10]  J. Quadrat,et al.  Max-Plus Algebra and System Theory: Where We Are and Where to Go Now , 1999 .

[11]  Tero Harju,et al.  Mortality in Matrix Semigroups , 2001, Am. Math. Mon..

[12]  Olivier Bournez,et al.  The Mortality Problem for Matrices of Low Dimensions , 2002, Theory of Computing Systems.

[13]  John N. Tsitsiklis,et al.  A survey of computational complexity results in systems and control , 2000, Autom..

[14]  Zohar Manna,et al.  Mathematical Theory of Computation , 2003 .

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

[16]  Stéphane Gaubert,et al.  Rational series over dioids and discrete event systems , 1994 .

[17]  Jean Mairesse,et al.  Modeling and analysis of timed Petri nets using heaps of pieces , 1997, 1997 European Control Conference (ECC).

[18]  M. Paterson.  Unsolvability in 3 × 3 Matrices , 1970 .

[19]  Wilton R. Abbott,et al.  Network Calculus , 1970 .

[20]  John N. Tsitsiklis,et al.  When is a Pair of Matrices Mortal? , 1997, Inf. Process. Lett..

[21]  Daniel Krob,et al.  The Equality Problem for Rational Series with Multiplicities in the tropical Semiring is Undecidable , 1992, Int. J. Algebra Comput..

[22]  S. Ginsburg,et al.  Semigroups, Presburger formulas, and languages. , 1966 .

[23]  W. Wonham.  Linear Multivariable Control: A Geometric Approach , 1974 .