8? x 1 ?27.45; x 2 =0}? pas de réduction de l'intervalle de commande? l ,
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 ,
« From hybrid petri nets to hybrid automata, Journal européen des systèmes automatisés, pp.9-10, 1996. ,
Sur l'analyse quantitative des RdP hybrides : une approche basée sur les automates hybrides, 1998. ,
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
« On-the-Fly Controller Synthesis for Discrete and Dense- Time Systems, Congress on Formal Methods (FM'99), pp.233-252, 1999. ,
« Tools for Controller Synthesis of Timed Systems, Proceedings of the 2 nd Workshop on Real-Time Tools (RT-TOOLS'02) Proc, 2002. ,
A theory of timed automata, Timed automata, pp.183-235, 1999. ,
DOI : 10.1016/0304-3975(94)90010-8
The algorithmic analysis of hybrid systems, The algorithmic analysis of hybrid systems, pp.3-34, 1995. ,
DOI : 10.1016/0304-3975(94)00202-T
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
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
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
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
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
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
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
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 ,
«Controller Synthesis for a Class of Hybrid Systems », 12 th biannual European Control Conference, p.13, 2013. ,
2013c, «Controller Synthesis for a Class of Hybrid Systems, European Journal of Control (EJC) ,
« Control of systems integrating logic, dynamics, and constraints, Automatica, vol.35, pp.3-407, 1999. ,
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
« Supervisory control of timed discrete event systems, IEEE Transactions on Automatic Control, vol.39, pp.2-329, 1994. ,
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
« Hybrid models for motion control systems », Essays in Control: Perspectives in the Theory and its Applications, pp.29-53, 1993. ,
Introduction to Discrete Event Systems, 2008. ,
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
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
« Modeling and diagnosis of timed discrete event systems-a fatory automation example », dans The American Control Conference, pp.31-36, 1997. ,
Vérification et synthèse des systèmes hybrides, 2000. ,
Du Grafcet aux réseaux de Petri, 1989. ,
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
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
Diagnostic à base de modèles des systèmes temporisés et d'une sous-classe des systèmes dynamiques hybrides, 2009. ,
« 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. ,
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
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
Ensembles convexes, Eléments d'optimisation différenciable : Théorie et Algorithmes, pp.13-45, 2007. ,
« 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
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
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
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
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
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
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
« 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
« 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. ,
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
Introduction to Automata Theory, Languages and Computation, 2007. ,
DOI : 10.1145/568438.568455
« A method for the synthesis of liveness enforcing supervisors in Petri nets, dans Proceedings IEEE American Control Conference, pp.4943-4948, 2001. ,
The Theory of Rectangular Hybrid Automata, 1996. ,
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. ,
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
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
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
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
« Synthesis of a trajectory to nominal mode for a class of hybrid dynamical systems, pp.995-1014, 1999. ,
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
« Statecharts: from visual syntax to model-theoretic semantics », dans Workshop on Integrating Diagrammatic and Formal Specification Techniques, pp.615-621, 2001. ,
A study of the recoverability of computing systems, 1974. ,
Supervisory Control of Discrete Event Systems Using Petri Nets, 1998. ,
DOI : 10.1007/978-1-4615-5711-1
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
Hybrid Dynamic Systems, 1997. ,
DOI : 10.1201/9781420010855.ch15
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
Petri nets: Properties, analysis and applications, dans Proceedings of the IEEE, pp.541-580, 1989. ,
DOI : 10.1109/5.24143
Modélisation et analyse des systèmes temporisés et hybrides, Thèse de doctorat, 1994. ,
« Time-optimal control and disturbance compensation for a class of hybrid systems, Proceedings of IFAC'96, 1996. ,
Contribution au diagnostic décentralisé des systèmes à événements discrets : Application aux systèmes manufacturiers, 2006. ,
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
??-Approximation of differential inclusions, Proceedings of Hybrid Systems III Workshop: Verification and Control, pp.362-376, 1996. ,
DOI : 10.1007/BFb0020960
« On the supremal controllable sublanguage of a given language, SIAM J. Control Optim, vol.25, pp.3-637, 1987. ,
«Supervisory control of a class of discrete event processes, SIAM J. Control Optim, vol.25, pp.1-206, 1987. ,
« Active diagnosis of discrete-event systems, IEEE Transactions on Automatic Control, vol.43, pp.7-908, 1998. ,
« Commande par supervision des systèmes à événements discrets temporisés », Modélisation des systèmes réactifs, MSR'01, pp.71-86, 2001. ,
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. ,
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
On the controllability of hybrid control systems, Proceedings of 32nd IEEE Conference on Decision and Control, 1993. ,
DOI : 10.1109/CDC.1993.325143
Control synthesis for batch processes, Rapport technique n° 280, 1995. ,
Control design for integrator hybrid systems, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.491-500, 1998. ,
DOI : 10.1109/9.664152
Hybrid Control of Air Traffic Management Systems, 1998. ,
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
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
Synthèse de contrôleurs des systèmes à événements discrets basée sur les réseaux de Petri, Thèse de doctorat, 2012. ,
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
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
« 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. ,
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
Méthodes et outils pour la vérification symbolique des systèmes temporisés, Thèse de doctorat, 1993. ,
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