S. Hamaci, J. Boimond, and S. Lahaye, Part 3-Signal Processing, Systems Modeling and Control. On Modeling and Control of Discrete Timed Event Graphs with Multipliers using (Min,+) Algebra, Informatics in Control, Automation and Robotics I, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00859302

S. Hamaci, J. Boimond, and S. Lahaye, Part 3-Signal Processing, Systems Modeling and Control. Performance Analysis of Timed Event Graphs with Multipliers using (Min, +) Algebra, Informatics in Control, Automation and Robotics II, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00859302

J. Komenda, J. Boimond, and S. Lahaye, New Developments in Robotics Chapter, Automation and Control. INTECH EDUCATION AND PUBLISHING, pp.427-448, 2008.

I. Articles-répertoriés-dans, . [. Web-of-knowledge, J. Hamaci, S. Boimond, and . Lahaye, Modeling and Control of Hybrid Timed Event Graphs with Multipliers using (Min,+) Algebra. Discrete Event Dynamic Systems, pp.241-256, 2006.

L. Houssin, S. Lahaye, and J. Boimond, Control of (max,+)-linear systems minimizing delays. Discrete Event Dynamic Systems
DOI : 10.1007/s10626-012-0143-1
URL : https://hal.archives-ouvertes.fr/hal-00846201

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

J. Komenda, S. Lahaye, and J. Boimond, Supervisory Control of (max,+) Automata: A Behavioral Approach, Discrete Event Dynamic Systems, vol.77, issue.11, pp.525-549, 2009.
DOI : 10.1007/s10626-009-0083-6
URL : https://hal.archives-ouvertes.fr/hal-00858689

S. Lahaye, J. Boimond, and J. Ferrier, ) algebra, International Journal of Production Research, vol.46, issue.19, pp.5337-5348, 2008.
DOI : 10.1109/TSE.1980.230492

S. Lahaye, J. L. Boimond, and L. Hardouin, Linear Periodic Systems Over Dioids, Discrete Event Dynamic Systems, vol.14, issue.2, pp.133-152, 2004.
DOI : 10.1023/B:DISC.0000018568.03525.93
URL : https://hal.archives-ouvertes.fr/hal-00860640

S. Lahaye, L. Hardouin, and J. Boimond, Models Combination in (Max,+) Algebra for the Implementation of a Simulation and Analysis Software, Kybernetika, vol.39, issue.2, pp.143-154, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00845423

. Autres-articles-dans-des-journaux-avec-comité-de-lecture-[-acln1-]-m, J. Alsaba, S. Boimond, and . Lahaye, Sur la commande des systèmes flexibles de productionmanufacturì ere par l'algèbre des dio¨?desdio¨?des, Sciences et Technologies de l'Automatique (e-STA), 2007.

S. Hamaci, J. Boimond, S. Lahaye, and M. Mostefaoui, Sur la linéarisation des graphes d'´ evénements temporisés discrets avec multiplieurs dans l'algèbre (min,+)

L. Houssin, S. Lahaye, and J. Boimond, Modélisation et commande de réseaux de bus urbains dans l'algèbre des dio¨?desdio¨?des, Sciences et Technologies de l'Automatique (e-STA), 2004.

L. Houssin, S. Lahaye, and J. Boimond, -lin??aires, Journal Europ??en des Syst??mes Automatis??s, vol.39, issue.1-3, pp.335-350, 2005.
DOI : 10.3166/jesa.39.335-350
URL : https://hal.archives-ouvertes.fr/hal-00859262

J. Komenda, S. Lahaye, and J. Boimond, Le produit synchrone des automates (max,+), Journal Europ??en des Syst??mes Automatis??s, vol.43, issue.7-9, pp.1033-1047, 2009.
DOI : 10.3166/jesa.43.1033-1047
URL : https://hal.archives-ouvertes.fr/hal-00858637

. M. Communications-avec-actes-dans-un, J. Alsaba, S. Boimond, and . Lahaye, On just in time control of flexible manufacturing systems via dioid algebra, Information Control Problems in Manufacturing, pp.137-142, 2006.

