A super-eigenvector approach to control constrained max-plus linear systems

The control of timed Petri nets subject to synchronization and time delay phenomena is addressed in this paper. This class of timed Petri nets can be described by using the max-plus algebra. The objective is to design a feedback controller for a max-plus linear system to ensure that the system evolution respects time constraints imposed to the state that can be expressed by a semimodule. In order to achieve this goal, an approach based on the definition of the super-eigenvector of a matrix is proposed. Under some conditions, it ensures the existence of a feedback and allows us to compute it. The contribution is illustrated by a transportation control problem taken from literature.

[1]  Bart De Schutter,et al.  Finite-Horizon Min–Max Control of Max-Plus-Linear Systems , 2007, IEEE Transactions on Automatic Control.

[2]  H. Laurent,et al.  Control synthesis for P-temporal event graphs , 2006, 2006 8th International Workshop on Discrete Event Systems.

[3]  Bertrand Cottenceau,et al.  Model reference control for timed event graphs in dioids , 2001, Autom..

[4]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[5]  Cottenceau Bertrand,et al.  Data Processing Tool for Calculation in Dioid , 2000 .

[6]  R. Santos-Mendes,et al.  On the Model Reference Control for Max-Plus Linear Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[7]  Laurent Hardouin,et al.  Just-in-time control of timed event graphs: update of reference input, presence of uncontrollable input , 2000, IEEE Trans. Autom. Control..

[8]  Bertrand Cottenceau,et al.  About disturbance decoupling of timed event graphs in dioids , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[9]  Bertrand Cottenceau,et al.  Observer Design for $(\max, +)$ Linear Systems , 2010, IEEE Transactions on Automatic Control.

[10]  Ricardo Katz.  Max-Plus $(A,B)$-Invariant Spaces and Control of Timed Discrete-Event Systems , 2007, IEEE Transactions on Automatic Control.

[11]  Bertrand Cottenceau,et al.  Interval analysis and dioid: application to robust controller design for timed event graphs , 2004, Autom..

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

[13]  Bertrand Cottenceau,et al.  Optimal closed-loop control of timed EventGraphs in dioids , 2003, IEEE Trans. Autom. Control..

[14]  Eric Goubault,et al.  Inferring Min and Max Invariants Using Max-Plus Polyhedra , 2008, SAS.

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

[16]  Jean-Louis Boimond,et al.  Just in Time Control of Constrained (max,+)-Linear Systems , 2007, Discret. Event Dyn. Syst..

[17]  Laurent Hardouin,et al.  Disturbance Decoupling of Timed Event Graphs by Output Feedback Controller , 2002 .

[18]  Bertrand Cottenceau,et al.  Observer design for max-plus-linear systems , 2007 .

[19]  R. Santos-Mendes,et al.  Generalized multivariable control of discrete event systems in dioids , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[20]  Geert Jan Olsder,et al.  Max Plus at Work: Modeling and Analysis of Synchronized Systems: A Course on Max-Plus Algebra and Its Applications , 2005 .

[21]  T. Blyth.  Lattices and Ordered Algebraic Structures , 2005 .

[22]  S. Gaubert.  Theorie des systemes lineaires dans les dioides , 1992 .

[23]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[24]  S. Amari,et al.  Control of Linear Min-plus Systems under Temporal Constraints , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[25]  Marianne Akian,et al.  Discrete max-plus spectral theory , 2005 .

[26]  Laurent Hardouin,et al.  On the control of max-plus linear system subject to state restriction , 2011, Autom..