Max-plus algebra and system theory: Where we are and where to go now

Annual Reviews in Control

Volumn 23, Issue , 1999, Pages 207-219

  Cohen, Guy ^a,b   Gaubert, Stéphane ^b   Quadrat, Jean Pierre ^b  

^a PSL RESEARCH UNIVERSITY   (France)

^b INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CONTROL SYSTEM ANALYSIS; CONTROL SYSTEM SYNTHESIS; MATHEMATICAL MODELS; PROBLEM SOLVING;

ALGEBRAIC SYSTEM THEORY; MAX-PLUS ALGEBRA;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0032632040     PISSN: 13675788     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1367-5788(99)00023-1     Document Type: Article

References (29)

1. Baccelli, F., G. Cohen and B. Gaujal (1992a). Recursive equations and basic properties of timed Petri nets. J. of Discrete Event Dynamic Systems 1(4), 415-439.
2. Baccelli, F., G. Cohen, G.J. Olsder and J.-P. Quadrat (1992b). Synchronization and Linearity - An Algebra for Discrete Event Systems. Wiley. New York.
3. Braker, H. (1993). Algorithms and applications in timed discrete event systems. Phd thesis. Delft University of Technology, the Netherlands.
4. Cohen, G. (1994). Dioids and discrete event systems. In: Proc. 11th Int. Conf. on Anal. and Optim. of Systems, Sophia-Antipolis, France (G. Cohen and J.-P. Quadrat, Eds.). Vol. 199 of Lect. Notes in Contr. and Inform. Sc.. Springer-Verlag. Berlin, pp. 223-236.
5. Cohen, G., D. Dubois, J.-P. Quadrat and M. Viot (1985). A linear system-theoretic view of discrete event processes and its use for performance evaluation in manufacturing. IEEE Trans. on Aut. Cont. AC-30(3), 210-220.
6. Cohen, G., P. Moller, J.-P. Quadrat and M. Viot (1989a). Algebraic tools for the performance evaluation of discrete event systems. Proc. of the IEEE 77(1), 39-58.
7. Cohen, G., S. Gaubert and J.-P. Quadrat (1993). From first to second-order theory of linear discrete event systems. In: Proc. 12th IFAC World Congress, Sydney, Australia.
8. Cohen, G., S. Gaubert and J.-P. Quadrat (1996). Kernels, images and projections in dioids. In: Proc. Worksh. on Disc. Ev. Syst., Edinburgh, Scotland.
9. Cohen, G., S. Gaubert and J.-P. Quadrat (1997). Linear projectors in the max-plus algebra. In: Proc. 5th IEEE Med. Conf. on Cont. and Syst., Paphos, Cyprus.
10. Cohen, G., S. Gaubert and J.-P. Quadrat (1998). Algebraic system analysis of timed Petri nets. In: Idempotency (J. Gunawardena, Ed.). pp. 145-170. Coll. of the Isaac Newton Inst.. Cambridge University Press. Cambridge, England.
11. Cohen, G., S. Gaubert, R. Nikoukhah and J.-P. Quadrat (1989b). Convex analysis and spectral analysis of timed event graphs. In: Proc. 28th Conf Dec. and Cont., Tampa, Florida.
12. Cottenceau, B., L. Hardouin, J.-L. Boimond and J.-L. Ferner (1998). Synthesis of greatest linear feedback for TEG in dioid. IEEE Trans. on Aut. Cont. to appear.
13. Di Mascolo, M. (1990). Modélisation et évaluation de performances de systèmes de production gérés en kanban. PhD thesis. INPG. Grenoble, France.
14. Eilenberg, S. (1974). Automata, languages and machines. Vol. A. Academic Press. New York.
15. Fliess, M. (1975). Matrices de Hankel. J. Math. Pures. Appl. 15, 161-186.
16. Gaubert, S. (1992). Théorie des systèmes linéaires dans les dioïdes. Phd thesis. École des Mines de Paris, France.
17. Gaubert, S. (1995). Resource optimization and (min, +) spectral theory. IEEE Trans. on Aut. Cont.
18. Gaubert, S. and J. Mairesse (1997). Modelling and analysis of timed Petri nets using heaps of pieces. To appear in IEEE Trans. on Aut. Contr., abridged version in the Proceedings of the ECC'97, Bruxelles, 1997.
19. Gaubert, S. and Max Plus (1997). Methods and applications of (max,+) linear algebra. In: 14th Symp. on Theoretical Aspects of Computer Science, Lübeck, Germany, 27 Feb.-1 Mar. 1997 (R. Reischuk and M. Morvan, Eds.). Vol. 500 of Lect. Notes in Comp. Sc.. Springer-Verlag. Berlin, pp. 261-282.
20. Gaubert, S., P. Butkovič and R. Cuninghame-Green (1998). Minimal (max, +) realization of convex sequences. SIAM J. Cont. Optim. 36(1), 137-147.
21. Max Plus (1991). Second order theory of min-linear systems and its application to discrete event systems. In: Proc. 30th Conf. Dec. and Cont., Brighton, England.
22. Menguy, E. (1997). Contribution à la commande des systèmes linéaires dans les dioïdes. Phd thesis. ISTIA, Université d'Angers, France.
23. Murata, T. (1989). Petri nets: properties, analysis and applications. Proc. of the IEEE 77, 541-580.
24. Quadrat, J.-P. and Max Plus (1995). Max-plus algebra and applications to system theory and optimal control. In: Int. Conf. of Mathematicians 1994, Zurich. Birkaüser. Basel. pp. 1502-1511.
25. Ramadge, P.J.G. and W.M. Wonham (1989). The control of discrete event systems. Proc. of the IEEE 77(1), 81-97.
26. Wagneur, É. (1991). Moduloids and pseudomodules. 1. dimension theory. Discrete Math. 98, 57-73.
27. Wagneur, E. (1994). Subdirect sum decomposition of finite dimensional pseudomodules. In: Proc. 11th Int. Conf. on Anal. and Optim. of Systems, Sophia-Antipolis, France (G. Cohen and J.-P. Quadrat, Eds.). Vol. 199 of Lect. Notes in Contr. and Inform. Sc.. Springer-Verlag. Berlin, pp. 322-328.
28. Wagneur, É. (1996). Torsion matrices in the max-algebra. In: Proc. Worksh. on Disc. Ev. Syst., Edinburgh, Scotland. pp. 165-168.
29. Wonham, W.M. (1979). Linear multivariable control: a geometric approach. Springer-Verlag. Berlin. 2nd ed.