M. Alsaba, J. Boimond, and S. Lahaye, Sur la commande des systèmes flexibles de productionmanufacturì ere par l'algèbre des dio¨?desdio¨?des, Conférence Internationale Francophone d'Automatique, 2006.

M. Alsaba, S. Lahaye, and J. Boimond, On just in time control of switching max-plus linear systems, International Conference on Informatics in Control, Automation and Robotics, 2006.

J. Boimond and S. Lahaye, On Steady State Controller in Min-Plus Algebra, 15th conf. International Liner Algebra Society, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00859180

J. Boimond and S. Lahaye, On Proportional Controller in (Min, +) Algebra, Workshop on Discrete Event Systems, 2010.
DOI : 10.3182/20100830-3-DE-4013.00026
URL : https://hal.archives-ouvertes.fr/hal-00857987

A. Corre¨?acorre¨?a, S. Lahaye, and B. Cottenceau, Commande de graphes d'´ evénements temporisés partiellement commandables avec contraintes temporelles, Conférence Internationale Francophone d'Automatique, 2006.

S. Hamaci, J. Boimond, and S. Lahaye, Performance Analysis of Timed Event Graphs with Multipliers using (Min, +) Algebra, IFAC, International Conference on Informatics in Control, Automation and Robotics 2005, 2005.
DOI : 10.1007/978-1-4020-5626-0_22
URL : https://hal.archives-ouvertes.fr/hal-00860528

S. Hamaci, J. Boimond, and S. Lahaye, ON MODELING AND CONTROL OF DISCRETE TIMED EVENT GRAPHS WITH MULTIPLIERS USING (MIN, +) ALGEBRA, International Conference on Informatics in Control, Automation and Robotics, pp.32-37, 2004.
DOI : 10.1007/1-4020-4543-3_25

S. Hamaci, J. Boimond, and S. Lahaye, On Hybrid Timed Event Graphs with Multipliers in Dioid, 16th International Conference on Control Systems and Computer Science, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00859741

