]. F. Allgöwer-1999, T. A. Allgöwer, S. J. Badgwell, J. Qin, S. Rawlingsand et al., Nonlinear Predictive Control and Moving Horizon Estimation ??? An Introductory Overview, 1999.
DOI : 10.1007/978-1-4471-0853-5_19

]. S. Amari, I. Demongodin, and J. J. Loiseau, M??thode formelle de commande sous contraintes de temps dans les dio??des, Modélisation des Systémes Réactifs, MSR05, 2005.
DOI : 10.3166/jesa.39.319-334
URL : https://hal.archives-ouvertes.fr/hal-00362941/file/MSR_05_Final.pdf

]. B. Aspvall and Y. Shiloach, A polynomial time algorithm for solving systems of linear inequalities with two variables per inequality, Siam J. Comput, vol.9, 1980.

]. F. Baccelli, G. Cohen, G. J. Olsder, and J. P. Quadrat, Synchronization and linearity. An algebra for Discrete Event Systems, 1992.

]. B. Berthomieu and M. Diaz, Modeling and verification of time dependent systems using time Petri nets, N?3), pp.259-273, 1991.
DOI : 10.1109/32.75415

]. Boimond and J. Ferrier, Internal model control and max-algebra: controller design, IEEE Transactions on Automatic Control, vol.41, issue.3, pp.457-461, 1996.
DOI : 10.1109/9.486651
URL : https://hal.archives-ouvertes.fr/hal-00843583

]. M. Boyer, Contribution à la modélisation des systèmes à temps contraint et application au multimédia, Thèse, 2001.

]. P. Chrétienne, Les réseaux de Petri temporisés, Thèse Université Pierre et Marie Curie, 1983.

]. G. Cohen, P. Moller, S. Gaubert, and J. P. Quadrat, Algebraic Tools for the Perfermance Evaluation of discret Event System, IEEE Proceedings : Special issue on Discrete Event Systems, 1989.

]. E. Cohen and N. Megiddo, Maximizing Concave Functions in Fixed Dimension, Complexity in Numeric Computation, pp.74-87, 1993.
DOI : 10.1142/9789814354363_0005

]. G. Cohen, S. Gaubert, and J. Quadrat, Max-plus algebra and system theory : Where we are and where to go now, IFAC Conference on System Structure and Control, 1998.

]. S. Cook, The complexity of theorem-proving procedures, Proceedings of the third annual ACM symposium on Theory of computing , STOC '71, pp.151-158, 1971.
DOI : 10.1145/800157.805047

]. T. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to algorithms, 1993.

]. B. Cottenceau, Contribution à la commande de systèmes à événements discrets : synthèse de correcteurs pour les graphes d'événements, 1999.

]. B. Cottenceau, L. Hardouin, J. Boimond, and J. Ferrier, Model reference control for timed event graphs in dioids, Automatica, vol.37, issue.9, pp.1451-1458, 2001.
DOI : 10.1016/S0005-1098(01)00073-5
URL : https://hal.archives-ouvertes.fr/hal-00845151

]. R. Cottle and A. F. Veinott, Polyhedral sets having a least element, Mathematical Programming, pp.238-249, 1972.
DOI : 10.1007/BF01584992

[. D. Andersson, ]. Andersson, and S. Vorobyov, Fast Algorithms for Monotonic Discounted Linear Programs with Two Variables per Inequality, Preprint NI06019-LAA, Isaac Newton Institute for Mathematical Sciences, 2006.

]. B. Davey and H. A. Priestley, Introduction to lattices and order, 2002.
DOI : 10.1017/CBO9780511809088

]. R. David and H. Alla, Discrete, continuous, and hybrid petri nets, 2004.
DOI : 10.1007/978-3-642-10669-9
URL : https://hal.archives-ouvertes.fr/hal-00495611

]. P. Declerck, A. Guezzi, and J. Boimond, Cycle Time of P-time Event Graphs, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00859272

]. P. Declerck and A. Guezzi, Trajectory Tracking Control of a Timed Event Graph with Specifications Defined by a P-time Event Graph, POSTA 09, 2009.
DOI : 10.1007/978-3-642-02894-6_27
URL : https://hal.archives-ouvertes.fr/hal-00858374

]. P. Declerck and M. K. Didi-alaoui, Optimal Control Synthesis of Timed Event Graphs With Interval Model Specifications, IEEE Transactions on Automatic Control, vol.55, issue.2, pp.518-523, 2010.
DOI : 10.1109/TAC.2009.2037471
URL : https://hal.archives-ouvertes.fr/hal-00857800

