On the Steady-State Control of Timed Event Graphs With Firing Date Constraints

Two algorithms for solving a specific class of steady-state control problems for Timed Event Graphs are presented. In the first, asymptotic convergence to the desired set is guaranteed. The second algorithm, which builds on from the recent developments in the spectral theory of min-max functions, guarantees Lyapunov stability since the distance between the actual state and the desired set never increases. Simulation results show the efficiency of the proposed approach in a problem of moderate complexity.

[1]  Bart De Schutter,et al.  A method to find all solutions of a system of multivariate polynomial equalities and inequalities in the max algebra , 1996, Discret. Event Dyn. Syst..

[2]  Laurent Truffet,et al.  A Decomposition Formula of Idempotent Polyhedral Cones Based on Idempotent Superharmonic Spaces , 2010 .

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

[4]  Alexander E. Guterman,et al.  Tropical Polyhedra are Equivalent to mean Payoff Games , 2009, Int. J. Algebra Comput..

[5]  Claude Martinez,et al.  Control of time-constrained dual-armed cluster tools using (max, +) algebra , 2010, 2010 Conference on Control and Fault-Tolerant Systems (SysTol).

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

[7]  Bertrand Cottenceau,et al.  Synthesis of greatest linear feedback for timed-event graphs in dioid , 1999, IEEE Trans. Autom. Control..

[8]  Eric Goubault,et al.  The tropical double description method , 2010, STACS.

[9]  Stéphane Gaubert,et al.  How to solve large scale deterministic games with mean payoff by policy iteration , 2006, valuetools '06.

[10]  W. Marsden.  I and J , 2012 .

[11]  Jean Jacques Loiseau,et al.  Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems , 2009, SIAM J. Control. Optim..

[12]  Sergei Sergeev,et al.  The level set method for the two-sided max-plus eigenproblem , 2010, Discrete Event Dynamic Systems.

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

[14]  Stephen Warshall,et al.  A Theorem on Boolean Matrices , 1962, JACM.

[15]  Uri Zwick,et al.  The Complexity of Mean Payoff Games on Graphs , 1996, Theor. Comput. Sci..

[16]  Isabel Demongodin,et al.  Max-Plus Control Design for Temporal Constraints Meeting in Timed Event Graphs , 2012, IEEE Transactions on Automatic Control.

[17]  Hewlett-Packard LabsFilton Road,et al.  On the existence of cycle times for some non-expansive maps , 1995 .

[18]  Laurent Hardouin,et al.  On the solution of max-plus linear equations with application on the control of TEGs , 2012, WODES.

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

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

[21]  E. Lorenzo,et al.  An algorithm to describe the solution set of any tropical linear system A x=B x , 2011 .

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

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

[24]  Ariel Rubinstein,et al.  A Course in Game Theory , 1995 .

[25]  Marco Thiel,et al.  A max-plus model of ribosome dynamics during mRNA translation. , 2011, Journal of theoretical biology.

[26]  Abdourrahmane M. Atto,et al.  Control of discrete event systems with respect to strict duration: Supervision of an industrial manufacturing plant , 2011, Comput. Ind. Eng..

[27]  Laurent Hardouin,et al.  A super-eigenvector approach to control constrained max-plus linear systems , 2011, IEEE Conference on Decision and Control and European Control Conference.