R. Abbou, Z. Simeu-abazi, D. Mascolo, and M. , Les réseaux de Petri pour la modélisation et l'analyse des performances d'un atelier de maintenance, Modélisation et simulation, pp.23-25, 2003.

H. Alla, L. B. Cavaillej, . Bailj, and G. Bel, Les systèmes de production par lot: une approche discretcontinuutilisant les réseaux de Petri hybrides, Automation of Mixed Processes (ADPM 92) Janvier, 1992.

H. Alla, Les réseaux de Petri: un outil particulièrement adapté à la modélisation des systèmeshybrides, pp.17-25, 1994.

B. A. Allan, A More Reusable Modeling System, 1997.

R. Alur, . Courcoubetis-c, N. Halbwachs, T. A. Henzinger, P. H. Ho et al., The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995.
DOI : 10.1016/0304-3975(94)00202-T

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

. Aguilar-martin-j and . Waissman-vilanova-j, Sarrate-Estruch r., et Dahou b. Knowledge based measurement fusion in bio-reactors, IEEE EMTECH, 1999.

J. Aguilar-martin, M. Balssa, M. Lopez, D. Mantaras, and R. , Estimation récursive d'une partition. Exemples d'apprentissage et auto- apprentissage dans R n et I n, 1980.

J. Aguilar-martin, R. Lopez, and D. Mantaras, The process of classification and learning the meaning of linguistic descriptors of concepts

M. Andersson, Omola and Omsim tutorial and user's manual, 1995.

J. C. Atine, «Méthodes d'apprentissage floue : Application à la segmentation d'mages biologiques», Thèse de doctorat Institut National des Sciences Appliquées, 2005.

J. P. Belaud and M. Pons, Open Software Architecture For Process Simulation: The Current Status of CAPE-OPEN Standard, European Symposium of Computer Aided Process Engineering (ESCAPE12), pp.26-29, 2002.
DOI : 10.1016/S1570-7946(02)80169-9

B. Berthomieu and M. Menasche, An Enumerative Approach for Analyzing Time Petri Nets, IFIP Congress Series, vol.9, pp.41-46, 1983.

. Blanke, Diagnosis and Fault-Tolerant Control, 2003.

. Bousson, From a rule-based to a predictive qualitative model-based approach using automated model generation, Engineering Applications of Artificial Intelligence, vol.11, issue.4, pp.477-493, 1998.
DOI : 10.1016/S0952-1976(98)00018-9

. Branicky and M. S. Branicky, Studies in hybrid systems: Modeling, Analysis and Control, 1995.

. Branicky, M. S. Branicky, and S. E. Matison, Simulation of hybrid systems, LNCS, vol.1273, p.3456, 1997.
DOI : 10.1007/BFb0031554

K. Brenan, S. Campbell, and L. Petzold, Numerical Solutions of Initial-Value Problems in Differential-Algebraic Equations, 1989.
DOI : 10.1137/1.9781611971224

P. Caradec, M. Caradec, and F. Prunet, Modélisation des systèmes hybrides flexibles et prise en compte des phénomènes d'accumulation, Automation ofMixed Processes (ADPM 98, pp.86-93, 1920.

. Champagnat, Modélisation des systèmes de production discontinue: proposition d'un modèle pour la supervision, Rapport LAAS N°97524, Journal Européen des Systèmes Automatisés, vol.32, pp.5-6725, 1998.

. Champagnat, A gas storage example as a benchmark for hybrid modelling, pp.9-10, 1998.

. Chantler, Selecting tools and techniques for model-based diagnosis, Artificial Intelligence in Engineering, vol.12, issue.1-2, pp.81-98, 1998.
DOI : 10.1016/S0954-1810(97)00007-1