M. K. Didi-alaoui, Étude et supervision des graphes d'événements temporisés et temporels : vivacité, estimation et commande, 2005.

]. J. Farkas, On the applications of the machanical principle of Fourier, Mathematikai és termés-zettudomáyi Értesitö, pp.457-472, 1894.

]. J. Farkas, Paraméteres módszer Fourier mechanikai elvéhez, Mathematikai és Physikai Lapok, pp.63-71, 1898.

]. T. Fossen, M. Breivik, and R. Skjetne, Line-of-sight path following of underactuated marine craft, IFAC, 2003.

]. J. Fourier, Analyse des travaux de l'Académie Royale des Sciences pendant l'année 1824 Histoire de l'Accadémie Royale des Sciences de l, p.1827, 1827.

]. R. Frezza, Path following for air vehicles in coordinated flight, 1999 IEEE/ASME International Conference on Advanced Intelligent Mechatronics (Cat. No.99TH8399), 1999.
DOI : 10.1109/AIM.1999.803289

]. H. Gabbay, A note on polyhedral sets having A least element, Mathematical Programming, pp.94-96, 1976.
DOI : 10.1007/BF01580374

]. M. Garey and D. S. Johnson, Computers and Intractability : A guide to the theory of NP-Completeness, 1979.

]. S. Gaubert, Resource optimization and (min,+) spectral theory, IEEE Transactions on Automatic Control, vol.40, issue.11, pp.1931-1934, 1995.
DOI : 10.1109/9.471219
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.8890

]. A. Giua, A. Piccaluga, and C. Seatzu, Optimal Token Allocation in Timed Cyclic Event???Graphs, Proceedings of 5th international work on discrete event systems, pp.209-218, 2000.
DOI : 10.1007/978-1-4615-4493-7_21

]. M. Gondran and M. Minoux, Graphes, dioïdes et semi-anneaux, Tec & Doc, 2001.

]. C. Gros, Rapport DEA en Biotechnologies et Industries Alimentaires de l'Ecole Nationale Supérieure d'Agronomie et des Industries Alimentaires, 2000.

]. A. Guezzi, P. Declerck, and J. Boimond, Commande de graphes d'??v??nements temporis??s sur un horizon glissant, MSR 2009, 2009.
DOI : 10.3166/jesa.43.1097-1111

D. S. Hochbaum and N. Megiddo, Joseph (Seffi) Naor et Arie Tamir Tight bounds and 2-approximation algorithms for integer programs with two variables per inequality, Mathematical Programming, pp.69-83, 1993.

]. L. Houssin, S. Lahaye, and J. Boimond, Just in Time Control of Constrained (max,+)-Linear Systems, Discrete Event Dynamic Systems, pp.2-159, 2007.
DOI : 10.1007/s10626-006-0009-5
URL : https://hal.archives-ouvertes.fr/hal-00366751

