R. Alur and D. L. , 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. Feder, and T. A. Henzinger, The benefits of relaxing punctuality, AFI09] AFIS : Découvrir et comprendre l'ingénierie système. Rapport technique, AFIS - Association Française d'Ingénierie Système, pp.116-146, 1996.
DOI : 10.1145/227595.227602

H. [. Arcak, L. Gorgun, and S. Pedersen, A Nonlinear Observer Design for Fuel Cell Hydrogen Estimation, IEEE Transactions on Control Systems Technology, vol.12, issue.1, pp.101-110, 2004.
DOI : 10.1109/TCST.2003.821958

[. Antoni, X. Glipa, F. Roy, J. L. Alcock, L. C. Shirvill et al., Poirot-Crouvezier : Pile à combustible GENEPAC. Techniques de l'Ingénieur Compilation of existing safety data on hydrogen and comparative fuels, 2001.

M. B. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci et al., Schnoebelen : Systems and Software Verification -Model-Checking Techniques and Tools Energy management of a hybrid electric vehicle. The International Electric Vehicle Symposium and Exposition, Bourgne, P. Dague, F. Nouioua et N. Rapin : Diagnosability of input output symbolic transition systems. 1st International Conference on Advances in System Testing and Validation Lifecycle, VALID'09, 1999.

M. Batteux, P. Dague, N. Rapin, and P. Fiani, Diagnosability study of technological systems. Modern Approaches in Applied Intelligence, 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00643664

M. Batteux, P. Dague, N. Rapin, P. Fiani, E. Benazera et al., State tracking of uncertain hybrid concurrent systems Rapin : Fuel cell system improvement for model-based diagnosis analysis. IEEE Vehicle Power and Propulsion Conference Dague : Caractérisation du comportement observable d'un système pour l'étude de la diagnosticabilité de défauts. Congrès international pluridisciplinaire en qualité et sûreté de fonctionnement Yazman : A hardware in the loop (hil) model development and implementation methodology and support tools for testing and validating car engine electronic control unit (ecu) Hoefner : Reciprocating compressors : operation and maintenance Diagnosis and faulttolerant control, International Conferences on CAE and Computational Technologies for Industry, 1990.

H. Bloch, Compressors and modern process applications, 20066.
DOI : 10.1002/0470047208

M. Basseville, I. V. Nikiforov, P. Bonnans, M. S. Rouchon, M. Branicky et al., Travé-Massuyès : Coupling continuous and discrete event system techniques for hybrid system diagnosability analysis Analyse et commande de systèmes dynamiques -manuel de cours Analyzing and synthesizing hybrid control systems Prognostic enhancements to diagnostic systems for improved condition-based maintenance Fault diagnosis in discrete time hybrid systems -a case study, Proceedings of the 18th European Conference on Artificial Intelligence G. Rozenberg et F. Vaandrager, éditeurs : Lectures on Embedded Systems Aerospace Conference Proceedings, pp.74-1131290, 1993.

J. [. Bousson, L. Steyer, and B. Travé-massuyès, From a rule-based to a predictive qualitative model-based approach using automated model generation, IFAC Conference on Analysis and Design of Hybrid Systems, ADHS'03, pp.477-493, 1998.
DOI : 10.1016/S0952-1976(98)00018-9

Z. Bubnicki, . Car99-]-t, . N. Carpentier-[-cfw75-]-r, D. C. Clark, W. M. Fosth et al., Modern Control Theory Placement de capteurs pour la surveillance des processus complexes Detecting instrument malfunctions in control systems, Thèse de doctorat, pp.465-473, 1975.

O. [. Clarke and D. A. Grumberg, Peled : Model Checking, 2000.

R. [. Chen and . Patton, Cocquempot : Contribution à la surveillance des processus industriels complexes mémoire d'habilitation à diriger des recherches Robust Model-based Fault Diagnosis for Dynamic Systems, 1999.

C. [. Cimatti, R. Pecheur, and . Cavada, Formal verification of diagnosability via symbolic model checking, CPR00] L. Console, C. Picardi et M. Ribando : Diagnosability analysis using process algebra . International Workshop on Principles of Diagnosis, p.0, 2000.

[. Cassar and M. Staroswiecki, A structural approach for the design of failure detection and identification systems, Cordier, L. Travé-Massuyès et X. Pucel : Comparing diagnosability in continuous and discrete-event systems. International Workshop on Principles of Diagnosis , DX'06, 1997.
URL : https://hal.archives-ouvertes.fr/hal-01403803

M. D. Di-benedetto, S. D. Gennaro, and A. D. Innocenzo, Diagnosability verification for hybrid automata and durational graphs, 2007 46th IEEE Conference on Decision and Control, 2007.
DOI : 10.1109/CDC.2007.4435038

]. M. Dbdgd07b, S. D. Di-benedetto, and A. D. Gennaro, Innocenzo : Verification of hybrid automata diagnosability, IEEE Transactions on Automatic Control, 2007.

]. H. Der09, . Derbeldf94-]-x, P. M. Ding, . J. Frank, A. De-kleer et al., Diagnostic à base de modèles des systèmes temporisés et d'une sousclasse de systèmes dynamiques hybrides Grenoble 1 et École nationale des sciences de l'informatique, Tunisie, Décembre Comparison of observer-based fault detection approaches Characterizing diagnosis and systems, Thèse de doctorat Proceedings of IFAC Safeprocess'94, pp.556-561197, 1975.

O. Dressler and P. Struss, A toolbox integrating model-based diagnosability analysis and automated generation of diagnostics [Dub90] B. Dubuisson : Diagnostic et reconnaissance de formes, Février 2011. [Far89] H. Farreny : Les systèmes experts -Principes et exemples. Cépadues, 1989.

R. [. Famouri and . Gemmen, Electrochemical circuit model of a pem fuel cell [Fou10] N. Fouquet : Real time model-based monitoring of a pem fuel cell flooding and drying out, IEEE Vehicle Power and Propulsion Conference, 2003.

. J. Gcf-+-95-]-j, M. Gertler, X. Costin, Z. Fang, M. Kowalczuk et al., Monajemy : Model based diagnosis for automative engines -algorithm development and testing on a production vehicle Gertler : Fault Detection and Diagnosis in Engineering Systems, IEEE Transactions on Control Systems Technology J.J, vol.3, pp.61-69, 1995.

M. Gomaa and S. Gentil, Hybrid industrial dynamical system supervision via hybrid continuous causal petri nets. IEEESMC IMACS Symposium on Discrete Events and Manufacturing Systems, Analyse Algorithmique des Systèmes Hybrides Thèse de doctorat, pp.380-384, 1996.

M. [. Gissinger, H. J. Loung, R. Gertler, and . Monajemy, Reynaund : Failure detection and isolation optimal design of instrumentation system Generating directional residuals with dynamic parity relations, IFAC Workshop SAFEPROCESS Automatica, vol.31, pp.627-635, 1995.

A. D. Diard, J. M. Bernardinis, G. Kauffmann, . [. Coquery, and . Gertler, Dynamic pem fuel cell modeling for automotive applications. IEEE 58th 2003 Vehicular Technology Conference Singer : A new structural framework for parity equation-based failure detection and isolation, Automatica, vol.26, pp.381-388, 1990.

B. [. Greiner, R. Smith, and . Wilkerson, A correction to the algorithme in reiter's theory of diagnosis Readings in Model-based Diagnosis, 1992.

K. [. Iri, E. Aoki, H. O-'shima, and . Matsuyama, An algorithm for diagnosis of system failures in the chemical process, Computers & Chemical Engineering, vol.3, issue.1-4, pp.489-493, 1979.
DOI : 10.1016/0098-1354(79)80079-4

P. [. Isermann and . Ballé, Trends in the application of model-based fault detection and diagnosis of technical processes, Control Engineering Practice, vol.5, issue.5, pp.638-652, 1997.
DOI : 10.1016/S0967-0661(97)00053-1

]. R. Ise97, Isermann : Supervision, fault-detection and fault-diagnosis methods -an introduction, Control Engineering Practice, vol.5, issue.5, pp.639-652, 1997.

]. R. Ise05 and . Isermann, Mechatronic systems -Fundamentals, 2005.

A. [. Ingimundarson and D. Stefanopoulou, Model-Based Detection of Hydrogen Leaks in a Fuel Cell Stack, IEEE Transactions on Control Systems Technology, vol.16, issue.5, pp.1004-1012, 2008.
DOI : 10.1109/TCST.2007.916311

Z. [. Jiang, V. Huang, R. Chandra, and . Kumar, A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.46, issue.8, pp.1318-1321, 2001.
DOI : 10.1109/9.940942

R. [. Jiang and . Kumar, Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications, IEEE Transactions on Automatic Control, vol.49, issue.6, pp.934-945, 2004.
DOI : 10.1109/TAC.2004.829616

M. [. Johnson, Moradi, éditeurs. PID Control -New Identification and Design Methods, 2005.

S. [. Kothamasu and W. Huang, VerDuin : System health monitoring and prognostics : a review of current paradigms and practices Kinnaert : Fault diagnosis based on analytical models for linear and nonlinear systems -a tutorial, Proceedings of IFAC Safeprocess'03, pp.9-101012, 2003.

M. Krysander and M. Nyberg, Structural analysis utilizing mss sets with application to a paper plant. International Workshop on Principles of Diagnosis, DX'02, Kui86] B.J. Kuipers : Qualitative simulation. Artificial Intelligence, 1986.

]. A. Lef09 and . Lefebvre, Contribution à l'amélioration de la testabilité et du diagnostic de systèmes complexes : Application aux système avioniques, Thèse de doctorat, 2009.

J. H. Lee, T. R. Lalk, and A. J. , Modeling electrochemical performance in large scale proton exchange membrane fuel cell stacks, Journal of Power Sources, vol.70, issue.2, pp.258-268, 1998.
DOI : 10.1016/S0378-7753(97)02683-9

D. [. Luong, J. Maquin, and . Ragot, Sensor network design for failure detection and isolation, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00311228

G. [. Lapp and . Powers, Computer-aided Synthesis of Fault-trees, LR08] J. Lévine et P. Rouchon : Systèmes dynamiques et commande. Techniques de l'Ingénieur, 1977.
DOI : 10.1109/TR.1977.5215060

. Roberge, Development and application of a generalized steady-state electrochemical model for a pem fuel cell, Journal of Power Sources, vol.86, pp.173-180, 2000.

. Mgt-+-04-]-p, J. Moro, G. Girard, J. Tabet, C. Laprie et al., Sûreté de fonctionnement, 2004.

J. Mosterman, Diagnosis of physical systems with hybrid models using parameterised causality, Hybrid Systems : Computation and Control, 4th International Workshop, pp.447-458, 2001.

J. [. Mehra and . Peschon, An innovations approach to fault detection and diagnosis in dynamic systems, Automatica, vol.7, issue.5, pp.637-640, 1971.
DOI : 10.1016/0005-1098(71)90028-8

]. T. Omd88, Omdahl : Reliability, availability and maintainability (ram) dictionnary, Pap93] C. Papadimitriou : Computational Complexity, 1988.

J. Poirot-crouvezier and F. Roy, Genepac project : Realization of a fuel cell stack prototype dedicated to the automotive application, World Hydrogen Energy Conference, 2006.

]. F. Pey09 and . Peysson, Contribution au pronostic des systèmes complexes, Thèse de doctorat, 2009.

P. [. Patton, R. N. Frank, . [. Clark, J. Papadopoulos, . [. Mcdermid et al., Fault diagnosis in Dynamic systems : theory and application Automated safety monitoring : a review and classification of methods. International Journal of Condition Monitoring and Diagnostic Engineering Management Simulation and analysis of transient fuel cell system performance based on a dynamic reactant flow model, PR08] N. Petit et P. Rouchon : Automatique dynamique et contrôle des systèmes -manuel de cours. Centre Automatique et SystèmesPSP02] J.T. Pukrushpan, A.G. Stefanopoulou et H. Peng : Modeling and control for pem fuel cell stack system. American Control Conference, 1989.

A. [. Pukrushpan, H. Stefanopoulou, and . Peng, Control of natural gas catalytic partial oxidation for hydrogen generation in fuel cell applications, IEEE Transactions on Control Systems Technology, vol.13, issue.1, pp.3-14, 2005.
DOI : 10.1109/TCST.2004.833649

W. Qiu and R. Kumar, Decentralized failure diagnosis of discrete-event systems, Rap08] N. Rapin : Procédé et système permettant de générer un dispositif de contrôle à partir de comportements redoutés spécifiés, pp.384-395, 2006.

]. R. Rei87 and . Reiter, A theory of diagnosis from first principals, Artificial Intelligence, vol.32, pp.57-96, 1987.

S. [. Roy, J. Garnit, and . Poirot-crouvezier, Fisypac project : The first vehicle integration of genepac fuel cell stack. The International Electric Vehicle Symposium and Exposition [Rib09] P. Ribot : Vers l'intégration diagnostic/pronostic pour la maintenance des systèmes complexes, Thèse de doctorat, 2009.

D. [. Richalet and . O-'donovan, Predictive Functional Control -Principles and Industrial Applications, 2009.

. Srb-+-02-]-p, B. Struss, R. Rehfus, F. Brignolo, L. Cascio et al., Millet : Model-based tools for the integration of design and diagnosis into a common process -a project report. International Workshop on Principles of Diagnosis, DX'02, IEEE Transactions on Automatic Control, 1995.

]. R. Sta09 and . Stapelberg, Handbook of Reliability, Availability, Maintainability and Safety in Engineering Design, 2009.

J. [. Tagina, G. Cassar, M. Dauphin-tangy, and . Staroswiecki, Monitoring of systems modelled by bond graph International Conference on Bond Graph Modeling and Simulation Guerrin : Le raisonnement qualitatif pour les sciences de l'ingénieur. Hermès, TMEO06] L. Travé-Massuyès, T. Escobet et X. Olive : Diagnosability analysis based on component supported analytical redundancy relations. IEEE Transactions on Systems, pp.275-280, 1995.

. A. Vcl92, A. Villemeur, and M. C. Cartier, Lartisien : Reliability, Availability, Maintainability and Safety Assessment, 1992.

R. [. Venkatasubramanian, K. Rengaswamy, S. N. Yin, and . Kavuri, A review of process fault detection and diagnosis. 'part I to III'. Computers and Chemical Engineering, VS87] N. Viswanadham et R. Srichandert : Fault detection using unknown input observers, 2003.

]. A. Wil76 and . Willsky, A survey of design methods for failure detection in dynamic systems Nayak : A model-based approach to reactive self-configuring systems, Control-Theory and Advanced Technology Conference on Artificial Intelligence, AAAI'96, pp.91-101601, 1976.

M. [. Wang, S. R. Nehrir, and . Shaw, Dynamic Models and Model Validation for PEM Fuel Cells Using Electrical Circuits, IEEE Transactions on Energy Conversion, vol.20, issue.2, pp.442-451, 2005.
DOI : 10.1109/TEC.2004.842357

T. Yoo and S. Lafortune, Polynomial-time verification of diagnosability of partiallyobserved discrete-event systems, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1491-1495, 2002.

/. List, /. Dtsi, and . Sol, Zeitoun : Correction/complétude et complexité d'un algorithme de monitoring de formules temporelles, pp.9-0192, 2009.

G. Zwingelstein, Sûreté de fonctionnement des systèmes industriels complexes, 1999.