=. {18? and ?. , 8? x 1 ?27.45; x 2 =0}? pas de réduction de l'intervalle de commande? l

. En and . Qu, il y a deux types de consommation à partir du sommet (q 1 ) qu'on aurait pu absorber en mettant un flux =[2, 4] dans le sommet (q 2 ), comme dans la première configuration, mais ce serait moins précis. On préfère alors diviser l'état en réduisant l

M. Allam and H. Alla, « From hybrid petri nets to hybrid automata, Journal européen des systèmes automatisés, pp.9-10, 1996.

M. Allam, Sur l'analyse quantitative des RdP hybrides : une approche basée sur les automates hybrides, 1998.

K. Altisen, G. Gößler, A. Pnueli, J. Sifakis, S. Tripakis et al., A framework for scheduler synthesis, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), pp.154-163, 1999.
DOI : 10.1109/REAL.1999.818838

K. Altisen, S. Et, and . Tripakis, « On-the-Fly Controller Synthesis for Discrete and Dense- Time Systems, Congress on Formal Methods (FM'99), pp.233-252, 1999.

K. Altisen, S. Et, and . Tripakis, « Tools for Controller Synthesis of Timed Systems, Proceedings of the 2 nd Workshop on Real-Time Tools (RT-TOOLS'02) Proc, 2002.

R. Alur, A theory of timed automata, Timed automata, pp.183-235, 1999.
DOI : 10.1016/0304-3975(94)90010-8

R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. Ho et al., The algorithmic analysis of hybrid systems, The algorithmic analysis of hybrid systems, pp.3-34, 1995.
DOI : 10.1016/0304-3975(94)00202-T

R. Alur, C. Courcoubetis, T. A. Henzinger, and P. Ho, Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems, Hybrid Systems, pp.209-229, 1993.
DOI : 10.1007/3-540-57318-6_30

R. Alur, D. L. Et, and . 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

R. Alur, T. Dang, and F. Ivancic, Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction, dans Hybrid Systems: Computation and Control, pp.4-19, 2003.
DOI : 10.1007/3-540-36580-X_4

E. Asarin, O. Et, and . Maler, As Soon as Possible: Time Optimal Control for Timed Automata, dans Hybrid Systems: Computation and Control HSCC'99, pp.19-30, 1999.
DOI : 10.1007/3-540-48983-5_6

E. Badouel, P. Darondeau, and L. Bernardinello, Polynomial algorithms for the synthesis of bounded nets, dans Proceedings Caap 95, pp.364-378, 1994.
DOI : 10.1007/3-540-59293-8_207
URL : https://hal.archives-ouvertes.fr/inria-00074358

S. Batis and H. Alla, Timed control for rectangular hybrid systems, Proceedings of the 14 th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'12, pp.375-380, 2012.
DOI : 10.3182/20120523-3-RO-2023.00037
URL : https://hal.archives-ouvertes.fr/hal-00744428

S. Batis and H. Alla, Maximal Permissive Timed Control for a Class of Hybrid Systems, dans Proceedings of the 11 th Workshop on Discrete Event Systems, WODES'12, pp.157-162, 2012.
DOI : 10.3182/20121003-3-MX-4033.00027
URL : https://hal.archives-ouvertes.fr/hal-00744441

S. Batis and H. Alla, 2013a, «Control of a class of hybrid systems Application to a water supply system, dans Proceedings of the 10 th IEEE International Conference on Networking, Sensing and Control, ICNSC'13

S. Batis and H. Alla, «Controller Synthesis for a Class of Hybrid Systems », 12 th biannual European Control Conference, p.13, 2013.

S. Batis and H. Alla, 2013c, «Controller Synthesis for a Class of Hybrid Systems, European Journal of Control (EJC)

A. Bemporard and M. Morari, « Control of systems integrating logic, dynamics, and constraints, Automatica, vol.35, pp.3-407, 1999.

B. Berthomieu, M. Et, and . 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

B. Brandin and W. M. Wonham, « Supervisory control of timed discrete event systems, IEEE Transactions on Automatic Control, vol.39, pp.2-329, 1994.

M. S. Branicky, Multiple Lyapunov functions and other analysis tools for switched and hybrid systems, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.475-482, 1998.
DOI : 10.1109/9.664150

R. Brockett, « Hybrid models for motion control systems », Essays in Control: Perspectives in the Theory and its Applications, pp.29-53, 1993.

C. Cassandras, S. Et, and . Lafortune, Introduction to Discrete Event Systems, 2008.

F. Cassez and O. H. Roux, Structural translation from Time Petri Nets to Timed Automata, Journal of Systems and Software, vol.79, issue.10, pp.1456-1468, 2006.
DOI : 10.1016/j.jss.2005.12.021
URL : https://hal.archives-ouvertes.fr/hal-00139236

F. Cassez, A. David, E. Fleury, K. G. Larsen, and D. Lime, Efficient On-the-Fly Algorithms for the Analysis of Timed Games, Proceedings of the 16 th International Conference on Concurrency Theory (CONCUR'2005), Lecture Note in Computer Science, pp.66-80, 2005.
DOI : 10.1007/11539452_9
URL : https://hal.archives-ouvertes.fr/hal-00350475

Y. Chen, G. Et, and . Provan, « Modeling and diagnosis of timed discrete event systems-a fatory automation example », dans The American Control Conference, pp.31-36, 1997.

T. Dang, Vérification et synthèse des systèmes hybrides, 2000.

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

D. Alfaro, L. , T. A. Henzinger, and R. Majumdar, Symbolic Algorithms for Infinite-State Games, Proceedings of the 12 th International Conference on Concurrency Theory (CONCUR'01), pp.536-550, 2001.
DOI : 10.1007/3-540-44685-0_36

D. Alfaro, L. , M. Faëlla, T. A. Henzinger, R. Majumdar et al., The Element of Surprise in Timed Games, Proceedings of the 14 th International Conference on Concurrency Theory (CONCUR'01), pp.142-156, 2003.
DOI : 10.1007/978-3-540-45187-7_9

H. Derbel, Diagnostic à base de modèles des systèmes temporisés et d'une sous-classe des systèmes dynamiques hybrides, 2009.

G. Frehse, « Phaver: Algorithmic verification of hybrid systems past hytech», Proceedings of the 5 th International Workshop on Hybrid Systems: Computation and Control, pp.258-273, 2005.

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

A. Ghaffari, N. Rezg, and X. Xie, Design of a live and maximally permissive petri net controller using the theory of regions, IEEE Transactions on Robotics and Automation, vol.19, issue.1, pp.1-137, 2003.
DOI : 10.1109/TRA.2002.807555

J. Gilbert and . Ch, Ensembles convexes, Eléments d'optimisation différenciable : Théorie et Algorithmes, pp.13-45, 2007.

A. Giua, F. Dicesare, and M. Silva, « Generalized mutual exclusion constraints on nets with uncontrollable transitions, dans Proceedings IEEE International Conference on Systems, Manufacturing and Cybernetics, pp.974-279, 1992.
DOI : 10.1109/icsmc.1992.271666

A. Giua and E. Usai, High-level hybrid Petri nets: a definition, Proceedings of 35th IEEE Conference on Decision and Control, pp.148-150, 1996.
DOI : 10.1109/CDC.1996.574277

H. Guéguen, J. Et, and . Zaytoon, On the formal verification of hybrid systems, Control Engineering Practice, vol.12, issue.10, pp.1253-1267, 2004.
DOI : 10.1016/j.conengprac.2004.03.015

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

T. A. Henzinger, B. Horowitz, and R. Majumdar, Rectangular Hybrid Games, Rectangular hybrid games », dans Proceedings of the Tenth International Conference on Concurrency Theory, pp.320-335, 1999.
DOI : 10.1007/3-540-48320-9_23
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.2

T. Henzinger, P. Et, and . Kopke, Discrete-time control for rectangular hybrid automata, Theoretical Computer Science, vol.221, issue.1-2, pp.369-392, 1999.
DOI : 10.1016/S0304-3975(99)00038-9

T. Henzinger, P. Kopke, A. Puri, and P. Varaiya, What's Decidable about Hybrid Automata?, Journal of Computer and System Sciences, vol.57, issue.1, pp.94-124, 1998.
DOI : 10.1006/jcss.1998.1581
URL : http://doi.org/10.1006/jcss.1998.1581

T. A. Henzinger, P. H. Ho, and H. W. Toi, « Hytech : A model checker for hybrid systems, International Journal on on Software Tools for Technology Transfer, vol.1, pp.1-2, 1997.
DOI : 10.1007/3-540-63166-6_48
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.2086

T. A. Henzinger and R. Majumdar, « Symbolic model checking for rectangular hybrid systems », dans TACAS 2000: Tools and algorithms for the construction and analysis of systems, Lecture Notes in Computer Science, pp.142-156, 2000.

L. Holloway, B. Et, and . Krogh, Synthesis of feedback control logic for a class of controlled Petri nets, IEEE Transactions on Automatic Control, vol.35, issue.5, pp.5-514, 1990.
DOI : 10.1109/9.53517

J. Hopcroft, R. Motwani, and J. Ullman, Introduction to Automata Theory, Languages and Computation, 2007.
DOI : 10.1145/568438.568455

M. Iodarche, J. Moody, and P. Antsaklis, « A method for the synthesis of liveness enforcing supervisors in Petri nets, dans Proceedings IEEE American Control Conference, pp.4943-4948, 2001.

P. W. Kopke, The Theory of Rectangular Hybrid Automata, 1996.

M. Kurovszky, Etude des systèmes dynamiques hybrides par représentation d'état discrète et automate hybride, thèse de doctorat, L'université Joseph Fourier, 2002.

J. Lygeros, D. N. Godbole, and S. Sastry, Multiagent hybrid system design using game theory and optimal control, Proceedings of 35th IEEE Conference on Decision and Control, pp.1190-1195, 1996.
DOI : 10.1109/CDC.1996.572647
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.6616

J. Lygeros, D. N. Godbole, and S. Sastry, Verified hybrid controllers for automated vehicles, Verified hybrid controllers for automated vehicules, pp.522-539, 1998.
DOI : 10.1109/9.664155
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.3834

J. Lygeros, C. Tomlin, and S. Sastry, Controllers for reachability specifications for hybrid systems, Controllers for reachability specifications for hybrid systems, pp.349-370, 1999.
DOI : 10.1016/S0005-1098(98)00193-9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.2842

O. Maler, A. Pnueli, and J. Sifakis, On the synthesis of discrete controllers for timed systems, Proc. 12 th Symp. On Theoretical Aspects of Computer Science (STACS'95), pp.229-242, 1995.
DOI : 10.1007/3-540-59042-0_76

P. Manon, C. Et, and . Valentin-roubinet, « Synthesis of a trajectory to nominal mode for a class of hybrid dynamical systems, pp.995-1014, 1999.

P. Manon, C. Et, and . Valentin-roubinet, Controller synthesis for hybrid systems with linear vector fields, Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014), 1999.
DOI : 10.1109/ISIC.1999.796623

M. Mendler, G. Et, and . Lüttgen, « Statecharts: from visual syntax to model-theoretic semantics », dans Workshop on Integrating Diagrammatic and Formal Specification Techniques, pp.615-621, 2001.

P. M. Merlin, A study of the recoverability of computing systems, 1974.

J. Moody, P. Et, and . Antsaklis, Supervisory Control of Discrete Event Systems Using Petri Nets, 1998.
DOI : 10.1007/978-1-4615-5711-1

J. Moody, P. Et, and . Antsaklis, Petri net supervisors for DES with uncontrollable and unobservable transitions, IEEE Transactions on Automatic Control, vol.45, issue.3, pp.3-462, 2000.
DOI : 10.1109/9.847725

P. J. Mosterman, Hybrid Dynamic Systems, 1997.
DOI : 10.1201/9781420010855.ch15

O. Müller, T. Et, and . Stauner, Modelling and Verification using Linear Hybrid Automata -- a Case Study, Mathematical and Computer Modelling of Dynamical Systems, vol.6, issue.1, pp.171-89, 2000.
DOI : 10.1076/1387-3954(200003)6:1;1-Q;FT071

T. Murata, Petri nets: Properties, analysis and applications, dans Proceedings of the IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143

A. Olivero, Modélisation et analyse des systèmes temporisés et hybrides, Thèse de doctorat, 1994.

S. Pettersson, B. Et, and . Lennartson, « Time-optimal control and disturbance compensation for a class of hybrid systems, Proceedings of IFAC'96, 1996.

A. Philippot, Contribution au diagnostic décentralisé des systèmes à événements discrets : Application aux systèmes manufacturiers, 2006.

A. Pnueli and R. Rosner, On the synthesis of a reactive module, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '89, pp.179-190, 1989.
DOI : 10.1145/75277.75293

A. Puri, V. Borkar, and P. Varaiya, ??-Approximation of differential inclusions, Proceedings of Hybrid Systems III Workshop: Verification and Control, pp.362-376, 1996.
DOI : 10.1007/BFb0020960

P. Ramadge, W. Et, and . Wonham, « On the supremal controllable sublanguage of a given language, SIAM J. Control Optim, vol.25, pp.3-637, 1987.

P. Ramadge, W. Et, and . Wonham, «Supervisory control of a class of discrete event processes, SIAM J. Control Optim, vol.25, pp.1-206, 1987.

M. Sampath, S. Lafortune, and D. Teneketzis, « Active diagnosis of discrete-event systems, IEEE Transactions on Automatic Control, vol.43, pp.7-908, 1998.

A. T. Sava and H. Alla, « Commande par supervision des systèmes à événements discrets temporisés », Modélisation des systèmes réactifs, MSR'01, pp.71-86, 2001.

A. Sava, Sur la synthèse de la commande des systèmes à événements discrets temporisés, thèse de doctorat, Département d'Automatique de Gipsa-lab, 2002.

R. Sreenivas, B. Et, and . Krogh, On Petri net models of infinite state supervisors, IEEE Transactions on Automatic Control, vol.37, issue.2, pp.2-274, 1992.
DOI : 10.1109/9.121634

J. A. Stiver and P. J. Antsaklis, On the controllability of hybrid control systems, Proceedings of 32nd IEEE Conference on Decision and Control, 1993.
DOI : 10.1109/CDC.1993.325143

M. Tittus, Control synthesis for batch processes, Rapport technique n° 280, 1995.

M. Tittus, B. Et, and . Edgart, Control design for integrator hybrid systems, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.491-500, 1998.
DOI : 10.1109/9.664152

C. Tomlin, Hybrid Control of Air Traffic Management Systems, 1998.

C. Tomlin, G. J. Pappas, and S. Sastry, Conflict resolution for air traffic management: a study in multiagent hybrid systems, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.509-521, 1998.
DOI : 10.1109/9.664154

M. Uzam, W. Et, and . Wonham, A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets, The International Journal of Advanced Manufacturing Technology, vol.28, issue.7-8, pp.7-8, 2006.
DOI : 10.1007/s00170-004-2426-7

A. I. Vasiliu, Synthèse de contrôleurs des systèmes à événements discrets basée sur les réseaux de Petri, Thèse de doctorat, 2012.

H. S. Witsenhausen, A class of hybrid-state continuous-time dynamic systems, IEEE Transactions on Automatic Control, vol.11, issue.2, pp.161-167, 1966.
DOI : 10.1109/TAC.1966.1098336

H. Wong-toi, The synthesis of controllers for linear hybrid automata, Proceedings of the 36th IEEE Conference on Decision and Control, pp.4607-4612, 1997.
DOI : 10.1109/CDC.1997.649708

L. Wu, M. Et, and . Zhou, « Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems, IEEE Transactions on Systems, Manufacturing and Cybernetics, vol.34, pp.1-38, 2004.

K. Yamalidou, J. Moody, M. Lemmon, and P. Anstsaklis, Feedback control of petri nets based on place invariants, Automatica, vol.32, issue.1, pp.15-28, 1996.
DOI : 10.1016/0005-1098(95)00103-4

S. Yovine, Méthodes et outils pour la vérification symbolique des systèmes temporisés, Thèse de doctorat, 1993.

S. Yovine, Model checking timed automata, Model checking timed automata », dans Lectures on Embedded Systems, pp.114-152, 1998.
DOI : 10.1007/3-540-65193-4_20