[. J. Campos, J. M. Colom, J. Campos, G. Chiola, and M. Silva, Properties and performance bounds for timed marked graphs, IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, vol.39, issue.5, 1992.
DOI : 10.1109/81.139289

M. Richard and . Karp, A characterization of the minimum cycle mean in a digraph, Discrete Mathematics, issue.23, pp.309-311, 1978.

]. W. Khansa, J. P. Denat, and S. Collart, P-time petri nets for manufacturing systems, proceedings of WODES'96, pp.94-102, 1996.

]. W. Khansa, Réseaux de Petri p-temporels : contribution à l'étude des systèmes à événements discrets, Thèse, 1997.

]. H. Kuhn, Solvability and Consistency for Linear Equations and Inequalities. The American Mathematical Monthly, pp.217-232, 1956.

]. R. Kumar and V. K. Garg, Modeling and control of logical discrete event systems, 1995.
DOI : 10.1007/978-1-4615-2217-1

]. S. Lahaye, Contribution à l'étude des systèmes linéaires non stationaires dans l'algèbre des dioïdes, Thèse, LISA -Université d'Angers, 2000.

]. S. Lahaye, B. Cottenceau, and A. Correia, Commande de Graphes d'Evénements Temporisés avec Contrainte de Temps Critique, CIFA'2004 Proceedings sur CD-ROM, 2004.

]. J. Magott, Performance evaluation of concurrent systems using Petri nets, Information Processing Letters 18, pp.7-13, 1984.
DOI : 10.1016/0020-0190(84)90067-X

]. E. Menguy-000a, J. Menguy, L. Boimond, J. Hardouin, and . Ferrier, A First Step Towards Adaptative Control for linear in Max Algebra, Discrete Event Dynamic Systems, vol.10, issue.4, pp.347-367, 2000.
DOI : 10.1023/A:1008363704766

]. E. Menguy-000b, J. Menguy, L. Boimond, J. Hardouin, and . Ferrier, Just in Time Control of Timed Event Graphs

]. P. Merlin, A study of the Recoverability of Computer System, Dep. Comput. Sci, 1974.

]. H. Minkowski, Geometrie des Zahlen (Erste Lieferung), p.1896, 1896.

]. T. Murata, Petri nets: Properties, analysis and applications, IEEE Proceedings : Special issue on Discrete Event Systems, pp.541-581, 1989.
DOI : 10.1109/5.24143

]. G. Olms, Analyse des travaux de l'Académie Royale des sciences, pendant l'année 1823, Partie mathématique, pp.339-347, 1890.

]. C. Petri, Kommunikation mit Automaten, Thèse, Institut für instrumentelle Mathematik, 1962.

]. V. Pratt, Two easy theories whose combination is hard, 1977.

]. A. Propoi, Using of linear programing methods for synthetizing sampled data automatic systems, Automatic Remote Control, vol.24, pp.837-844, 1963.

]. J. Proth and X. Xie, Les réseaux de petri pour la conception et la gestion des systèmes de production, 1995.

[. R. Jeantet-]-p, G. Schuk, R. Brulé, T. Jeantet, and . Croguennec, Sciences des aliments.T2- Technologie des produits alimentaires, pp.137-190, 2006.

]. M. Rafal and W. Stevens, Discrete dynamic optimization applied to on-line optimal control, AIChE Journal, vol.14, issue.1, pp.85-91, 1968.
DOI : 10.1002/aic.690140117

]. C. Ramamoorthy and S. Gary, Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets, IEEE Trans. on Software Engineering, vol.6, 1980.

J. L. Testud, J. Et-papon, J. Richalet, and A. Rault, Model predictive heuristic control : application to industrial processes, Automatica, vol.14, pp.413-428, 1978.

]. A. Shostak, Deciding Linear Inequalities by Computing Loop Residues, Journal of the ACM, vol.28, issue.4, pp.769-779, 1981.
DOI : 10.1145/322276.322288
URL : http://www.dtic.mil/get-tr-doc/pdf?AD=ADA055868

]. J. Sifakis, Structural proporties of petri nets, Mathematical foundation of computer science, 1978.

.. C. Tj and . Koopmans, Tj. C. Koopmans. Maximization of a linear function of variables subject to linear inequalities, in : Activity Analysis of Production and allocation, pp.339-347, 1951.

]. A. Veinott, Extreme points of leontief substitution systems, Linear Algebra and its Applications, vol.1, issue.2, pp.181-194, 1968.
DOI : 10.1016/0024-3795(68)90002-5

]. P. Bruijn and H. Verbruggen, Model algorithmic control using impulse response models, 1984.
DOI : 10.1016/b978-0-08-026749-4.50042-4

]. S. Wang and C. Desoer, The exact model matching of linear multivariable systems, IEEE Transactions on Automatic Control, vol.17, issue.3, 1972.
DOI : 10.1109/TAC.1972.1099984

]. H. Weyl, Elementare Theorie der konvexen Polyeder, Commentarii Mathematici Helvetici, vol.7, issue.1, pp.290-306, 1935.
DOI : 10.1007/BF01292722

]. T. Yamada and S. Kataoka, On some LP problems for performance evaluation of timed marked graphs, IEEE Transactions on Automatic Control, vol.39, issue.3, pp.696-698, 1994.
DOI : 10.1109/9.280791

]. M. Zhou and K. Venkatesh, Modeling, simulation, and control of flexible manufacturing systems : A Petri net approach (series in intelligent control and intelligent automation, 1999.
DOI : 10.1142/3376