S. Hamaci, J. Boimond, S. Lahaye, and M. Mostefaoui, On the Linearizability of Discrete Timed Event Graphs with Multipliers using (Min,+) Algebra, Workshop on Discrete Event Systems (WODES'2004), pp.367-372, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00861478

L. Houssin, S. Lahaye, and J. Boimond, Modelling and Control of Urban Bus Networks in Dioids Algebra, Workshop on Discrete Event Systems (WODES'2004), 2004.
URL : https://hal.archives-ouvertes.fr/hal-00367280

L. Houssin, S. Lahaye, and J. Boimond, CONTROL OF CONSTRAINED (MAX,+)-LINEAR SYSTEMS MINIMIZING DELAYS, Information Control Problems in Manufacturing (IN- COM 2006), 2006.
DOI : 10.3182/20060517-3-FR-2903.00170
URL : https://hal.archives-ouvertes.fr/hal-00366789

L. Houssin, S. Lahaye, and J. Boimond, TIMETABLE SYNTHESIS USING (MAX,+) ALGEBRA, Information Control Problems in Manufacturing, 2006.
DOI : 10.3182/20060517-3-FR-2903.00201
URL : https://hal.archives-ouvertes.fr/hal-00366819

J. Komenda, J. Boimond, and S. Lahaye, Supervisory Control of Heap Models using Synchronous Composition, International Conference on Informatics in Control, Automation and Robotics Special Session : From Planning to Control of Manufacturing Systems, pp.467-475, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00859734

J. Komenda, J. Boimond, and S. Lahaye, Control of (max,+) automata: Logical and timing aspects, 2008 9th International Workshop on Discrete Event Systems, pp.55-60, 2008.
DOI : 10.1109/WODES.2008.4605922
URL : https://hal.archives-ouvertes.fr/hal-00859172

J. Komenda, S. Lahaye, and J. Boimond, Controllability of (max,+) Formal Power Series*, IFAC Workshop on Dependable Control of Discrete Systems, 2009.
DOI : 10.3182/20090610-3-IT-4004.00020
URL : https://hal.archives-ouvertes.fr/hal-00858959

J. Komenda, S. Lahaye, and J. Boimond, Supervisory Control of (max,+) Automata : A Single Step Approach, European Control Conference (ECC'09), 2009.
URL : https://hal.archives-ouvertes.fr/hal-00858968

J. Komenda, S. Lahaye, and J. Boimond, Commande supervisée des automates (max,+), Conférence Internationale Francophone d'Automatique (CIFA 2010), 2010.
DOI : 10.3166/jesa.43.1033-1047

J. Komenda, S. Lahaye, and J. Boimond, Synchronous composition of interval weighted automata, International Workshop on Discrete Event Systems, 2010.
DOI : 10.3182/20100830-3-DE-4013.00053
URL : https://hal.archives-ouvertes.fr/hal-00857990

J. Komenda, P. Spacek, and S. Lahaye, Application of product dioids for dead token detection in interval P-time event graphs, IFAC World Congress, 2011.
DOI : 10.3182/20110828-6-IT-1002.01500
URL : https://hal.archives-ouvertes.fr/hal-00857447

B. [. Lahaye, A. Cottenceau, and . Corre¨?acorre¨?a, Commande de graphes d'´ evénements temporisés avec contrainte de temps critique, Conférence Internationale Francophone d'Automatique, 2004.

L. [. Lahaye, J. Houssin, and . Boimond, Modelling of Urban Bus Networks in Dioids Algebra, first International Symposium on Positive Systems : Theory and Applications, pp.23-30, 2003.
DOI : 10.1007/978-3-540-44928-7_5
URL : https://hal.archives-ouvertes.fr/hal-00367280

J. Rousseau, S. Lahaye, C. Martinez, and J. Boimond, A min-plus approach for traffic flow modelling, International Conference on Informatics in Control, Automation and Robotics, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00858965

A. Communications-avec-actes-dans-un, S. Boimond, and . Lahaye, Sur la précision asymptotique des systèmes (min, +) linéaires continus, Modélisation des Systèmes Réactifs, 2011.

J. [. Hamaci, S. Boimond, and . Lahaye, Sur le comportement dynamique des réseaux de Petri valués dans l'algèbre des dio¨?desdio¨?des, Conception et Production Intégrées, 2007.

L. Houssin, S. Lahaye, and J. Boimond, -lin??aires, Modélisation des Systèmes Réactifs (MSR 2005), pp.335-350, 2005.
DOI : 10.3166/jesa.39.335-350
URL : https://hal.archives-ouvertes.fr/hal-00859262

J. Komenda, S. Lahaye, and J. Boimond, Le produit synchrone des automates (max,+), Modélisation des Systèmes Réactifs, pp.1033-1047, 2009.
DOI : 10.3166/jesa.43.1033-1047
URL : https://hal.archives-ouvertes.fr/hal-00858637

L. Autrement-dit and . Départ, du k + 1-i` eme véhicule depuis un arrêt i doit avoir lieu avant la date ?i(k)

. Lotito, Par exemple, en prévision de pics d'affluence de passagersàpassagersà des heures etàetà des arrêts connus du réseau (fin des classesàclassesà proximité d'uné ecole, fin de journée aux abords d'une usine 41. On considère qu'` a l'initialisation aucun véhicule ne démarre entre les deux arrêts Cette hypothèse vise simplementàsimplementà faciliter l'exposé et peutêtrepeutêtre levée sans difficulté. macroscopiques décrivent le comportement du trafic routier par des variables agrégées telles que le débit, la concentration et la vitesse moyenne du flux de véhicules. Différents travaux basés sur l'algèbre (min, +) ontétéontété proposés pour modéliser etétudieretétudier le trafic routier, les auteurs proposent un modèle microscopique basé sur les réseaux de Petri qui consistè a diviser la route en une suite de tronçons (correspondant chacunàchacunà une place de réseau de Petri) ne pouvant contenir qu'un véhiculè a la fois 47 . Puis une modélisation matricielle de ces réseaux de Petri dans l'algèbre (min, +), conduitàconduità interpréter le calcul des flux moyens comme desprobì emes de valeurs propres généralisées. L'idée est donc d'´ etudier les mouvements microscopiques des véhicules pour dériver des lois macroscopiques. Les auteurs ont en particulier porté leur attention sur le cas d'une route circulaire, de deux routes avec une intersection et sur des réseaux réguliers de routes, Cette contrainte estparticulì erement pertinente pour les réseaux de bus afin d'´ eviter la formation de pelotons de véhicules (plusieurs bus se suivant sur une même ligne trafic routier sur un tronçon en le considérant comme un système (min, +)-linéaire et en le modélisantmodélisantà l'aide de la réponse impulsionnelle associée. L'intérêt est de fournir un modèle dont on peutàpeutà notre guise fixer l'´ echelle de représentation et ainsi ? capturer aussi bien des phénomènes microscopiques que macroscopiques ; ? s'adapter au cantonnement existant du fait des dispositifs de mesure en place sur certaines routes. On fait ici référence aux outils en vigueur pour l'information et l'´ etude du trafic qui reposent sur des détecteurs La répartition géographique de ces dispositifs permet de voir une infrastructure comme un ensemble de tronçons, 2005.

. Alsaba, Sur la commande des systèmes flexibles de productionmanufacturì ere par l'algèbre des dio¨?desdio¨?des, Concernant les perspectives, les travaux initiés sur le trafic routier ne sont clairement pas aboutis Conférence Internationale Francophone d'Automatique, 2006.

. Alsaba, ON JUST IN TIME CONTROL OF FLEXIBLE MANUFACTURING SYSTEMS VIA DIOID ALGEBRA, Information Control Problems in Manufacturing, pp.137-142, 2006.
DOI : 10.3182/20060517-3-FR-2903.00083

. Alsaba, On just in time control of switching max-plus linear systems, International Conference on Informatics in Control, Automation and Robotics, 2006.

D. Alur, R. Alur, and D. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

. Baccelli, Synchronization and Linearity, 1992.

. Berthomieu, . Diaz, B. Berthomieu, and M. Diaz, Modeling and verification of time dependent systems using time Petri nets, IEEE Transactions on Software Engineering, vol.17, issue.3, pp.259-273, 1991.
DOI : 10.1109/32.75415

. Blyth, . Janowitz, T. S. Blyth, and M. F. Janowitz, Residuation Theory, 1972.

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

H. Braker, Algorithms and Applications in Timed Discrete Event Systems, 1993.

B. A. Brandin and W. M. Wonham, Supervisory control of timed discrete-event systems, IEEE Transactions on Automatic Control, vol.39, issue.2, pp.329-342, 1994.
DOI : 10.1109/9.272327

. Buchholz, . Kemper, P. Buchholz, and P. Kemper, Weak bisimulation for (max,+) automata and related models, J. Autom. Lang. Comb, vol.8, pp.187-218, 2003.

L. Cassandras, C. G. Cassandras, and S. Lafortune, Introduction to Discrete Event Systems, 2006.

. Cohen, On traffic light control of regular towns, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00072311

. Cohen, Linear system theory for discrete event systems, The 23rd IEEE Conference on Decision and Control, 1984.
DOI : 10.1109/CDC.1984.272058

. Cohen, Dating and counting events in discrete-event systems, 1986 25th IEEE Conference on Decision and Control, 1986.
DOI : 10.1109/CDC.1986.267522

. Cohen, Algebraic tools for the performance evaluation of discrete event systems, IEEE Proceedings : Special issue on Discrete Event Systems, 1989.
DOI : 10.1109/5.21069

. Cottenceau, 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

A. David, R. David, A. , and H. , Du Grafcet aux réseaux de Petri, 1989.

B. De-schutter and T. Van-den-boom, Model predictive control for max-plus-linear discrete event systems, Automatica, vol.37, issue.7, pp.371049-1056, 2001.
DOI : 10.1016/S0005-1098(01)00054-1

B. De-schutter and T. Van-den-boom, MPC for discrete-event systems with soft and hard synchronization constraints, International Journal of Control, vol.251, issue.1, pp.82-94, 2003.
DOI : 10.1023/A:1011225209640

. Farhi, Road traffic models using petri nets and min-plus algebra, Conf. on Traffic and Granular Flow, 2007.
DOI : 10.1007/978-3-540-77074-9_27
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.4040

. Farhi, The traffic phases of road networks, Transportation Research Part C: Emerging Technologies, vol.19, issue.1, pp.85-102, 2011.
DOI : 10.1016/j.trc.2010.03.011
URL : https://hal.archives-ouvertes.fr/hal-00860175

S. Gaubert, Théorie des systèmes linéaires dans les dio¨?desdio¨?des, 1992.

S. Gaubert, Performance evaluation of (max,+) automata, IEEE Transactions on Automatic Control, vol.40, issue.12, pp.2014-2025, 1995.
DOI : 10.1109/9.478227
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.6137

. Gaubert, . Mairesse, S. Gaubert, and J. Mairesse, Modeling and analysis of timed Petri nets using heaps of pieces, IEEE Transactions on Automatic Control, vol.44, issue.4, pp.683-698, 1999.
DOI : 10.1109/9.754807
URL : https://hal.archives-ouvertes.fr/hal-00165813

B. Gaujal, Parallélisme et simulation des systèmessystèmesàsystèmesàévénements discrets, Thèse de doctorat, 1994.

R. Goverde, Railway timetable stability analysis using max-plus system theory, Transportation Research Part B: Methodological, vol.41, issue.2, pp.179-201, 2007.
DOI : 10.1016/j.trb.2006.02.003
URL : http://www.sciencedirect.com/science?_ob=ShoppingCartURL&_method=add&_eid=1-s2.0-S0191261506000208&originContentFamily=serial&_origin=article&_ts=1488046200&md5=657dbc7c23282afa1d57d8308ebead0d

. Hamaci, Modeling and Control of Hybrid Timed Event Graphs with Multipliers Using (Min, +) Algebra, Discrete Event Dynamic Systems, vol.77, issue.4, pp.241-256, 2006.
DOI : 10.1007/s10626-006-8135-7
URL : https://hal.archives-ouvertes.fr/hal-00859956

. Hamaci, Part 3-Signal Processing , Systems Modeling and Control. On Modeling and Control of Discrete Timed Event Graphs with Multipliers using (Min,+) Algebra. SPRINGER, Informatics in Control, Automation and Robotics I, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00859302

. Hamaci, Part 3-Signal Processing , Systems Modeling and Control. Performance Analysis of Timed Event Graphs with Multipliers using, Informatics in Control, Automation and Robotics II, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00859302

. Heidergott, Max Plus at work, 2006.
DOI : 10.1515/9781400865239

L. Houssin, ContributionàContributionà la commande des systèmes (max,+)linéaires . Aplications aux réseaux de transport, Thèse de doctorat, 2006.

. Houssin, Control of (max,+)-linear systems minimizing delays. Discrete Event Dynamic Systems
DOI : 10.1007/s10626-012-0143-1
URL : https://hal.archives-ouvertes.fr/hal-00846201

. Houssin, Commande en juste-` atemps sous contraintes de systèmes (max,+)-linéaires, Modélisation des Systèmes Réactifs, pp.335-350, 2005.

. Houssin, CONTROL OF CONSTRAINED (MAX,+)-LINEAR SYSTEMS MINIMIZING DELAYS, Information Control Problems in Manufacturing, 2006.
DOI : 10.3182/20060517-3-FR-2903.00170
URL : https://hal.archives-ouvertes.fr/hal-00366789

. Houssin, TIMETABLE SYNTHESIS USING (MAX,+) ALGEBRA, Information Control Problems in Manufacturing, 2006.
DOI : 10.3182/20060517-3-FR-2903.00201
URL : https://hal.archives-ouvertes.fr/hal-00366819

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

K. , L. Kirsten, D. Lombardy, and S. , Deciding unambiguity and sequentiality of polynomially ambiguous min-plus automata, 26th International Symposium on Theoretical Aspects of Computer Science, pp.589-600, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00360205

. Klimann, Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton, Theoretical Computer Science, vol.327, issue.3, 2004.
DOI : 10.1016/j.tcs.2004.02.049
URL : https://hal.archives-ouvertes.fr/hal-00174171

. Komenda, Control of (max,+) automata: Logical and timing aspects, 2008 9th International Workshop on Discrete Event Systems, pp.55-60, 2008.
DOI : 10.1109/WODES.2008.4605922
URL : https://hal.archives-ouvertes.fr/hal-00859172

. Komenda, Controllability of (max,+) Formal Power Series*, IFAC Workshop on Dependable Control of Discrete Systems, 2009.
DOI : 10.3182/20090610-3-IT-4004.00020
URL : https://hal.archives-ouvertes.fr/hal-00858959

. Komenda, Le produit synchrone des automates (max,+), Journal Europ??en des Syst??mes Automatis??s, vol.43, issue.7-9, pp.1033-1047, 2009.
DOI : 10.3166/jesa.43.1033-1047
URL : https://hal.archives-ouvertes.fr/hal-00858637

. Komenda, Supervisory Control of (max,+) Automata: A Behavioral Approach, Discrete Event Dynamic Systems, vol.77, issue.11, pp.525-549, 2009.
DOI : 10.1007/s10626-009-0083-6
URL : https://hal.archives-ouvertes.fr/hal-00858689

. Komenda, Supervisory Control of (max,+) Automata : A Single Step Approach, European Control Conference (ECC'09), 2009.
URL : https://hal.archives-ouvertes.fr/hal-00858968

. Komenda, Commande supervisée des automates (max,+), Conférence Internationale Francophone d'Automatique, 2010.

. Komenda, Synchronous composition of interval weighted automata, International Workshop on Discrete Event Systems, 2010.
DOI : 10.3182/20100830-3-DE-4013.00053
URL : https://hal.archives-ouvertes.fr/hal-00857990

. Lahaye, ) algebra, International Journal of Production Research, vol.46, issue.19, pp.5337-5348, 2008.
DOI : 10.1109/TSE.1980.230492

. Lahaye, Linear Periodic Systems Over Dioids, Discrete Event Dynamic Systems, vol.14, issue.2, pp.133-152, 2004.
DOI : 10.1023/B:DISC.0000018568.03525.93
URL : https://hal.archives-ouvertes.fr/hal-00860640

. Lhommeau, Interval analysis and dioid: application to robust controller design for timed event graphs, Automatica, vol.40, issue.11, pp.1923-1930, 2004.
DOI : 10.1016/j.automatica.2004.05.013
URL : https://hal.archives-ouvertes.fr/hal-00518769

L. Libeaut, Sur l'utilisation des dio¨?desdio¨?des pour la commande des systèmes systèmesàsystèmesàévénements discrets, Thèse de doctorat, 1996.

S. Lombardy, S. Lombardy, and J. Sakarovitch, Sequential ? Theoretical Computer Science, pp.224-244, 2006.

. Lotito, A min-plus derivation of the fundamental car-traffic law, IEEE Transactions on Automatic Control, vol.50, issue.5, pp.699-705, 2005.
DOI : 10.1109/TAC.2005.848336

. Menguy, Just in time control of linear systems in dioid : cases of an update of reference input and uncontrollable input, IEEE Transaction on Automatic Control, vol.45, issue.11, pp.2155-2159, 2000.

P. Moller, Théorie algébrique des SystèmesSystèmesàSystèmesà´SystèmesàÉvénements Discrets, 1988.

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

. Ramadge, P. J. Wonham-]-ramadge, and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

C. Ramchandani, Analysis of asynchronous concurrent systems by timed Petri nets, 1973.

J. Rousseau, ContributionàContributionà la modélisation du trafic routier dans l'algèbre min-plus, Thèse de doctorat, 2010.

. Su, Using heaps-of-pieces in synthesis of time optimal supervisors, 2011 IEEE International Conference on Control Applications (CCA), 2009.
DOI : 10.1109/CCA.2011.6044447

H. Wong-toi, H. Wong-toi, and G. Hoffmann, The control of dense real-time discrete event systems, [1991] Proceedings of the 30th IEEE Conference on Decision and Control, 1995.
DOI : 10.1109/CDC.1991.261658

J. Komenda, S. Lahaye, and J. Boimond, Supervisory Control of (max,+) Automata: A Behavioral Approach, Discrete Event Dynamic Systems, vol.77, issue.11, 2009.
DOI : 10.1007/s10626-009-0083-6
URL : https://hal.archives-ouvertes.fr/hal-00858689

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