Control and State Estimation for Max-Plus Linear Systems

Book Abstract: Max-plus linear systems theory was inspired by and originated from classical linear systems theory more than three decades ago, with the purpose of dealing with nonlinear synchronization and delay phenomena in timed discrete event systems in a linear manner. Timed discrete event systems describe many problems in diverse areas such as manufacturing, communication, or transportation networks. This monograph provides a thorough survey of current research work in max-plus linear systems. It summarizes the main mathematical concepts required for a theory of max-plus linear systems, including idempotent semirings, residuation theory, fixed point equations in the max-plus algebra, formal power series, and timed-event graphs. The authors also review some recent major achievements in control and state estimation of max-plus linear systems. These include max-plus observer design, max-plus model matching by output or state feedback and observer-based control synthesis. Control and State Estimation for Max-Plus Linear Systems offers students, practitioners, and researchers an accessible and comprehensive overview of the most important recent work in max-plus Linear Systems.

[1]  D UllmanJeffrey,et al.  Introduction to automata theory, languages, and computation, 2nd edition , 2001 .

[2]  Mehdi Lhommeau,et al.  Open loop controllers to solve the disturbance decoupling problem for max-plus linear systems , 2013, 2013 European Control Conference (ECC).

[3]  Rene L. Cruz,et al.  A calculus for network delay, Part I: Network elements in isolation , 1991, IEEE Trans. Inf. Theory.

[4]  A. H. Lewis,et al.  AN INTRODUCTION TO PETRI NETS , 2003 .

[5]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[6]  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..

[7]  Mehdi Lhommeau,et al.  An integrated control strategy in disturbance decoupling of Max-plus linear systems with applications to a high throughput screening system in drug discovery , 2014, 53rd IEEE Conference on Decision and Control.

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

[9]  Bertrand Cottenceau,et al.  Max-plus linear observer: Application to manufacturing systems , 2010, WODES.

[10]  Laurent Hardouin,et al.  Particle filters for max plus systems , 2013, 2013 European Control Conference (ECC).

[11]  Bertrand Cottenceau,et al.  Modeling and Control of Weight-Balanced Timed Event Graphs in Dioids , 2014, IEEE Transactions on Automatic Control.

[12]  S. Gaubert.  Resource optimization and (min, +) spectral theory , 1995, IEEE Trans. Autom. Control..

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

[14]  M. Gondran,et al.  Linear Algebra in Dioids: A Survey of Recent Results , 1984 .

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

[16]  Mehdi Lhommeau,et al.  Towards geometric control of max-plus linear systems with applications to manufacturing systems , 2011, IEEE Conference on Decision and Control and European Control Conference.

[17]  Laurent Hardouin,et al.  Model Decomposition of Weight-Balanced Timed Event Graphs in Dioids: Application to Control Synthesis , 2017 .

[18]  Pablo A. Lotito,et al.  A min-plus derivation of the fundamental car-traffic law , 2005, IEEE Transactions on Automatic Control.

[19]  J. Quadrat,et al.  Analyse du comportement periodique de systemes de production par la theorie des dioides , 1983 .

[20]  Laurent Hardouin,et al.  SISO discrete event systems control in dioid algebra , 1997 .

[21]  Laurent Hardouin,et al.  Optimal control of a class of timed discrete event systems with shared resources, an approach based on the hadamard product of series in dioids , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

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

[23]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

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

[25]  J. G. Braker,et al.  Algorithms and Applications in Timed Discrete Event Systems , 1993 .

[26]  D. Vere-Jones.  Markov Chains , 1972, Nature.

[27]  Bertrand Cottenceau,et al.  Modeling and control for (max, +)-linear systems with set-based constraints , 2015, 2015 IEEE International Conference on Automation Science and Engineering (CASE).

[28]  Bertrand Cottenceau,et al.  Output reference control for weight-balanced timed event graphs , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[29]  J. Quadrat,et al.  A linear-system-theoretic view of discrete-event processes , 1983, The 22nd IEEE Conference on Decision and Control.

[30]  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.

[31]  M. Goursat,et al.  Derivation of the fundamental traffic diagram for two circular roads and a crossing using minplus algebra and Petri net modeling. , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[32]  Bertrand Cottenceau,et al.  Model predictive control for discrete event systems with partial synchronization , 2016, Autom..

[33]  D. Luenberger.  An introduction to observers , 1971 .

[34]  Bertrand Cottenceau,et al.  Observer-Based Controllers for Max-Plus Linear Systems , 2017, IEEE Transactions on Automatic Control.

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

[36]  J.-L. Ferrier,et al.  Interval Analysis in Dioid: Application to Robust Open-Loop Control for Timed Event Graphs , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[37]  D. Rees,et al.  Lecons sur la Theorie des Treillis des Structures Algebriques Ordonnees et des Treillis Geometriques , 1955 .

[38]  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 .

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

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

[41]  Edward W. Kamen,et al.  Reachability and observability of linear systems over max-plus , 1999, Kybernetika.

[42]  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.

[43]  Salvatore Sessa,et al.  On the Schein rank of matrices over linear lattices , 1989 .

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

[45]  M. Plus.  Second Order Theory of Min-Linear Systems and its Application to Discrete Event Systems , 1998 .

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

[47]  Willi Hock,et al.  Lecture Notes in Economics and Mathematical Systems , 1981 .

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

[49]  Laurent Hardouin,et al.  On max-plus linear dynamical system theory: The regulation problem , 2017, Autom..

[50]  Jean-Yves Le Boudec,et al.  Network Calculus , 2001, Lecture Notes in Computer Science.

[51]  P. Butkovic.  Max-linear Systems: Theory and Algorithms , 2010 .

[52]  J. Quadrat,et al.  Linear system theory for discrete event systems , 1984, The 23rd IEEE Conference on Decision and Control.

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

[54]  Bertrand Cottenceau,et al.  On timed event graph stabilization by output feedback in dioid , 2003, Kybernetika.

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

[56]  Mehdi Lhommeau,et al.  An integrated control strategy to solve the disturbance decoupling problem for max-plus linear systems with applications to a high throughput screening system , 2016, Autom..

[57]  R. A. Cuninghame-Green,et al.  Describing Industrial Processes with Interference and Approximating Their Steady-State Behaviour , 1962 .

[58]  Geert Jan Olsder,et al.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[59]  Michel Minoux,et al.  Graphs, dioids and semirings : new models and algorithms , 2008 .