A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
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
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
Poirot-Crouvezier : Pile à combustible GENEPAC. Techniques de l'Ingénieur Compilation of existing safety data on hydrogen and comparative fuels, 2001. ,
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. ,
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
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. ,
Compressors and modern process applications, 20066. ,
DOI : 10.1002/0470047208
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. ,
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
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. ,
Peled : Model Checking, 2000. ,
Cocquempot : Contribution à la surveillance des processus industriels complexes mémoire d'habilitation à diriger des recherches Robust Model-based Fault Diagnosis for Dynamic Systems, 1999. ,
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. ,
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
Diagnosability verification for hybrid automata and durational graphs, 2007 46th IEEE Conference on Decision and Control, 2007. ,
DOI : 10.1109/CDC.2007.4435038
Innocenzo : Verification of hybrid automata diagnosability, IEEE Transactions on Automatic Control, 2007. ,
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. ,
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. ,
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. ,
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. ,
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. ,
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. ,
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. ,
A correction to the algorithme in reiter's theory of diagnosis Readings in Model-based Diagnosis, 1992. ,
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
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
Isermann : Supervision, fault-detection and fault-diagnosis methods -an introduction, Control Engineering Practice, vol.5, issue.5, pp.639-652, 1997. ,
Mechatronic systems -Fundamentals, 2005. ,
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
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
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
Moradi, éditeurs. PID Control -New Identification and Design Methods, 2005. ,
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. ,
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. ,
Contribution à l'amélioration de la testabilité et du diagnostic de systèmes complexes : Application aux système avioniques, Thèse de doctorat, 2009. ,
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
Sensor network design for failure detection and isolation, 1997. ,
URL : https://hal.archives-ouvertes.fr/hal-00311228
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
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. ,
Sûreté de fonctionnement, 2004. ,
Diagnosis of physical systems with hybrid models using parameterised causality, Hybrid Systems : Computation and Control, 4th International Workshop, pp.447-458, 2001. ,
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
Omdahl : Reliability, availability and maintainability (ram) dictionnary, Pap93] C. Papadimitriou : Computational Complexity, 1988. ,
Genepac project : Realization of a fuel cell stack prototype dedicated to the automotive application, World Hydrogen Energy Conference, 2006. ,
Contribution au pronostic des systèmes complexes, Thèse de doctorat, 2009. ,
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. ,
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
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. ,
A theory of diagnosis from first principals, Artificial Intelligence, vol.32, pp.57-96, 1987. ,
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. ,
Predictive Functional Control -Principles and Industrial Applications, 2009. ,
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. ,
Handbook of Reliability, Availability, Maintainability and Safety in Engineering Design, 2009. ,
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. ,
Lartisien : Reliability, Availability, Maintainability and Safety Assessment, 1992. ,
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 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. ,
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
Polynomial-time verification of diagnosability of partiallyobserved discrete-event systems, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1491-1495, 2002. ,
Zeitoun : Correction/complétude et complexité d'un algorithme de monitoring de formules temporelles, pp.9-0192, 2009. ,
Sûreté de fonctionnement des systèmes industriels complexes, 1999. ,