. Jusqu-'à-?r-?-s-4, 4.2.1 Réduction d'une région La réduction d'une région à stabiliser peut être réalisée de diverses façons selon les caractéristiques propres au système analysé. Le choix d'une méthode de réduction est très important an de garantir le succès dans un temps raisonnable de l

. Mettre-À-jour-le-contexte, Le nouveau contexte est : C = {c1} avec c1 = (r src1 ,r red ,r I1 ) avec r src1 = {I P = 0,h1 <= 0.3,h2 <= 0.09}, et r red généré par l'algorithme de réduction. Enn, r I1 = R 3 . C'est l'exigence d'une évolution de r src1 vers la nouvelle région stabilisée r red

X. Ho, A. Nicollin, J. Olivero, S. Sifakis, and . Yovine, The Algorithmic Analysis of Hybrid Systems, IEEE Transactions on Automatic Control, vol.43, p.540554, 1998.

R. Alur, T. Dang, and F. Ivancic, Counter-Example Guided Predicate Abstraction of Hybrid Systems, 2003.
DOI : 10.1007/3-540-36577-X_15

R. Alur, Y. Grosu, V. Hur, I. Kumar, and . Lee, Modular Specication of Hybrid Systems in Charon, Hybrid Systems, Computations and Control, p.619, 2000.

R. Alur, T. Dang, and F. Ivançic, Reachability Analysis of Hybrid Systems via Predicate Abstraction Hybrid Systems : Computation and Control, p.758819, 2002.

R. Alur and D. L. Dill, A Theory of Timed Automata, Theoretical Computer Science, vol.126, issue.2, p.183235, 1994.

G. J. Pappas, Discrete Abstractions of Hybrid Systems, Proceedings of the IEEE, p.971984, 2000.

K. Arnold, Embedded Controller Hardware Design, Newnes, 2001.

J. Askari-marnani, B. Heiming, and J. Lunze, Control Reconguration : The COSY benchmark problem and its solution by means of a qualitative model , Chapitre 21, European Science Foundation, 1999.

K. Aström, P. Albertos, M. Blanke, A. Isidori, W. Schaulelberger et al., Control of Complex systems, 2001.

M. Blanke, M. Kinnaert, J. Lunze, and M. Staroswiecki, Diagnosis and Fault-Tolerant Control, 2006.

M. Blanke, M. Staroswiecki, and N. E. Wu, Concepts and methods in fault-tolerant control, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148), p.26062620, 2001.
DOI : 10.1109/ACC.2001.946264

. Wonham, Formulas for Calculating Supremal Controllable and Normal Sublanguages . System and Control Letters, p.111117, 1990.

M. Stephen and B. , Studies in Hybrid Systems : Modeling, Analysis, and Control, 1995.

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

P. E. Caines and Y. Wei, Hierarchical hybrid control systems, IEEE Transactions on, vol.43, issue.4, p.501508, 1998.
DOI : 10.1007/BFb0036082
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.8875

A. Chutinan, Hybrid System Verication Using Discrete Model Approximations, 1999.

A. Chutinan, H. Bruce, and . Krogh, Computing polyhedral approximations to flow pipes for dynamic systems, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171), p.20892094, 1998.
DOI : 10.1109/CDC.1998.758642

A. Chutinan, H. Bruce, and . Krogh, Verification of infinite-state dynamic systems using approximate quotient transition systems, IEEE Transactions on Automatic Control, vol.46, issue.9, p.1401, 1410.
DOI : 10.1109/9.948467

E. Craye, Contribution au Contrôle/Commande de Systèmes Flexibles de Production Manufacturière . Habilitation à diriger les recherches, 1994.

T. Dang, Approximate Reachability Computation for Polynomial Systems Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, vol.3927, p.138152, 2006.

R. David and H. Alla, On Hybrid Petri Nets . Discrete Event Dynamic Systems, p.940, 2001.

J. Ganssle, The Art of Designing Embedded Systems, Newnes, 2008.

