{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,8]],"date-time":"2026-03-08T12:57:50Z","timestamp":1772974670976,"version":"3.50.1"},"reference-count":115,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T00:00:00Z","timestamp":1575244800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T00:00:00Z","timestamp":1575244800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2020,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The objective of this paper is to provide a concise introduction to the max-plus algebra and to max-plus linear discrete-event systems. We present the basic concepts of the max-plus algebra and explain how it can be used to model a specific class of discrete-event systems with synchronization but no concurrency. Such systems are called max-plus linear discrete-event systems because they can be described by a model that is \u201clinear\u201d in the max-plus algebra. We discuss some key properties of the max-plus algebra and indicate how these properties can be used to analyze the behavior of max-plus linear discrete-event systems. Next, some control approaches for max-plus linear discrete-event systems, including residuation-based control and model predictive control, are presented briefly. Finally, we discuss some extensions of the max-plus algebra and of max-plus linear systems.<\/jats:p>","DOI":"10.1007\/s10626-019-00294-w","type":"journal-article","created":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T11:30:12Z","timestamp":1575286212000},"page":"25-54","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":36,"title":["Analysis and control of max-plus linear discrete-event systems: An introduction"],"prefix":"10.1007","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9867-6196","authenticated-orcid":false,"given":"Bart","family":"De Schutter","sequence":"first","affiliation":[]},{"given":"Ton","family":"van den Boom","sequence":"additional","affiliation":[]},{"given":"Jia","family":"Xu","sequence":"additional","affiliation":[]},{"given":"Samira S.","family":"Farahani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,12,2]]},"reference":[{"issue":"4","key":"294_CR1","doi-asserted-by":"crossref","first-page":"858","DOI":"10.1109\/TASE.2010.2047499","volume":"7","author":"B Addad","year":"2010","unstructured":"Addad B, Amari S, Lesage JJ (2010) Analytic calculus of response time in networked automation systems. IEEE Trans Autom Sci Eng 7(4):858\u2013869","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"3","key":"294_CR2","doi-asserted-by":"crossref","first-page":"540","DOI":"10.1109\/TASE.2011.2116118","volume":"8","author":"B Addad","year":"2011","unstructured":"Addad B, Amari S, Lesage JJ (2011) Client-server networked automation systems reactivity: Deterministic and probabilistic analysis. IEEE Trans Autom Sci Eng 8(3):540\u2013548","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"4","key":"294_CR3","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/s10626-012-0136-0","volume":"22","author":"B Addad","year":"2012","unstructured":"Addad B, Amari S, Lesage JJ (2012) Networked conflicting timed event graphs representation in (max, plus) algebra. Discrete Event Dyn Syst Theory Appl 22 (4):429\u2013449","journal-title":"Discrete Event Dyn Syst Theory Appl"},{"issue":"12","key":"294_CR4","doi-asserted-by":"crossref","first-page":"3039","DOI":"10.1109\/TAC.2013.2273299","volume":"58","author":"D Adzkiya","year":"2013","unstructured":"Adzkiya D, De Schutter B, Abate A (2013) Finite abstractions of max-plus-linear systems. IEEE Trans Autom Control 58(12):3039\u20133053","journal-title":"IEEE Trans Autom Control"},{"key":"294_CR5","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/j.automatica.2015.01.002","volume":"53","author":"D Adzkiya","year":"2015","unstructured":"Adzkiya D, De Schutter B, Abate A (2015) Computational techniques for reachability analysis of max-plus-linear systems. Automatica 53:293\u2013302","journal-title":"Automatica"},{"issue":"2","key":"294_CR6","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1109\/TAC.2011.2164735","volume":"57","author":"S Amari","year":"2012","unstructured":"Amari S, Demongodin I, Loiseau JJ, Martinez C (2012) Max-plus control design for temporal constraints meeting in timed event graphs. IEEE Trans Autom Control 57(2):462\u2013467","journal-title":"IEEE Trans Autom Control"},{"key":"294_CR7","volume-title":"Synchronization and Linearity","author":"F Baccelli","year":"1992","unstructured":"Baccelli F, Cohen G, Olsder G, Quadrat J (1992) Synchronization and Linearity. Wiley, New York"},{"key":"294_CR8","volume-title":"$\\mathrm {H}_{\\infty }$H\u221e-optimal Control and Related Minimax Design Problems","author":"T Ba\u015far","year":"1995","unstructured":"Ba\u015far T, Bernhard P (1995) $\\mathrm {H}_{\\infty }$-optimal Control and Related Minimax Design Problems, 2nd edn. Birkhauser, Boston","edition":"2nd edn."},{"issue":"3","key":"294_CR9","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1016\/S0005-1098(98)00178-2","volume":"35","author":"A Bemporad","year":"1999","unstructured":"Bemporad A, Morari M (1999) Control of systems integrating logic, dynamics, and constraints. Automatica 35(3):407\u2013427","journal-title":"Automatica"},{"key":"294_CR10","volume-title":"Residuation Theory","author":"T Blyth","year":"1972","unstructured":"Blyth T, Janowitz M (1972) Residuation Theory. Pergamon Press, Oxford"},{"issue":"3","key":"294_CR11","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1109\/9.486651","volume":"41","author":"J Boimond","year":"1996","unstructured":"Boimond J, Ferrier J (1996) Internal model control and max-algebra: Controller design. IEEE Trans Autom Control 41(3):457\u2013461","journal-title":"IEEE Trans Autom Control"},{"issue":"1","key":"294_CR12","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10626-007-0028-x","volume":"18","author":"A Bouillard","year":"2008","unstructured":"Bouillard A, Thierry E (2008) An algorithmic toolbox for network calculus. Discrete Event Dyn Syst 18(1):3\u201349","journal-title":"Discrete Event Dyn Syst"},{"issue":"4","key":"294_CR13","doi-asserted-by":"crossref","first-page":"720","DOI":"10.1016\/j.engappai.2010.11.006","volume":"25","author":"T Brunsch","year":"2012","unstructured":"Brunsch T, Raisch J (2012) Modeling and control of high-throughput screening systems in a max-plus algebraic setting. Eng Appl of Artif Intell 25(4):720\u2013727","journal-title":"Eng Appl of Artif Intell"},{"issue":"1","key":"294_CR14","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1016\/j.conengprac.2010.12.006","volume":"20","author":"T Brunsch","year":"2012","unstructured":"Brunsch T, Raisch J, Hardouin L (2012) Modeling and control of high-throughput screening systems. Control Eng Practice 20(1):14\u201323","journal-title":"Control Eng Practice"},{"key":"294_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84996-299-5","volume-title":"Max-Linear Systems: Theory and algorithms. Springer Monographs in Mathematics","author":"P Butkovi\u010d","year":"2010","unstructured":"Butkovi\u010d P (2010) Max-Linear Systems: Theory and algorithms. Springer Monographs in Mathematics. Springer, Berlin"},{"issue":"3","key":"294_CR16","doi-asserted-by":"crossref","first-page":"1002","DOI":"10.1137\/15M1041031","volume":"37","author":"P Butkovi\u010d","year":"2016","unstructured":"Butkovi\u010d P, Jones D (2016) On special cases of the generalized max-plus eigenproblem. SIAM J Matrix Anal Appl 37(3):1002\u20131021","journal-title":"SIAM J Matrix Anal Appl"},{"key":"294_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3008-6","volume-title":"Model Predictive Control in the Process Industry","author":"E Camacho","year":"1995","unstructured":"Camacho E, Bordons C (1995) Model Predictive Control in the Process Industry. Springer, Berlin"},{"issue":"18","key":"294_CR18","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1016\/S1474-6670(17)42067-2","volume":"31","author":"Jean Cochet-Terrasson","year":"1998","unstructured":"Cochet-Terrasson J, Cohen G, Gaubert S, McGettrick M, Quadrat J (1998) Numerical computation of spectral elements in max-plus algebra. In: Proceedings of the IFAC Conference on System Structure and Control (SSC\u201998), Nantes, France, pp 699\u2013706","journal-title":"IFAC Proceedings Volumes"},{"issue":"3","key":"294_CR19","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1109\/TAC.1985.1103925","volume":"30","author":"G Cohen","year":"1985","unstructured":"Cohen G, Dubois D, Quadrat J, Viot M (1985) A linear-system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturing. IEEE Trans Autom Control 30(3):210\u2013220","journal-title":"IEEE Trans Autom Control"},{"issue":"1","key":"294_CR20","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/5.21069","volume":"77","author":"G Cohen","year":"1989","unstructured":"Cohen G, Moller P, Quadrat J, Viot M (1989) Algebraic tools for the performance evaluation of discrete event systems. Proc IEEE 77(1):39\u201358","journal-title":"Proc IEEE"},{"issue":"10","key":"294_CR21","doi-asserted-by":"crossref","first-page":"1419","DOI":"10.1109\/9.720498","volume":"43","author":"C Commault","year":"1998","unstructured":"Commault C (1998) Feedback stabilization of some event graph models. IEEE Trans Autom Control 43(10):1419\u20131423","journal-title":"IEEE Trans Autom Control"},{"issue":"9","key":"294_CR22","doi-asserted-by":"crossref","first-page":"1451","DOI":"10.1016\/S0005-1098(01)00073-5","volume":"37","author":"B Cottenceau","year":"2001","unstructured":"Cottenceau B, Hardouin L, Boimond JL, Ferrier JL (2001) Model reference control for timed event graphs in dioids. Automatica 37(9):1451\u20131458","journal-title":"Automatica"},{"key":"294_CR23","unstructured":"Cuninghame-Green R (1961) Process synchronisation in a steelworks \u2013 a problem of feasibility. In: Banbury J, Maitland J (eds) Proceedings of the 2nd International Conference on Operational Research (Aix-en-Provence, France 1960). English Universities Press, London, pp 323\u2013328"},{"issue":"1","key":"294_CR24","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1057\/jors.1962.10","volume":"13","author":"R Cuninghame-Green","year":"1962","unstructured":"Cuninghame-Green R (1962) Describing industrial processes with interference and approximating their steady-state behaviour. Oper Res Q 13(1):95\u2013100","journal-title":"Oper Res Q"},{"key":"294_CR25","volume-title":"Minimax Algebra, Lecture Notes in Economics and Mathematical Systems, vol 166","author":"R Cuninghame-Green","year":"1979","unstructured":"Cuninghame-Green R (1979) Minimax Algebra, Lecture Notes in Economics and Mathematical Systems, vol 166. Springer, Berlin"},{"key":"294_CR26","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(02)00228-1","volume":"293","author":"R Cuninghame-Green","year":"2003","unstructured":"Cuninghame-Green R, Butkovic P (2003) The equation a \u00d7 x = b \u2297 y over $(\\max \\limits ,+)$. Theor Comput Sci 293:3\u201312","journal-title":"Theor Comput Sci"},{"key":"294_CR27","doi-asserted-by":"crossref","unstructured":"Cuninghame-Green R, Butkovi\u010d P (2008) Generalised eigenproblem in max algebra. In: Proceedings of the 9th International Workshop on Discrete Event Systems (WODES\u201908), G\u00f6teborg, Sweden, pp 236\u2013241","DOI":"10.1109\/WODES.2008.4605951"},{"key":"294_CR28","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/j.automatica.2015.12.006","volume":"70","author":"X David-Henriet","year":"2016","unstructured":"David-Henriet X, Hardouin L, Raisch JBC (2016) Model predictive control for discrete event systems with partial synchronization. Automatica 70:9\u201313","journal-title":"Automatica"},{"key":"294_CR29","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/978-3-319-63957-4_3","volume-title":"Math for the Digital Factory","author":"Xavier David-Henriet","year":"2017","unstructured":"David-Henriet X, Hardouin L, Raisch J (2017) Max-plus-linear systems for modeling and control of manufacturing problems. In: Ghezzi L, H\u00f6mberg D, Landry C (eds) Math for the Digital Factory, Mathematics in Industry, vol 27. Springer, Berlin, pp 37\u201360"},{"key":"294_CR30","unstructured":"De Schutter B (1996) Max-algebraic system theory for discrete event systems. PhD thesis, Faculty of Applied Sciences K.U.Leuven, Leuven, Belgium"},{"issue":"1\u20133","key":"294_CR31","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/S0024-3795(00)00013-6","volume":"307","author":"B De Schutter","year":"2000","unstructured":"De Schutter B (2000) On the ultimate behavior of the sequence of consecutive powers of a matrix in the max-plus algebra. Linear Algebra Appl 307(1\u20133):103\u2013117","journal-title":"Linear Algebra Appl"},{"issue":"3","key":"294_CR32","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/BF01590958","volume":"71","author":"B De Schutter","year":"1995","unstructured":"De Schutter B, De Moor B (1995) The extended linear complementarity problem. Math Program 71(3):289\u2013325","journal-title":"Math Program"},{"issue":"2","key":"294_CR33","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF01797235","volume":"6","author":"B De Schutter","year":"1996","unstructured":"De Schutter B, De Moor B (1996) A method to find all solutions of a system of multivariate polynomial equalities and inequalities in the max algebra. Discrete Event Dyn Syst: Theory Appl 6(2):115\u2013138","journal-title":"Discrete Event Dyn Syst: Theory Appl"},{"key":"294_CR34","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0024-3795(95)00455-6","volume":"250","author":"B De Schutter","year":"1997","unstructured":"De Schutter B, De Moor B (1997) The singular value decomposition in the extended max algebra. Linear Algebra Appl 250:143\u2013176","journal-title":"Linear Algebra Appl"},{"issue":"2","key":"294_CR35","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1137\/S0895479896304782","volume":"19","author":"B De Schutter","year":"1998","unstructured":"De Schutter B, De Moor B (1998) The QR decomposition and the singular value decomposition in the symmetrized max-plus algebra. SIAM J Matrix Anal Appl 19 (2):378\u2013406","journal-title":"SIAM J Matrix Anal Appl"},{"issue":"7","key":"294_CR36","doi-asserted-by":"crossref","first-page":"1049","DOI":"10.1016\/S0005-1098(01)00054-1","volume":"37","author":"B De Schutter","year":"2001","unstructured":"De Schutter B, van den Boom T (2001) Model predictive control for max-plus-linear discrete event systems. Automatica 37(7):1049\u20131056","journal-title":"Automatica"},{"issue":"4","key":"294_CR37","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/S0167-6377(02)00159-1","volume":"30","author":"B De Schutter","year":"2002","unstructured":"De Schutter B, Heemels W, Bemporad A (2002) On the equivalence of linear complementarity problems. Oper Res Lett 30(4):211\u2013222","journal-title":"Oper Res Lett"},{"issue":"2","key":"294_CR38","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1109\/TAC.2010.2091297","volume":"56","author":"P Declerck","year":"2011","unstructured":"Declerck P (2011) From extremal trajectories to token deaths in p-time event graphs. IEEE Trans Autom Control 56(2):463\u2013467","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"294_CR39","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1109\/TAC.2009.2037471","volume":"55","author":"P Declerck","year":"2010","unstructured":"Declerck P, Alaoui MKD (2010) Optimal control synthesis of timed event graphs with interval model specifications. IEEE Trans Autom Control 55(2):518\u2013523","journal-title":"IEEE Trans Autom Control"},{"issue":"10","key":"294_CR40","doi-asserted-by":"crossref","first-page":"2861","DOI":"10.1109\/TAC.2015.2502781","volume":"61","author":"S Esmaeil Zadeh Soudjani","year":"2016","unstructured":"Esmaeil Zadeh Soudjani S, Adzkiya D, Abate A (2016) Formal verification of stochastic max-plus-linear systems. IEEE Trans Automat Control 61(10):2861\u20132876","journal-title":"IEEE Trans Automat Control"},{"key":"294_CR41","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/s10626-016-0235-4","volume":"27","author":"FK Subiono","year":"2017","unstructured":"Subiono FK, van der Woude J (2017) On a generalization of power algorithms over max-plus algebra. Discrete Event Dyn Syst 27:181\u2013203","journal-title":"Discrete Event Dyn Syst"},{"key":"294_CR42","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/j.ejcon.2015.10.005","volume":"27","author":"SS Farahani","year":"2016","unstructured":"Farahani SS, van den Boom TJ, van der Weide H, De Schutter B (2016) An approximation method for computing the expected value of max-affine expressions. Eur J Control 27:17\u201327","journal-title":"Eur J Control"},{"key":"294_CR43","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1016\/j.automatica.2017.11.030","volume":"94","author":"R Ferreira C\u00e2ndido","year":"2018","unstructured":"Ferreira C\u00e2ndido R, Hardouin L, Lhommeau M, Santos Mendes R (2018) Conditional reachability of uncertain max plus linear systems. Automatica 94:426\u2013435","journal-title":"Automatica"},{"issue":"2","key":"294_CR44","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1021\/i200017a016","volume":"21","author":"CE Garcia","year":"1982","unstructured":"Garcia CE, Morari M (1982) Internal model control: a unifying review and some new results. Ind Eng Chem Process Des Dev 21(2):308\u2013323","journal-title":"Ind Eng Chem Process Des Dev"},{"key":"294_CR45","unstructured":"Gaubert S (1990) An algebraic method for optimizing resources in timed event graphs. In: Bensoussan A, Lions J (eds) Proceedings of the 9th International Conference on Analysis and Optimization of Systems (Antibes, France, Jun. 1990), Berlin, Germany: Springer-Verlag, Lecture Notes in Control and Information Sciences, vol 144, pp 957\u2013966"},{"key":"294_CR46","unstructured":"Gaubert S (1992) Th\u00e9orie des syst\u00e8mes lin\u00e9aires dans les dio\u00efdes PhD thesis. Ecole Nationale Sup\u00e9rieure des Mines de, Paris, France"},{"key":"294_CR47","unstructured":"Gaubert S (1993)"},{"key":"294_CR48","unstructured":"Gaubert S (1994) On rational series in one variable over certain dioids. Tech. Rep. 2162 INRIA, Le Chesnay, France"},{"key":"294_CR49","doi-asserted-by":"crossref","unstructured":"Gaubert S, Sergeev S (2013) The level set method for the two-sided eigenproblem","DOI":"10.1007\/s10626-012-0137-z"},{"key":"294_CR50","unstructured":"Giffler B (1960) Mathematical solution of production planning and scheduling problems. Tech. rep., IBM ASDD"},{"issue":"3","key":"294_CR51","first-page":"237","volume":"10","author":"B Giffler","year":"1963","unstructured":"Giffler B (1963) Scheduling general production systems using schedule algebra. Nav Res Logist Quart 10(3):237\u2013255","journal-title":"Nav Res Logist Quart"},{"issue":"2","key":"294_CR52","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1002\/nav.3800150210","volume":"15","author":"B Giffler","year":"1968","unstructured":"Giffler B (1968) Schedule algebra: a progress report. Nav Res Logist Quart 15 (2):255\u2013280","journal-title":"Nav Res Logist Quart"},{"key":"294_CR53","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1016\/j.automatica.2016.09.019","volume":"75","author":"V Gon\u00e7alves","year":"2017","unstructured":"Gon\u00e7alves V, Maia C, Hardouin L (2017) On max-plus linear dynamical system theory: The regulation problem. Automatica 75:202\u2013209","journal-title":"Automatica"},{"key":"294_CR54","unstructured":"Gondran M, Minoux M (1976) Eigenvalues and eigenvectors in semimodules and their interpretation in graph theory. In: Proceedings of the 9th International Mathematical Programming Symposium, Budapest, Hungary, pp 333\u2013348"},{"key":"294_CR55","volume-title":"Graphs and Algorithms","author":"M Gondran","year":"1984","unstructured":"Gondran M, Minoux M (1984a) Graphs and Algorithms. Wiley, Chichester"},{"key":"294_CR56","first-page":"147","volume":"19","author":"M Gondran","year":"1984","unstructured":"Gondran M, Minoux M (1984b) Linear algebra in dioids: A survey of recent results. Annals of Discrete Mathematics 19:147\u2013163","journal-title":"Annals of Discrete Mathematics"},{"key":"294_CR57","unstructured":"Gondran M, Minoux M (1987) Dio\u00efd theory and its applications. In: Alg\u00e8bres exotiques et syst\u00e8mes \u00e0 ev\u00e9nements discrets, CNRS\/CNET\/INRIA seminar, CNET, Issy-les-Moulineaux, France, pp 57\u201375"},{"issue":"4","key":"294_CR58","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1080\/00207170701616007","volume":"81","author":"H Goto","year":"2008","unstructured":"Goto H (2008) Dual representation and its online scheduling method for event-varying DESs with capacity constraints. Int J Control 81(4):651\u2013660","journal-title":"Int J Control"},{"issue":"4\u20135","key":"294_CR59","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1016\/j.engappai.2008.11.007","volume":"22","author":"H Goto","year":"2009","unstructured":"Goto H (2009) Robust MPL scheduling considering the number of in-process jobs. Eng Appl Artif Intell 22(4\u20135):603\u2013607","journal-title":"Eng Appl Artif Intell"},{"issue":"1","key":"294_CR60","first-page":"23","volume":"7","author":"H Goto","year":"2008","unstructured":"Goto H, Masuda S (2008) Monitoring and scheduling methods for MIMO-FIFO systems utilizing max-plus linear representation. Industrial Engineering & Management Systems 7(1):23\u201333","journal-title":"Industrial Engineering & Management Systems"},{"issue":"2","key":"294_CR61","doi-asserted-by":"crossref","first-page":"608","DOI":"10.1587\/transfun.E95.A.608","volume":"E95A","author":"H Goto","year":"2012","unstructured":"Goto H, Takahashi H (2012) Efficient representation of the state equation in max-plus linear systems with interval constrained parameters. IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences E95A(2):608\u2013612","journal-title":"IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences"},{"issue":"5-7","key":"294_CR62","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1016\/j.laa.2009.03.039","volume":"431","author":"L Hardouin","year":"2009","unstructured":"Hardouin L, Cottenceau B, Lhommeau M, Corronc EL (2009) Interval systems over idempotent semiring. Linear Algebra Appl 431(5-7):855\u2013862","journal-title":"Linear Algebra Appl"},{"issue":"2","key":"294_CR63","doi-asserted-by":"crossref","first-page":"538","DOI":"10.1109\/TAC.2009.2037477","volume":"55","author":"L Hardouin","year":"2010","unstructured":"Hardouin L, Maia CA, Cottenceau B, Lhommeau M (2010) Observer design for (max,+) linear systems. IEEE Trans Autom Control 55(2):538\u2013543","journal-title":"IEEE Trans Autom Control"},{"issue":"5","key":"294_CR64","doi-asserted-by":"crossref","first-page":"2153","DOI":"10.1109\/TAC.2016.2604562","volume":"62","author":"L Hardouin","year":"2017","unstructured":"Hardouin L, Shang Y, Maia CA, Cottenceau B (2017) Observer-based controllers for max-plus linear systems. IEEE Trans Autom Control 62(5):2153\u20132165","journal-title":"IEEE Trans Autom Control"},{"issue":"1","key":"294_CR65","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1561\/2600000013","volume":"6","author":"L Hardouin","year":"2018","unstructured":"Hardouin L, Cottenceau B, Shang Y, Raisch J (2018) Control and state estimation for max-plus linear systems. Foundations and Trends in Systems and Control 6(1):1\u2013116","journal-title":"Foundations and Trends in Systems and Control"},{"issue":"7","key":"294_CR66","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1016\/S0005-1098(01)00059-0","volume":"37","author":"W Heemels","year":"2001","unstructured":"Heemels W, De Schutter B, Bemporad A (2001) Equivalence of hybrid dynamical models. Automatica 37(7):1085\u20131091","journal-title":"Automatica"},{"key":"294_CR67","doi-asserted-by":"crossref","DOI":"10.1515\/9781400865239","volume-title":"Max Plus at Work","author":"B Heidergott","year":"2006","unstructured":"Heidergott B, Olsder G, van der Woude J (2006) Max Plus at Work. Princeton University Press, Princeton"},{"issue":"3","key":"294_CR68","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/s10626-012-0143-1","volume":"23","author":"L Houssin","year":"2013","unstructured":"Houssin L, Lahaye S, Boimond JL (2013) Control of (max,+)-linear systems minimizing delays. Discrete Event Dyn Syst 23(3):261\u2013276","journal-title":"Discrete Event Dyn Syst"},{"key":"294_CR69","volume-title":"Modeling and Control of Discrete-event Dynamic Systems","author":"B Hruz","year":"2007","unstructured":"Hruz B, Zhou M (2007) Modeling and Control of Discrete-event Dynamic Systems, 1st edn. Springer, London","edition":"1st edn."},{"key":"294_CR70","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1093\/imamci\/6.4.411","volume":"6","author":"A Ilchmann","year":"1989","unstructured":"Ilchmann A (1989) Time-varying control systems : a geometric approach. IMA J Math Control Inf 6:411\u2013440","journal-title":"IMA J Math Control Inf"},{"key":"294_CR71","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0012-365X(78)90011-0","volume":"23","author":"R Karp","year":"1978","unstructured":"Karp R (1978) A characterization of the minimum cycle mean in a digraph. Discret Math 23:309\u2013311","journal-title":"Discret Math"},{"issue":"2","key":"294_CR72","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1109\/TAC.2006.890478","volume":"52","author":"R Katz","year":"2007","unstructured":"Katz R (2007) Max-plus (a, B)-invariant spaces and control of timed discrete-event systems. IEEE Trans Autom Control 52(2):229\u2013241","journal-title":"IEEE Trans Autom Control"},{"key":"294_CR73","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1016\/j.arcontrol.2018.04.004","volume":"45","author":"J Komenda","year":"2018","unstructured":"Komenda J, Lahaye S, Boimond JL, van den Boom T (2018) Max-plus algebra in the history of discrete event systems. Annu Rev Control 45:240\u2013249","journal-title":"Annu Rev Control"},{"key":"294_CR74","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/j.automatica.2018.03.008","volume":"92","author":"I Kordonis","year":"2018","unstructured":"Kordonis I, Maragos P, Papavassilopoulos G (2018) Stochastic stability in max-product and max-plus systems with Markovian jumps. Automatica 92:123\u2013132","journal-title":"Automatica"},{"key":"294_CR75","first-page":"1015","volume":"33","author":"S Lahaye","year":"1999","unstructured":"Lahaye S, Boimond JL, Hardouin L (1999) Timed event graphs with variable resources: asymptotic behavior, representation in (min,+) algebra. Journal Europ\u00e9,en des Syst\u00e8mes Automatis\u00e9s 33:1015\u20131032","journal-title":"Journal Europ\u00e9,en des Syst\u00e8mes Automatis\u00e9s"},{"issue":"19","key":"294_CR76","doi-asserted-by":"crossref","first-page":"5337","DOI":"10.1080\/00207540802273777","volume":"46","author":"S Lahaye","year":"2008","unstructured":"Lahaye S, Boimond JL, Ferrier JL (2008) Just-in-time control of time-varying discrete event dynamic systems in (max,+) algebra. Int J Prod Res 46(19):5337\u20135348","journal-title":"Int J Prod Res"},{"issue":"11","key":"294_CR77","doi-asserted-by":"crossref","first-page":"1923","DOI":"10.1016\/j.automatica.2004.05.013","volume":"40","author":"M Lhommeau","year":"2004","unstructured":"Lhommeau M, Hardouin L, Cottenceau B, Jaulin L (2004) Interval analysis and dioid: application to robust controller design for timed event graphs. Automatica 40(11):1923\u20131930","journal-title":"Automatica"},{"key":"294_CR78","doi-asserted-by":"crossref","unstructured":"Libeaut L, Loiseau J (1995) Admissible initial conditions and control of timed event graphs. In: Proceedings of the 34th IEEE Conference on Decision and Control, New Orleans, Louisiana, pp 2011\u20132016","DOI":"10.1109\/CDC.1995.480643"},{"issue":"3\u20134","key":"294_CR79","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1561\/1300000059","volume":"11","author":"J Liebeherr","year":"2017","unstructured":"Liebeherr J (2017) Duality of the max-plus and min-plus network calculus. Foundations and Trends in Networking 11(3\u20134):139\u2013282","journal-title":"Foundations and Trends in Networking"},{"issue":"3","key":"294_CR80","doi-asserted-by":"crossref","first-page":"652","DOI":"10.1109\/TRO.2013.2296105","volume":"30","author":"G Lopes","year":"2014","unstructured":"Lopes G, Kersbergen B, van den Boom T, De Schutter B, Babu\u0161ka R (2014) Modeling and control of legged locomotion via switching max-plus models. IEEE Trans Robot 30(3):652\u2013665","journal-title":"IEEE Trans Robot"},{"issue":"3","key":"294_CR81","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1016\/j.jlap.2011.10.004","volume":"81","author":"Q Lu","year":"2012","unstructured":"Lu Q, Madsen M, Milata M, Ravn S, Fahrenberg U, Larsen KG (2012) Reachability analysis for timed automata using max-plus algebra. J Logic and Algebr Progr 81(3):298\u2013313","journal-title":"J Logic and Algebr Progr"},{"key":"294_CR82","volume-title":"Predictive Control with Constraints","author":"J Maciejowski","year":"2002","unstructured":"Maciejowski J (2002) Predictive Control with Constraints. Prentice Hall, Harlow"},{"issue":"12","key":"294_CR83","doi-asserted-by":"crossref","first-page":"2284","DOI":"10.1109\/TAC.2003.820666","volume":"48","author":"C Maia","year":"2003","unstructured":"Maia C, Hardouin L, Santos-Mendes R, Cottenceau B (2003) Optimal closed-loop control of timed event graphs in dioids. IEEE Trans Autom Control 48 (12):2284\u20132287","journal-title":"IEEE Trans Autom Control"},{"issue":"5","key":"294_CR84","doi-asserted-by":"crossref","first-page":"988","DOI":"10.1016\/j.automatica.2011.01.047","volume":"47","author":"C Maia","year":"2011","unstructured":"Maia C, Andrade C, Hardouin L (2011) On the control of max-plus linear system subject to state restriction. Automatica 47(5):988\u2013992","journal-title":"Automatica"},{"key":"294_CR85","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1137\/S0363012902414688","volume":"43","author":"W McEneaney","year":"2004","unstructured":"McEneaney W (2004) Max-plus eigenvector methods for nonlinear h-infinity problems: Error analysis. SIAM J Control Optim 43:379\u2013412","journal-title":"SIAM J Control Optim"},{"key":"294_CR86","doi-asserted-by":"crossref","unstructured":"Menguy E, Boimond J, Hardouin L (1997) A feedback control in max-algebra. In: Proceedings of the European Control Conference (ECC\u201997), Brussels, Belgium, paper 487","DOI":"10.23919\/ECC.1997.7082375"},{"key":"294_CR87","unstructured":"Menguy E, Boimond J, Hardouin L (1998) Adaptive control for linear systems in max-algebra. In: Proceedings of the International Workshop on Discrete Event Systems (WODES\u201998), Cagliari, Italy, pp 481\u2013488"},{"issue":"4","key":"294_CR88","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1023\/A:1008363704766","volume":"10","author":"E Menguy","year":"2000","unstructured":"Menguy E, Boimond J, Hardouin L, Ferrier J (2000a) A first step towards adaptive control for linear systems in max algebra. Discrete Event Dyn Syst: Theory and Applications 10(4):347\u2013367","journal-title":"Discrete Event Dyn Syst: Theory and Applications"},{"issue":"11","key":"294_CR89","doi-asserted-by":"crossref","first-page":"2155","DOI":"10.1109\/9.887652","volume":"45","author":"E Menguy","year":"2000","unstructured":"Menguy E, Boimond J, Hardouin L, Ferrier J (2000b) Just-in-time control of timed event graphs: Update of reference input, presence of uncontrollable input. IEEE Trans Automat Control 45(11):2155\u20132158","journal-title":"IEEE Trans Automat Control"},{"issue":"1","key":"294_CR90","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/j.ejor.2007.08.047","volume":"193","author":"A Nait-Sidi-Moh","year":"2009","unstructured":"Nait-Sidi-Moh A, Manier MA, EI Moudni A (2009) Spectral analysis for performance evaluation in a bus network. Eur J Oper Res 193(1):289\u2013302","journal-title":"Eur J Oper Res"},{"issue":"3","key":"294_CR91","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/s10626-007-0015-2","volume":"17","author":"I Necoara","year":"2007","unstructured":"Necoara I, De Schutter B, van den Boom T, Hellendoorn H (2007) Stable model predictive control for constrained max-plus-linear systems. Discrete Event Dyn Syst: Theory and Applications 17(3):329\u2013354","journal-title":"Discrete Event Dyn Syst: Theory and Applications"},{"issue":"2","key":"294_CR92","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1002\/rnc.1309","volume":"19","author":"I Necoara","year":"2009","unstructured":"Necoara I, De Schutter B, van den Boom T, Hellendoorn H (2009a) Robust control of constrained max-plus-linear systems. Int J Robust Nonlin Control 19 (2):218\u2013242","journal-title":"Int J Robust Nonlin Control"},{"issue":"2","key":"294_CR93","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1002\/rnc.1309","volume":"19","author":"I Necoara","year":"2009","unstructured":"Necoara I, De Schutter B, van den Boom T, Hellendoorn H (2009b) Robust control of constrained max-plus-linear systems. Int J Robust Nonlin Control 19 (2):218\u2013242","journal-title":"Int J Robust Nonlin Control"},{"key":"294_CR94","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BFb0007557","volume-title":"Analysis and Optimization of Systems","author":"Geert Jan Olsder","year":"1986","unstructured":"Olsder G (1986) On the characteristic equation and minimal realizations for discrete-event dynamic systems. In: Bensoussan A, Lions J (eds) Proceedings of the 7th International Conference on Analysis and Optimization of Systems (Antibes, France), Berlin, Germany: Springer-Verlag, Lecture Notes in Control and Information Sciences, vol 83, pp 189\u2013201"},{"key":"294_CR95","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0024-3795(88)90145-0","volume":"101","author":"G Olsder","year":"1988","unstructured":"Olsder G, Roos C (1988) Cramer and cayley-Hamilton in the max algebra. Linear Algebra Appl 101:87\u2013108","journal-title":"Linear Algebra Appl"},{"issue":"3","key":"294_CR96","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1109\/9.50340","volume":"35","author":"G Olsder","year":"1990","unstructured":"Olsder G, Resing J, de Vries R, Keane M, Hooghiemstra G (1990a) Discrete event systems with stochastic processing times. IEEE Trans Automat Contr 35(3):299\u2013302","journal-title":"IEEE Trans Automat Contr"},{"issue":"3","key":"294_CR97","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1109\/9.50340","volume":"35","author":"G.J. Olsder","year":"1990","unstructured":"Olsder G, Resing J, de Vries R, Keane M, Hooghiemstra G (1990b) Discrete event systems with stochastic processing times. IEEE Transactions on Automatic Control, pp 299\u2013302","journal-title":"IEEE Transactions on Automatic Control"},{"key":"294_CR98","unstructured":"Rawlings J, Mayne D (2009) Model predictive control: Theory and design nob hill publishing. Madison, Wisconsin"},{"issue":"9","key":"294_CR99","doi-asserted-by":"publisher","first-page":"3706","DOI":"10.1109\/TAC.2018.2887353","volume":"64","author":"Rafael Santos Mendes","year":"2019","unstructured":"Santos-Mendes R, Hardouin L, Lhommeau M (2019) Stochastic filtering of max-plus linear systems with bounded disturbances. IEEE Transactions on Automatic Control To appear. https:\/\/doi.org\/10.1109\/TAC.2018.2887353","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"6","key":"294_CR100","doi-asserted-by":"crossref","first-page":"937","DOI":"10.1016\/j.automatica.2006.01.025","volume":"42","author":"G Schullerus","year":"2006","unstructured":"Schullerus G, Krebs V, De Schutter B, van den Boom T (2006) Input signal design for identification of max-plus-linear systems. Automatica 42(6):937\u2013943","journal-title":"Automatica"},{"issue":"1","key":"294_CR101","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1080\/00207721.2011.577251","volume":"44","author":"Y Shang","year":"2013","unstructured":"Shang Y (2013) Towards geometric control of max-plus linear systems with applications to queueing networks. Int J Syst Sci 44(1):34\u201349","journal-title":"Int J Syst Sci"},{"issue":"8","key":"294_CR102","doi-asserted-by":"crossref","first-page":"2368","DOI":"10.1016\/j.laa.2008.12.018","volume":"430","author":"Y Shang","year":"2009","unstructured":"Shang Y, Sain MK (2009) Fixed poles in the model matching problem for systems over semirings. Linear Algebra Appl 430(8):2368\u20132388","journal-title":"Linear Algebra Appl"},{"key":"294_CR103","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/j.automatica.2015.10.030","volume":"63","author":"Y Shang","year":"2016","unstructured":"Shang Y, Hardouin L, Lhommeau M, Maia C (2016) An integrated control strategy to solve the disturbance decoupling problem for max-plus linear systems with applications to a high throughput screening system. Automatica 63:338\u2013348","journal-title":"Automatica"},{"issue":"10","key":"294_CR104","doi-asserted-by":"crossref","first-page":"2326","DOI":"10.1016\/j.automatica.2011.06.024","volume":"47","author":"R Su","year":"2011","unstructured":"Su R, Woeginger G (2011) String execution time for finite languages: Max is easy, min is hard. Automatica 47(10):2326\u20132329","journal-title":"Automatica"},{"issue":"2","key":"294_CR105","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/s00498-012-0098-7","volume":"25","author":"TG Tao","year":"2013","unstructured":"Tao TG, Liu GP, Mu XW (2013) Max-plus matrix method and cycle time assignability and feedback stabilizability for min-max-plus systems. Math Control Signal Syst 25(2):197\u2013229","journal-title":"Math Control Signal Syst"},{"issue":"5","key":"294_CR106","doi-asserted-by":"crossref","first-page":"453","DOI":"10.3166\/ejc.8.453-462","volume":"8","author":"T van den Boom","year":"2002","unstructured":"van den Boom T, De Schutter B (2002a) Properties of MPC for max-plus-linear systems. Eur J Control 8(5):453\u2013462","journal-title":"Eur J Control"},{"issue":"10","key":"294_CR107","doi-asserted-by":"crossref","first-page":"1199","DOI":"10.1016\/j.conengprac.2006.02.006","volume":"14","author":"T van den Boom","year":"2006","unstructured":"van den Boom T, De Schutter B (2006) Modelling and control of discrete event systems using switching max-plus-linear systems. Control Engineering Practice 14(10):1199\u20131211","journal-title":"Control Engineering Practice"},{"issue":"3","key":"294_CR108","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/s10626-011-0123-x","volume":"12","author":"T van den Boom","year":"2012","unstructured":"van den Boom T, De Schutter B (2012) Modeling and control of switching max-plus-linear systems with random and deterministic switching. Discrete Event Dynamic Systems 12(3):293\u2013332","journal-title":"Discrete Event Dynamic Systems"},{"key":"294_CR109","doi-asserted-by":"crossref","unstructured":"van den Boom T, De Schutter B (2014) Model predictive control of manufacturing systems with max-plus algebra Campos J, Seatzu C, Xie X (eds), vol 12, CRC Press, Chap","DOI":"10.1201\/b16529-15"},{"issue":"1","key":"294_CR110","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/S0167-6911(01)00162-1","volume":"45","author":"TJ van den Boom","year":"2002","unstructured":"van den Boom TJ, De Schutter B (2002b) MPC for perturbed max-plus-linear systems. Systems & Control Letters 45(1):21\u201333","journal-title":"Systems & Control Letters"},{"issue":"3","key":"294_CR111","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1080\/00207170310001656047","volume":"77","author":"TJ van den Boom","year":"2004","unstructured":"van den Boom TJ, De Schutter B (2004) Model predictive control for perturbed max-plus-linear systems: a stochastic approach. Int J Control 77(3):302\u2013309","journal-title":"Int J Control"},{"key":"294_CR112","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1017\/CBO9780511662508.024","volume-title":"Idempotency","author":"Elizabeth A. Walkup","year":"1998","unstructured":"Walkup E, Borriello G (1998) A general linear max-plus solution technique. In: Gunawardena J, Atiyah M, Taylor J (eds) Idempotency Proceedings of the Workshop on Idempotency, Bristol, UK, Oct 1994. Cambridge University Press, Cambridge"},{"issue":"12","key":"294_CR113","doi-asserted-by":"crossref","first-page":"6353","DOI":"10.1109\/TAC.2017.2708508","volume":"62","author":"C Wang","year":"2017","unstructured":"Wang C, Tao Y, Yang P, Liu Z (2017) Dimension reduction and feedback stabilization for max-plus linear systems and applications in VLSI array processors. IEEE Trans Autom Control 62(12):6353\u20136368","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"294_CR114","doi-asserted-by":"crossref","first-page":"111","DOI":"10.3182\/20140514-3-FR-4046.00063","volume":"47","author":"J. Xu","year":"2014","unstructured":"Xu J, De Schutter B, van den Boom T (2014) Model predictive control for max-plus-linear systems via optimistic optimization. In: Proceedings of the 12th IFAC-IEEE International Workshop on Discrete Event Systems (WODES\u201914), Cachan, France, pp 111\u2013116","journal-title":"IFAC Proceedings Volumes"},{"issue":"1","key":"294_CR115","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1109\/TAC.2018.2849570","volume":"64","author":"J Xu","year":"2019","unstructured":"Xu J, van den Boom T, De Schutter B (2019) Model predictive control for stochastic max-plus linear systems with chance constraints. IEEE Trans Autom Control 64(1):337\u2013342","journal-title":"IEEE Trans Autom Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-019-00294-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-019-00294-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-019-00294-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,30]],"date-time":"2020-11-30T19:57:11Z","timestamp":1606766231000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-019-00294-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12,2]]},"references-count":115,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,3]]}},"alternative-id":["294"],"URL":"https:\/\/doi.org\/10.1007\/s10626-019-00294-w","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,12,2]]},"assertion":[{"value":"10 January 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 September 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 December 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}