. Chem, C. Projet, and . Surcordier, AI and Automatic Control Approaches of Model-Based Diagnosis: Links and Underlying Hypotheses, th IFAC Symposium on Fault Detection Supervision and Safety for Technical Processes (SAFEPROCESS'2000), Budapest (Hongrie), pp.274-279, 2000.

. Dash, Fuzzy-logic based trend classification for fault diagnosis of chemical processes, Computers & Chemical Engineering, vol.27, issue.3, pp.347-362, 2003.
DOI : 10.1016/S0098-1354(02)00214-4

B. Daubas, A. Pagès, and H. Pingaud, Combined simulation of hybrid processes, Proceedings of IEEE International Conference on Systems, Man and Cybernetics, pp.320-325, 1994.
DOI : 10.1109/ICSMC.1994.399858

R. David and H. Alla, Continuous Petri Nets, 8th European Workshop on Applications and Theory of Petri Nets, 1987.

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

R. David and H. Alla, Petri Nets for Modeling of Dynamic Systems -a Survey, 1994.

R. David, Modeling ofDynamic Systems by Petri Nets, European Control Conference, p.136147, 1991.

P. Desroches, Syclare : Système de classification avec apprentissage et reconnaissance des formes. Manuel d'utilisation, 1987.

. Demongodin, Batches Petri nets, Proceedings of IEEE Systems Man and Cybernetics Conference, SMC, pp.607-617, 1993.
DOI : 10.1109/ICSMC.1993.384811
URL : https://hal.archives-ouvertes.fr/hal-01479637

. Demongodin, Fundamental Concepts ofAnalysis ofBatches Petri Nets, IEEE Internationale Conference on Systems, Man, and Cybernetics, pp.845-50, 1998.

. Demongodin-1 and S. Rouibia, Modélisation par réseaux de Petri lots et analyse de l'état stable par automates hybrides, Modélisation et simulation, pp.23-25, 2003.

H. Elmqvist, F. Boudaud, and J. Broenink, Modelica -A Unified Object- Oriented Language forPhysical Systems Modeling

S. Engell, Modelling and analysis ofhybrid systems, p.1731, 1997.

&. Fanni, . A. Giua, A. Fanni, and . Giua, Discret Event Representation of Qualitative Models Using Petri Nets, IEEE Transactions on Systems, Man and Cybernetics ? Part B, Cybernetics, vol.28, 1998.

G. Florin and S. Natkin, Les Réseaux de Petri Stochastiques, Technique et Science Informatiques, pp.143-160, 1985.

G. Florin, . Fraize-c, and S. Natkin, Stochastic Petri nets: Properties, applications and tools, Microelectronics Reliability, vol.31, issue.4, pp.669-697, 1991.
DOI : 10.1016/0026-2714(91)90009-V

H. Foche, B. Trannoy, and J. Faucher, «Complete simulation of a static converterby digital and analogue methods, lrst lFAC Symposium on Control of PowerElectronics and Electrical Drives, pp.363-373, 1974.

B. Frank and . Köppen-seliger, NewDevelopmentsUsing AI in Fault Diagnosis, Engng Applic, Artif. Intell, vol.10, issue.1, pp.3-14, 1997.

M. Galindo and J. Aguilar-martin, « Interpretación secuencial de encuestas con aprendizaje LAMDA, Aplicación al diagnóstico en psicopatología " IBERAMIA'02-Iberoamerican Conference on Artificial Intelligence, 2002.

R. Gani and B. L. Braunschweig, Software architectures and tools for computer aided process Engineering, pp.0-444, 2002.

C. W. Gear, The Simultaneous Numerical Solution of Differential- Algebraic Equations, IEEETransaction on Corcuit Theory, CT, vol.18, issue.1

. Gehin, Structural Analysis of System Reconfigurability, th IFAC Symposium on Fault Detection. Supervision and Safety for Technical Processes (SAFEPROCESS2000) Budapest, Hungary, pp.292-297, 2000.

H. Guéguen and M. A. Lefebvre, A comparison of mixed specification formalisms, JournalEuropéen des Systèmes Automatises (APII JESA), vol.35, pp.4381-394, 2001.

F. Ibrahim, Vers un outil de simulation d'un processus dynamique hybride et de sa commande, Thèse de doctorat de l'INPL, 1993.

C. Iun and J. P. Louis, «A digital simulation for sorne processes fed by AC.DC converters », Simulation ofSystems, Deckker L. (dir, pp.805-813, 1976.

C. Isaza-narvaez, J. Aguilar-martin, M. V. Le-lann, J. Aguilar, and A. , Rios Bolivar An optimization method for the data space partition obtained by classification techniques for the monitoring of dynamic processes 9èmes Congrès International de l'Association Catalane d'Intelligence Artificielle (CCIA'06), pp.26-27, 2006.

C. I. Saza-narvaez, E. Diez-lledo, H. Hernandez-de-leon, J. Aguilar-martin, and M. V. , Le lann New decision method for functional states validation in a drinking water plant monitoring 10 th, Computer Applications in Biothechnology, DYCOPS/CAB, pp.6-8, 2007.

J. , P. Jarvis, R. B. Pantelides, and C. C. , DASOLV a diferential algebraic equation solver, 1992.

L. Jourda, Composants Logiciels Orientés Objetspour la Modélisation et la Simulation des Procédés Chimiques, Thèse de doctorat

L. Jourda, X. Joulia, and B. Koehret, Introducing ATOM, the Applied Thermodynamic Object Model, Computers and Chemical Engineering, pp.157-164, 1996.

P. Kesten, Y. Kesten, and A. Pnueli, Timed and Hybrid Statecharts and their textual representation, Lecture Notes in Computer ScienceLNCS), vol.571, 1992.
DOI : 10.1007/3-540-55092-5_32

. Hélias, Abastracting Continuous System Behaviours into Timed Automata: Application to Diagnosis of an Anaerobic Digestion Process, International Workshop on Principles and Diagnosis, 2004.

. Heim, FCC Diagnosis Using Several Causal and Knowledge based Models, 5th IFAC Symposium on Fault Detection. Supervision and Safety for Technical Processes (SAFEPROCESS-2003), 2003.

H. Hernandez, Supervision et diagnostic des procédés de production d'eau potable, Thèse de Doctorat, Institut National des Sciences Appliquées, 2006.

&. Iwasaki and . Simon, Causality in device behavior, Artificial Intelligence, vol.29, issue.1, pp.3-33, 1986.
DOI : 10.1016/0004-3702(86)90089-5

. Kempowsky and T. Kempowsky, SALSA user's manual. Rapport LAAS-CNRS no, 2004.

. Kleer, Characterizing diagnoses and systems, Artificial Intelligence, vol.56, issue.2-3, pp.197-222, 1992.
DOI : 10.1016/0004-3702(92)90027-U

L. Bail, Hybrid Petri Nets, European Control Conference, pp.1472-1477, 1991.

L. Bail, Asymptotic continuous Petri nets, Discrete Event Dynamic Systems, vol.16, issue.3-4, pp.235-263, 1993.
DOI : 10.1007/BF01797160

L. Lann and J. M. , Habilitation à diriger des recherche , INP, Toulouse (france) [Lunze, 98 Qualitative modelling of dynamical systems Motivation, methods and prospective applications, Mathematics and Computers in Simulation, vol.46, pp.465-483, 1998.

J. F. Macgregor and T. Kourti, Statistical process control of multivariate processes, Control Engineering Practice, vol.3, issue.3, pp.403-414, 1995.
DOI : 10.1016/0967-0661(95)00014-L

D. Mardon, Modélisation Numérique et Simulation Orientée Objet d'une Usine de RetraitementNucléaire, Thèse de doctorat, 1989.

M. A. Marsan, Stochastic Petri nets: An elementary introduction, Lecture Notes in Computer Science, vol.424, pp.1-29, 1989.
DOI : 10.1007/3-540-52494-0_23

P. M. Merlin and A. Segall, Recoverability of Communication Protocols--Implications of a Theoretical Study, IEEE Transactions on Communications, vol.24, issue.9, 1976.
DOI : 10.1109/TCOM.1976.1093424

. Mokhtari, A fault diagnosis approach for hybrid systems,32 nd Annual Conference of the, 2006.

. Mokhtari, A fault diagnosis approach using ODPN simulation for hydraulic systems EMSS European Modeling and Simulation Symposium 4- 6 octobre, Diagnostic à base de modèle des systèmes dynamiques hybrides, SIMO 06 Systèmes d'Information, Modélisation, Optimisation et Commande en génie des procédés 11-12 octobre, 2006.

C. Moler, Are we there yet? Zero crossing and event handling for differential equations,Simulink 2 special edition, pp.16-17

. J. Mosterman and . Mosterman, Diagnosis of Physical Systems With Hybrid Models Using Parameterised Causality, Proceedings of Hybrid Systems: Computation and Control, 4th International Workshop (HSCC01), pp.447-458, 2001.

&. Mosterman, . J. Biswas, G. Mosterman, and . Biswas, Diagnosis of continuous valued systems in transient operating regions, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.29, issue.6, pp.554-565, 1999.
DOI : 10.1109/3468.798059

J. Pascal, Habilitation à Diriger les Recherches

J. Perret, Intégration des Réseaux de Petri Différentiels à Objets dans uneplateforme de simulation dynamique hybride : application aux procédés industriels, Thèse de Doctorat, 2003.

N. Piera and J. Aguilar-martin, Controlling selectivity in non-standard pattern recognition algorithms, IEEE transactions on systems, man and cybernetics, vol.21, issue.1, 1991.

&. Pons, ]. R. Través-massuyès, L. Pons, and . Través-massuyès, Causal Ordering for multiple mode system, 11 th International Workshop on Qualitative Reasoning, p.11, 1997.

C. Ramchandani, Analysis ofAsynchronous Concurrent Systems by Timed Petri Nets, 1974.

J. L. Recht, Failure Mode and Efect, National SafetyCouncil, 1966.

. R. Reiter and . Reiter, A theory of diagnosis from first principles, Artificial Intelligence, vol.32, issue.1, pp.57-95, 1987.
DOI : 10.1016/0004-3702(87)90062-2

J. Sifakis, Use of Petri Nets for Performance Evaluation, Measuring, Modelling and EvaluatingComputer Systems, pp.75-93, 1977.

R. Toscano, Commande et diagnostic des systèmes dynamiques: Modélisation, analyse, commande par PID et par retour d'état, diagnostic. Ellipses édition Marketing, 2005.

. Travé-massuyès, Le Raisonnement qualitatif pour les sciences de l'ingénieur, Editions Hermes, vol.97, 1997.

C. Valentin-roubinet, Modelling ofhybrid systems: DAE supervised by Petri nets, the exampleof a gaz storage, pp.142-149, 1920.

R. Valette, Notes de cours: Les réseaux de Petri, INSA, 2002.

. Venkatasubramanian, A review of process fault detection and diagnosis, Computers & Chemical Engineering, vol.27, issue.3, pp.293-311, 2003.
DOI : 10.1016/S0098-1354(02)00160-6

. Venkatasubramanian, A review of process fault detection and diagnosis, Computers & Chemical Engineering, vol.27, issue.3, pp.313-326, 2003.
DOI : 10.1016/S0098-1354(02)00161-8

. Venkatasubramanian, A review of process fault detection and diagnosis, Computers & Chemical Engineering, vol.27, issue.3, pp.327-346, 2003.
DOI : 10.1016/S0098-1354(02)00162-X

J. Waissman-vilanova, Construction d'un modèle comportemental pour la supervision de procèdes : application à une station de traitement des eaux, Thèse de doctorat, Institut National Polytechnique de, 2000.

. Zerhouni-et-alla, N. Zerhouni, and H. Alla, Sur l'analyse des lignes de fabrication par réseaux de Petri continus, JournalEuropéen des SystèmesAutomatisés (RAIRO-APII-JESA), Vo1.26, N°3, pp.253-76, 1992.

G. Zwingelstein, Diagnostic des défaillances-Théorie et pratique pour les systèmes industriels. Traité des Nouvelles Technologies, série Diagnostic et Maintenance, 1995.