R. Goebel, J. Hespanha, A. R. Teel, C. Cai, and R. Sanfelice, Hybrid Systems : Generalized Solutions and Ro- Architecture pour la Reconguration des Systèmes Complexes bust Stability, IFAC Symposium on Nonlinear Control Systems, 2004.

J. K. Hedrick, M. Tomizuka, and P. Varaiya, Control issues in automated highway systems, IEEE Control Systems, vol.14, issue.6, p.32, 1994.
DOI : 10.1109/37.334412

M. R. Henzinger, T. A. Henzinger, and P. W. Kopke, Computing simulations on nite and innite graphs, Foundations of Computer Science, Annual IEEE Symposium, p.453, 1995.
DOI : 10.1109/sfcs.1995.492576
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.3591

T. A. Henzinger, P. Ho, and H. Wong-toi, Algorithmic analysis of nonlinear hybrid systems, IEEE Transactions on Automatic Control, vol.43, issue.4, p.540554, 1998.
DOI : 10.1109/9.664156
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.472.2783

A. Thomas and . Henzinger, Hybrid Automata with Finite Bisimulations, proceedings of the 22nd International Colloquium on Automata Languages and Programming (ICALP), p.324335, 1995.

A. Thomas and . Henzinger, The Theory of Hybrid Automata, LICS '96. Proceedings., Eleventh Annual IEEE, p.278292, 1996.

A. Thomas, J. Henzinger, and . Raskin, Robust Undecidability of Timed and Hybrid Systems, Proceedings of the International Workshop on Hybrid and Real-Time Systems, p.331345, 1999.

J. P. Hespanha and A. S. Morse, Stability of switched systems with average dwell-time, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304), p.26552660, 1999.
DOI : 10.1109/CDC.1999.831330

J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation, 1979.

R. Horowitz and P. Varaiya, Control design of an automated highway system, Proceedings of the IEEE, p.913925, 2000.
DOI : 10.1109/5.871301

A. Isidori, Nonlinear Control Systems, 1995.

Y. Kesten and A. Pnueli, Timed and Hybrid Statecharts and their textual representation, Vytopil, éditeur, Formal Techniques in Real-Time and Fault-Tolerant Systems 2nd International Symposium, p.591, 1992.
DOI : 10.1007/3-540-55092-5_32
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.8760

Y. Koren, U. Heisel, F. Jovane, T. Moriwaki, G. Pritschow et al., Recongurable Manufacturing System . A Keynote paper, CIRP annals, vol.48, issue.2, p.612, 1999.

X. D. Koutsoukos, P. J. Antsaklis, J. A. Stiver, and M. D. Lemmon, Supervisory control of hybrid systems, Proceedings of the IEEE, p.10261049, 2000.
DOI : 10.1109/5.871307

X. Koutsoukos, F. Zhao, H. Haussecker, J. Reich, and P. Cheung, Fault modeling for monitoring and diagnosis of sensor-rich hybrid systems, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), p.793801, 2001.
DOI : 10.1109/CDC.2001.980203

A. B. Kurzhanski, Ellipsoidal Techniques for Reachability Analysis Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, 1790.

G. Lafferriere, G. J. Pappas, and S. Sastry, Hybrid Systems with Finite Bisimulations, 1998.
DOI : 10.1007/3-540-49163-5_10

G. Lafferriere, G. J. Pappas, and S. Yovine, Decidable Hybrid Systems, 1998.

G. Lafferriere, G. J. Pappas, and S. Yovine, Symbolic Reachability Computation for Families of Linear Vector Fields, Journal of Symbolic Computation, vol.32, issue.3
DOI : 10.1006/jsco.2001.0472

E. Lee, Reconguration dynamique de la commande d'un système manufacturier : approche par la synthèse de la commande, 2006.

F. Lin, On Controllability and Observability of Discrete Event Systems, 1987.

F. Lin and W. M. Ramadge, On observability of discrete-event systems, Information Sciences, vol.44, issue.3, p.173198, 1988.
DOI : 10.1016/0020-0255(88)90001-1

