Towards robust expert systems that learn from experience ? an architectural framework EKAW?89 ; Third European Knowledge Acquisition for Knowledge?Based Systems Workshop, pp.311-326, 1989. ,
A knowledge?intensive approach to problem solving and sustained learning, 1991. ,
Rodon -tolerance based simulation & automated fmea generation in aircraft elevators, 4th Annual Systems Engineering Conference, 2001. ,
Méthodes pour la validation de modèles formels pour la Sûreté de Fonctionnement et extension aux problèmes multi-physique, Thèse de doctorat, 2011. ,
The altarica formalism for describing concurrent systems, Fundamenta Informaticae, vol.40, pp.109-124, 2000. ,
Knowledge acquisition in the domain of cnc machine centers ; the moltke approach, Third European Workshop on Knowledge?Based Systems, pp.180-195, 1989. ,
Evaluation of a diagnostic tool for use during system development and operations, 2007. ,
Modeling legal arguments : Reasoning with cases and hypotheticals, 1991. ,
Case-based knowledge acquisition, learning and problem solving in diagnostic real world tasks, Proc. EKAW-91, 1991. ,
Exemplar?based knowledge acquisition : A unified approach to concept representation, classification and learning, 1989. ,
Diagnosticabilité et diagnostic de systèmes technologiques pilotés : développement d'une chaîne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotés, 2011. ,
Dependability modelling and assessment of avionics systems with altarica, 2007. ,
Analyse d'un système hydraulique avion avec altarica, 2002. ,
Diagnosis of complex systems : Bridging the methodologies of the fdi and dx communities, IEEE Transactions on systems, Man and Cybernetics, vol.34, issue.5, 2004. ,
The AltaRica data-flow language in use: modeling of production availability of a multi-state system, Reliability Engineering & System Safety, vol.91, issue.7, p.91, 2006. ,
DOI : 10.1016/j.ress.2004.12.004
URL : https://hal.archives-ouvertes.fr/hal-00182500
Comparing coherent systems, Lecture Notes- Monograph Series, pp.187-192, 1984. ,
DOI : 10.1214/lnms/1215465646
Failure accommodation in linear systems through self-reorganization, 1971. ,
Analyse de Sécurité multi-systèmes, Thèse de doctorat, 2009. ,
Diagnosis of asynchronous discrete event systems, a net unfolding approach, 2002. ,
URL : https://hal.archives-ouvertes.fr/inria-00638345
Model-based diagnostics techniques for avionics applications with rodon, 2009. ,
Structural analysis Diagnosis and Fault-Tolerant Control, pp.109-188, 2006. ,
Structural analysis Diagnosis and Fault-Tolerant Control, pp.69-108, 2007. ,
Synchronization of constrained transition systems, Proc. of the First International Symposium on Parallel Symbolic Computation ? PASCO'94, pp.54-62, 1994. ,
Exploiting the complementarity of rules and precedents with reciprocity and fairness, Proceedings from the Case?Based Reasoning Workshop, pp.39-50, 1991. ,
Quantitative knowledge, causal reasoning and the localization of failures, 1976. ,
Pedagogical, natural language and knowledge engineering techniques in sophie i, ii and iii, 1982. Intelligent Tuoring Systems, pp.227-282 ,
Rule-based expert systems : The mycin experiments of the stanford heuristic programming project, 1984. ,
On the applicability of state-of-the-art fault diagnosis methodologies to simple and complex systems The annals of, 2005. ,
Development strategies of an expert system for multiple alarm processing and diagnosis in nuclear power plants, IEEE Transactions on Nuclear Science, vol.40, issue.1, pp.21-30, 1993. ,
DOI : 10.1109/23.199483
Case-based retrieval of software components, Expert Systems with Applications, vol.923310, issue.218, pp.397-421, 1995. ,
Ai and automatic control approaches of model-based diagnosis : Links and underlying hypotheses, Proc. 4th IFAC Symp. Fault Detection, Supervision Safety Technical Processes SAFEPROCESS, pp.274-279, 2000. ,
A comparative analysis of ai and control theory approaches to model-based diagnosis, Proc. 14th European Conf. Artificial Intelligence ECAI, pp.136-140, 2000. ,
Conflicts Versus Analytical Redundancy Relations: A Comparative Analysis of the Model Based Diagnosis Approach From the Artificial Intelligence and Automatic Control Perspectives, IEEE transactions on systems, man and cybernetics?part b : cybernetics, 2004. ,
DOI : 10.1109/TSMCB.2004.835010
URL : https://hal.archives-ouvertes.fr/hal-00353890
Abductive reasoning through direct deduction from completed domain models, Methodologies for Intelligent System 4, pp.175-182, 1989. ,
A theory of diagnosis for incomplete causal models, Proc. 11th IJCAI, pp.1311-1317, 1989. ,
Detection instrument malfunctions in control systems, EEE Trans. Aerospace Electron. Syst, pp.465-473, 1975. ,
Counterexample-guided abstraction refinement, Computer Aided Verification, 12th International Conference ProceedingsCGP99] E.M. Clarke, O. Grumberg, and D.A. Peled. Model checking, pp.154-169, 1999. ,
Latest progress of research on fault diagnosis based on information fusion, Information Technology Journal, 2008. ,
Exploiter la Structure des Modèles pour la Vérification par la Méthode CEGAR, 2012. ,
Un systeme de communication en français Rapport préliminaire de fin de contrat IRIA, Groupe Intelligence Artificielle, Faculté des Sciences de Luminy, Université d'Aix-Marseille II Fault tree analysis : 10 20 prime implicants and beyond, Proceedings of Reliability and Maintainability SymposiumCon94] L. Console. Introduction, pp.240-245, 1972. ,
Causes for events: Their computation and applications, Proc. 8th CADE, 1986. ,
DOI : 10.1007/3-540-16780-3_125
Diagnosis and diagnosability analysis using pepa, ECAI, pp.131-135, 2000. ,
Diagnosis and diagnosability analysis using process algebras An integration of fdi and dx techniques for determining the minimal diagnosis in an automatic way Lecture notes in computer science, Proceedings of the Eleventh International Workshop on Principles of Diagnosis MX, pp.25-32, 2000. ,
Toupie : The µ-calculus over finite domains as a constraint language, Journal of Automated Reasoning, vol.19, issue.2, pp.143-171, 1997. ,
DOI : 10.1023/A:1005732517165
A spectrum of logical definitions of model-based diagnosis Readings in Model-Based Diagnosis, pp.78-88, 1991. ,
Modeling and reasoning with Bayesian networks, 2009. ,
Diagnostic reasoning based on structure and behavior, Artificial Intelligence, vol.24, issue.1-3, pp.347-410, 1984. ,
F-8 DFBW sensor failure identification using analytic redundancy, IEEE Transactions on Automatic Control, vol.22, issue.5, pp.795-803, 1977. ,
DOI : 10.1109/TAC.1977.1101598
Model-based resoning : Troubleshooting Readings in Model-Based Diagnosis, pp.3-24, 1988. ,
An algebraic and algorithmic method for analysing transition systems, Theoretical Computer Science, vol.46, issue.2-3, pp.285-303, 1986. ,
DOI : 10.1016/0304-3975(86)90034-4
URL : http://doi.org/10.1016/0304-3975(86)90034-4
Local methods for localizing faults in electroniuc circuits, 1976. ,
Diagnosing multiple faults, Artificial Intelligence, vol.32, issue.1, pp.97-130, 1987. ,
DOI : 10.1016/0004-3702(87)90063-4
Diagnosing with behavioral modes, Proc. 11th IJCAI, pp.1324-1330, 1989. ,
From modular to distributed architectures : Centaur and smeci experiments, 1994. ,
URL : https://hal.archives-ouvertes.fr/inria-00074277
Expérimentation d'ocas chez turboméca, First Altarica Workshop, 2002. ,
Diagnosis based on structure and function, Proc. Of AAAI-82, pp.137-142, 1982. ,
LOCALIZE: Computer-assisted localization of peripheral nervous system lesions, Computers and Biomedical Research, vol.15, issue.6, pp.525-543, 1982. ,
DOI : 10.1016/0010-4809(82)90015-5
Qualitative reasoning, 1996. DRAFT -Chapter ,
Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy -a survey and some new results, Automatica, vol.26, issue.3, pp.459-474, 1990. ,
Structure mapping ? a theoretical framework for analogy, Cognitive Science, vol.723310, p.10, 1983. ,
The use of design descriptions in automated diagnosis, Artificial Intelligence, vol.24, issue.1-3, pp.411-436, 1984. ,
DOI : 10.1016/0004-3702(84)90043-2
Symbolic computation of minimal cuts for AltaRica models, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00634022
Altarica au labri : Travaux récents et projets, 2007. ,
Altarica : Passé, présent, futur, 2002. ,
The Mec??5 Model-Checker, Proceedings of the 16th International Conference on Computed Aided Verification, pp.488-491, 2004. ,
DOI : 10.1007/978-3-540-27813-9_43
URL : https://hal.archives-ouvertes.fr/hal-00351697
Chef : A model of case-based planning, 1986. roc. American Association for Artificial Intelligence, AAAI-86, Ham91] W. Hamscher. Modeling digital circuits for troubleshooting, pp.1-3223, 1986. ,
Design criteria of a gas chromatography-mass spectrometry based expert system for arson analysis, Analytica Chimica Acta, vol.259, issue.2, pp.225-260 ,
DOI : 10.1016/0003-2670(92)85372-D
Readings in model-based diagnosis, 1992 ,
Diagnosis from Scenarios, 2006 8th International Workshop on Discrete Event Systems, pp.307-312, 2006. ,
DOI : 10.1109/WODES.2006.1678447
Induction: Processes of Inference, Learning, and Discovery, IEEE Expert, vol.2, issue.3, 1986. ,
DOI : 10.1109/MEX.1987.4307100
Problem solving in open worlds, 1992. ,
Detectability and diagnosability of faults in lumped process systems, 20th European Symposium on Computer Aided Process Engineering-ESCAPE20, pp.1447-1452, 2010. ,
Déclinaison d'exigences de sécurité, du niveau système vers le niveau logiciel, assistée par des modèles formels, Thèse de doctorat, 2008. ,
Model-based diagnosis of a satellite electrical power system with rodon, 2009. ,
An introduction to Bayesian networks, 1996. ,
A polynomial algorithm for testing diagnosability of discrete-event systems, Automatic Control IEEE Transactions on, issue.8, pp.461318-1321, 2001. ,
Failure detection in linear systems Thesis -MIT, 233 BIBLIOGRAPHIE [Jos98] C. Jost. Comparaison qualitative et quantitative de modèles proie-prédateur à des données chronologiques en écologie Thèse -Institut national agronomique, 1973. ,
Classification and approximation with rule-based networks, 1993. Thesis -Department of Electrical Engineering, California Institute of Technology ,
Motifs formels d'architectures de systèmes pour la sûreté de fonctionnement, Thèse de doctorat, Ecole Nationale Supérieure de l'Aéronautique et de l'Espace (SUPAERO), 2005. ,
Alain Griffault, and Gérald Point. Model-based diagnosis for avionics systems using minimal cuts, 22nd International Workshop on Principles of Diagnosis, pp.138-145, 2011. ,
Contribution à l'accélération de la simulation stochastique sur des modèles AltaRica Data Flow, Thèse de doctorat, 2008. ,
Detection of sensor failures in nuclear plant using analytic redundancy, Trans. Am. Nucl. Soc, vol.34, pp.581-583, 1980. ,
Challenges for massive parallelism, Proc. 13th. Int. Conference on Artificial Intelligence, IJCAI-93, pp.813-847, 1993. ,
The ?signature? of a coherent system and its application to comparisons among systems, Naval Research Logistics, vol.34, issue.5, pp.507-523, 1999. ,
DOI : 10.1002/(SICI)1520-6750(199908)46:5<507::AID-NAV4>3.0.CO;2-D
Maintaining organization in a dynamic long?term memory, Cognitive Science, vol.7, pp.243-280, 1983. ,
Using experience in learning and problem solving, 1988. ,
A hidden markov model-based algorithm for fault diagnosis withpartial and imperfect tests, IEEE Transactions on Systems, Man and Cybernetics, Part C : Applications and Reviews, 2000. ,
Methods of fault diagnosis, Control Engineering Practice, vol.5, issue.5, pp.683-692, 1997. ,
DOI : 10.1016/S0967-0661(97)00050-6
Applications of artificial intelligence for organic chemistry : The dendral project, 1980. ,
Rule-based diagnostic method for hvac fault detection, Proceedings of IBPSA Building Simulation 89, pp.319-324, 1989. ,
Object-oriented modeling in model-based diagnosis, Proceedings, 2000. ,
Dynamic model based diagnosis for combustion engines in rodon, at Vehicular Systems at Linköpings University and at Sörman Information & Media AB, 2007. ,
Smmart -state of the art report Project SMMART : System for Mobile Maintenance Accessible in Real Time, p.10, 2005. ,
A self-reorganizing digital flight control system for aircraft, 12th Aerospace Sciences Meeting, 1974. ,
DOI : 10.2514/6.1974-21
R1 : An expert in the computer systems domain, Proceedings of AAAI 1, pp.269-271, 1980. ,
Diagnostic et pronostic de défaillances par réseaux bayésiens, 4ème Journées Francophones sur les Réseaux Bayésiens, pp.29-30, 2008. ,
Approche à base de logique floue pour le test et le diagnostic des circuits analogiques, Thèse -Institut National Polytechnique de Grenoble, 1997. ,
Model-based diagnosis : An overview, 1992. Advanced Topics in Artificial Intelligence, pp.419-430 ,
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
Methods of behaviour modelling : A commentary on behaviour modelling techniques for mda, 1991. ,
Expert system for repeatability testing of high-performance liquid chromatographic methods, Journal of Chromatography A, vol.550, issue.12, pp.257-66, 1991. ,
DOI : 10.1016/S0021-9673(01)88543-5
On the analysis of human problem solving protocols, 1968. ,
An example of human chess play in the light of chess playing programs, Progress in Biocybernetics, 1965. ,
Learning causal models by self?questioning and experimentation, 1992, AAAI?92 Workshop on Communicating Sientific and Technical Knowledge. American Association of Artificial Intelligence ,
Case-based design support : Supporting architectural composition through precedent libraries, Journal of Architectural Planning Research, 1993. ,
Extension temps réel du langage AltaRica, Thèse de doctorat, 2004. ,
Protos : An experiment in knowledge acquisition for heuristic classification tasks, Proceedings of the First International Meeting on Advances in Learning (IMAL), pp.159-174, 1986. ,
A case?based apprentice that learns from fuzzy examples, Methodologies for Intelligent System 5, pp.420-427, 1990. ,
Diagnosability analysis of distributed discrete event systems, ECAI, p.43, 2004. ,
On the partial translation of Lustre programs into the AltaRica language and vice versa, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00349898
Theorist : A logical reasoning system for defaults and diagnosis, 1987. The Knowledge Frontier ,
Implementation of a reflective system, Future Generation Computer Systems, vol.10, issue.12, pp.235-242, 1996. ,
AltaRica : Contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement, Thèse de doctorat, 2000. ,
Normality and faults in logic-based diagnosis, Proc. 11th IJCAI, pp.1304-1310, 1989. ,
Formal reductions of the general combinatorial decision problem, American Journal of Mathematics, vol.65, pp.197-268, 1943. ,
AltaRica : Constraint automata as a description language, Journal Européen des Systèmes Automatisés, vol.33, pp.8-91033, 1999. ,
Causal Understanding of Patient Illness in Medical Diagnosis, Proc. of IJCAI-81, pp.893-899, 1981. ,
DOI : 10.1007/978-1-4612-5108-8_16
Le langage AltaRica, Actes du 11ième colloque national de Fiabilité et Maintenabilité, Lambda-Mu'11, pp.119-125, 1998. ,
A unified point of view on diagnosability, Thèse de doctorat, 2008. ,
Mathematical Foundation of Minimal Cutsets, IEEE Transactions on Reliability, vol.50, issue.4, pp.389-396, 2001. ,
Modes automata and their compilation into fault trees, Reliability Engineering and System Safety, vol.78, pp.1-12, 2002. ,
Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia, Reliability Engineering & System Safety, vol.58, issue.2, pp.127-144, 1997. ,
DOI : 10.1016/S0951-8320(97)00034-3
A theory of diagnosis form first principles, Artificial Intelligence, vol.32, issue.1, pp.57-96, 1987. ,
Vers l'intégration diagnostic/pronostic pour la maintenance des systèmes complexes, 2009. ,
Examples in legal reasoning : Legal hypotheticals, Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI, Karlsruhe. [RL86] L. R. Rabiner and B. H. Luang. An introduction to hidden markov models, 1983. ,
Diagnostic à base de modèles -cours 3 : Modèles de panne et diagnostic abductif, 2003. ,
Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987. ,
DOI : 10.1137/0325013
Similarity, uncertainty and case?based reasoning in patdex Automated reasoning, essays in honour of Woody Bledsoe, pp.249-265, 1991. ,
An artificial intelligence program to advise physicians regarding antimicrobial therapy, Computers and Biomedical Research, vol.623310, issue.224, pp.544-560, 1973. ,
Diagnostic à base de modèle : application à un moteur diesel suralimenté à injection directe, Thèse -Institut National Polytechnique de Lorraine, 2006. ,
Guidelines for Development of Civil Aircraft and Systems, 2010. ,
Allocation sûre dans les systèmes aéronautiques : modèlisation, vérification et génération, Thèse de doctorat, 2008. ,
Dynamic memory ; a theory of reminding and learning in computers and people, 1982. ,
Physical negation -integrating fault models into the general diagnostic engine, Proc. 11th IJCAI, pp.1318-1323, 1989. ,
A scalable jointree algorithm for diagnosability, 23rd American National Conference on Artificial Intelligence (AAAI-08), 2008. ,
A computer model of case?based reasoning in problem solving : An investigation in the domain of dispute mediation, 1985. ,
Bayesian diagnosis and prognosis using instrument uncertainty, IEEE Autotestcon, 2005., 2005. ,
DOI : 10.1109/AUTEST.2005.1609172
Categories and concepts, 1981. ,
DOI : 10.4159/harvard.9780674866270
What is dempster-shafer's model ? Advances in the Dempster-Shafer theory of evidence, pp.5-34, 1994. ,
The application of information theory to problems in decision tree design and rule-based expert systems, 1988. Thesis -California Institute of Technology ,
Discrete event modeling and analysis for systems biology models, Thèse de doctorat, 2009. ,
Arguments and cases: An inevitable intertwining, Artificial Intelligence and Law, vol.19, issue.6, pp.3-48, 1992. ,
DOI : 10.1007/BF00118477
Refiner ; a case?based differential diagnosis aide for knowledge acquisition and knowledge refinement, Proceedings of the Third European Working Session on Learning, pp.201-210, 1988. ,
<title>NASA integrated vehicle health management technology experiment for X-37</title>, Component and Systems Diagnostics, Prognostics, and Health Management II, 2002. ,
DOI : 10.1117/12.475494
Diagnosability of discrete-event systems, Automatic Control IEEE Transactions on, vol.40, issue.9, pp.1555-1575, 1995. ,
Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995. ,
DOI : 10.1109/9.412626
Quantitative and qualitative models for fault detection and isolation, Mechanical Systems and Signal Processing, vol.14, issue.3, pp.301-325, 2000. ,
Model-based and qualitative reasoning : An introduction, Annals of Mathematics and Artificial Intelligence, vol.19, pp.355-381, 1997. ,
Resolving adversial conflicts : An approach to integrating case-based and analytic methods, 1987. ,
Structural algorithms in rodon -with a prototype implementation in java Master's thesis performed at the Vehicular Systems division, 2007. ,
Diagnosability analysis based on component-supported analytical redundancy relations. Systems, Man and Cybernetics, Part A : Systems and Humans, IEEE Transactions on, vol.36, issue.6, pp.1146-1160, 2006. ,
An expert system for the preliminary design of timber roofs, Computers & Structures, vol.40, issue.1, pp.115-140, 1991. ,
DOI : 10.1016/0045-7949(91)90464-W
Episodic and semantic memory, 1977. Organization of memory, pp.381-403 ,
Diagnostic et surveillance des processus complexes par reseaux bayesiens, Thèse -Ecole Doctorale d'Angers, 2007. ,
URL : https://hal.archives-ouvertes.fr/tel-00517101
Description et applications du moteur d'inférence snark, 1985. ,
Conception et réalisation d'un vérificateur de modèles AltaRica, Thèse de doctorat, 2003. ,
Vérification de modèles en altarica, 2003. ,
Réseaux de petri pour la détection et le diagnostic GDR Automatique -Journées sûreté, surveillance, supervision : détection et localisation des défaillances, 1994. ,
A rule-case based system for image analysis, Proc. 1st. European Workshop on Case-Based Reasoning, Posters & Presentations, pp.410-425, 1993. ,
Developing case-based reasoning systems : A case study in diagnosing building defects, Proc. IEE Colloquium on Case-Based Reasoning : Prospects for Applications Digest No : 1994/057, pp.1-1, 1994. ,
A survey of design methods for failure detection in dynamic systems, Automatica, vol.12, issue.6, pp.601-611, 1976. ,
Philosophical investigations, pp.31-34, 1953. ,
Case-based reasoning: A review, The Knowledge Engineering Review, vol.9, issue.04, pp.355-381, 1994. ,
DOI : 10.1017/S0269888900007098
Génération des tests et placement de capteurs pour le diagnostic des systèmes physiques s' appuyant sur une modélisation structurelle, 2008. ,
Fault diagnosis based on qualitative/quantitative process knowledge, AIChE Journal, vol.37, issue.4, 1991. ,
DOI : 10.1002/aic.690370415
Polynomial-time verification of diagnosability of partially observed discrete-event systems, Automatic Control IEEE Transactions on, vol.47, issue.9, pp.1491-1495, 2002. ,