L. Lorimier, La caractérisation dynamique des défaillances, Une nouvelle approche pour la gestion active des défaillances au sein des systèmes physiques industriels complexes, 2005.

J. Lygeros, K. H. Johansson, S. Sastry, and M. Egerstedt, On the existence of executions of hybrid automata . Decision and Control, Proceedings of the 38th IEEE Conference on, p.22492254, 1999.

J. Lygeros, N. Datta, M. Godbole, and . Broucke, A fault tolerant control architecture for automated highway systems, IEEE Transactions on Control Systems Technology, vol.8, issue.2, p.205219, 2000.
DOI : 10.1109/87.826792

J. Lygeros, K. H. Johansson, N. S. Slobodan, S. Zhang, and . Sastry, Dynamical properties of hybrid automata, IEEE Transactions on Automatic Control, vol.48, issue.1, p.217, 2003.
DOI : 10.1109/TAC.2002.806650

T. Moor and J. Raisch, Abstraction Based Supervisory Controller Synthesis for High Order Monotone Continuous Systems, p.246266, 2002.
DOI : 10.1007/3-540-45426-8_14

R. Murray, Nuclear Energy: An Introduction to the Concepts, Systems and Applications of Nuclear Processes, 2000.

N. Navet and F. Simonot-lion, Embedded Controller Hardware Design, Newnes, 2008.

A. Paoli, M. Sartini, and S. Lafortune, A fault tolerant architecture for supervisory control of discrete event systems, Proceedings of the 17th IFAC World Conference, pp.6542-6547, 2008.
DOI : 10.3182/20080706-5-KR-1001.01103

J. L. Peterson, Petri Net Theory and the Modeling of Systems, 1979.

G. Point, AltaRica : Contribution à l'unication des méthodes formelles et de la sûreté de fonctionnement, 2000.

A. Puri, P. Varaiya, and V. Borkar, Approximation of Dierential Inclusions, Proceedings of Hybrid Systems : Computation and Control, p.362376, 1996.

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, p.8198, 1989.
DOI : 10.1109/5.21072

J. P. Richard, Algèbre et Analyse pour l'Automatique. Hermes, 2001.

R. Sirdey, Modèles et algorithmes pour la reconguration des systèmes répartis utilisés en téléphonie cellulaire, 2007.

J. A. Stiver, P. J. Antsaklis, and M. D. Lemmon, Interface and controller design for hybrid control systems, Hybrid Systems II, p.462492, 1995.
DOI : 10.1007/3-540-60472-3_24

C. Stoiber, A. Baer, N. Pelzer, and W. Tonhauser, Handbook on Nuclear Law, International Atomic Energy Agency, 2003.

A. Tiwari and G. Khanna, Nonlinear Systems: Approximating Reach Sets, p.600614, 2004.
DOI : 10.1007/978-3-540-24743-2_40
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.141.1290

P. Varaiya, Smart cars on smart roads: problems of control, IEEE Transactions on Automatic Control, vol.38, issue.2, 1993.
DOI : 10.1109/9.250509

W. M. Wonham and P. J. Ramadge, On the supremal controllable sublanguage of a given language, Proceedings of the 23rd IEEE Conference on Decision and Control, p.10731080, 1984.

W. M. Wonham and P. J. Ramadge, Modular supervisory control of discrete-event systems, Mathematics of Control, Signals, and Systems, vol.25, issue.1, p.1330, 1988.
DOI : 10.1007/BF02551233

S. Hashtrudi-zad, R. H. Kwong, and W. M. Wonham, Fault diagnosis in nite-state automata and timed discrete-event systems, 38th IEEE Conference on Decision and Control, 1999.

J. Zaytoon, Systèmes dynamiques hybrides. hermes-sciences, 2001.

H. Zhong, Hierarchical Control of Discrete Event Systems, 1992.

R. Zurawski, Embedded Systems Handbook. CRC, 1 édition, 2005.

G. Zwingelstein, Diagnostic des défaillances, théorie et pratique pour les systémes industriels. éditions Hermes, 1995.