,
,
,
,
, Wsdiamond : an approach to web services-diagnosability, monitoring and diagnosis, Louise Travé-Massuyès, and ierry Vidal, 2007.
, Wsdiamond : an approach to web services-diagnosability, monitoring and diagnosis, Louise Travé-Massuyès, and ierry Vidal, vol.70, pp.25-26, 2007.
, Audine Subias, Daniele eisederDupré, Louise Travé-Massuyès, and ierry Vidal. WS-DIAMOND : an approach to web services-DIAgnosability, MONitoring and Diagnosis, pp.105-112, 2007.
, Meta-diagnosis in fdi : Reasoning about false analytical redundancy relations, 8th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, pp.379-384, 2012.
, Deening and exploring properties in diagnostic systems, 21st International Workshop on Principles of Diagnosis, pp.161-168, 2010.
, Medito : a logic-based meta diagnosis tool, IEEE International Conference on Tools with Artiicial Intelligence, pp.709-716, 2011.
, ´ eorie de métadiagnostic : raisonnement sur les systèmes de diagnostic, Journées de l'Intelligence Artiicielle Fondamentale, 2011.
, A theory of metadiagnosis : reasoning about diagnostic systems, 22nd International Joint Conference on Artiicial Intelligence, pp.731-737, 2011.
, Modélisation et intégration du diagnostic actif dans une architecture embarquée, Journal européen des systèmes automatisés, vol.43, pp.789-803, 2009.
, Monitoring and active diagnosis for discrete-event systems, 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, 2009.
, Principles of self-maintenance in an on-board architecture including active diagnosis, e IJCAI-09 Workshop on Self-* and Autonomous Systems : reasoning and integration challenges, pp.43-50, 2009.
, An ao*-like algorithm implementation for active diagnosis, 10th International Symposium on Artiicial Intelligence, Robotics and Automation in Space, pp.378-385, 2010.
, Hydiag : extended diagnosis and prognosis for hybrid systems, 26th international workshop on Principles of Diagnosis, pp.281-284, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01203633
, Inference of fault signatures of discrete-event systems from event logs, 28th International Workshop on Principles of Diagnosis, pp.219-233, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01929433
, Agreed deenitions for archistic project. wp1. fundamentals and requirements, Laboratoire d'Analyse et d'Architecture de Systèmes, 2007.
, Deliverable wp4 projet archistic-logical characterisation of the diagnostic problem, Laboratoire d'Analyse et d'Architecture de Systèmes, 2008.
, Ws-diamond : Web services-diagnosability, monitoring and diagnosis, 18th International Workshop on Principles of Diagnosis, pp.243-250, 2007.
, ierry Vidal, and Audine Subias. WS-DIAMOND web services-DIAgnosability, MONitoring and Diagnosis, pp.213-240, 2009.
, Caractérisation des systèmes autoguérissants : diagnostiquer ce que l'on peut réparer, vol.8, pp.123-151, 2008.
, Archistic project. wp3. preliminary process and sooware architecture, Laboratoire d'Analyse et d'Architecture de Systèmes, vol.8394, 2008.
, Xavier Pucel, Audine Subias, and Louise Travé-Massuyès. Requirements, application scenarios, overall architecture, and test/validation speciication, common working environment and standards at milestone m1, 2006.
, Diagnosability analysis of paaerns on bounded labeled prioritized petri nets, Journal of Discrete Event Dynamic Systems : eory and Applications, vol.27, p.2017
, Timed diagnosability analysis based on chronicles, 8th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, vol.8, p.2012
, Diagnosticabilité de motifs de supervision par dépliage de réseaux de petri, Journées Doctorales Journées Nationales MACS, vol.7, 2013.
, Supervision paaerns : Formal diagnosability checking by petri net unfolding, 4th IFAC Workshop on Dependable Control of Discrete Systems, vol.9, pp.73-78, 2013.
, Discriminability analysis of supervision paaerns by net unfoldings, 12th IFAC-IEEE International Workshop on Discrete Event Systems, vol.5, pp.459-464, 2014.
, Diagnosis and prognosis in health monitoring systems. state of the art, Laboratoire d'Analyse et d'Architecture de Systèmes, 2012.
, Synthesis of a distributed and accurate diagnoser, 21st International Workshop on Principles of Diagnosis, pp.209-216, 2010.
, Synthèse d'un diagnostiqueur distribué et précis, 17ème congrès francophone AFRIFAFIA Reconnaissance des Formes et Intelligence Artiicielle, pp.646-653, 2010.
, Détection et localisation de fautes temporelles dans les systèmes (max,+)-linéaires, 11ème Colloque sur la Modélisation des Systèmes Réactifs, 2017.
, Audine Subias, and Houssam-Eddine Gougam. Modélisation et analyse de chroniques pour le diagnostic, Modélisation des Systèmes Réactifs, vol.11, p.2015
, Approche diagnostiqueur décentralisé : application aux réseaux de télécommunications, 5` emes Rencontres nationales des Jeunes Chercheurs en Intelligence Artiicielle, pp.309-322, 2000.
, Decentralized diagnoser approach : application to telecommunication networks, 11th International Workshop on Principles of Diagnosis, pp.185-192, 2000.
, Diagnosability analysis of distributed discrete event systems, 16th European Conference on Artiicial Intelligence, vol.8, pp.43-47, 2004.
, Diagnosability analysis of distributed discrete event systems, 15th International Workshop on Principles of Diagnosis, pp.173-178, 2004.
, Assistance for the design of a diagnosable component-based system, 17th IEEE International Conference on Tools with Artiicial Intelligence, vol.11, pp.549-556, 2005.
, Fault diagnosis in discrete-event systems : How to analyse algorithm performance ?, Diagnostic reasoning : Model Analysis and Performance, vol.8, p.2012
, Dito : a csp-based diagnostic engine, 21st European Conference on Artiicial Intelligence, vol.8, pp.699-704, 2014.
, Random generator of k diagnosable discrete event systems, 26th international workshop on Principles of Diagnosis, vol.8, pp.277-280, 2015.
, Deenition of modelbased diagnosis problems with altarica, 27th International Workshop on Principles of Diagnosis, vol.10, 2016.
, A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks, Artiicial Intelligence, vol.164, issue.2, pp.121-170, 2005.
, A decentralized model-based diagnostic tool for complex systems, 13th International Conference on Tools with Artiicial Intelligence, pp.95-102, 2001.
, Incremental decentralized diagnosis approach for the supervision of a telecommunication network, 12th International Workshop on Principles of Diagnosis, pp.151-158, 2001.
, A decentralized model-based diagnostic tool for complex systems, International Journal on Articial Intelligence Tools, vol.11, issue.3, pp.327-346, 2002.
, Incremental decentralized diagnosis approach for the supervision of a telecommunication network, 41st IEEE Conference on Decision and Control, vol.12, pp.435-440, 2002.
, Une stratégie eecace pour une approche décentralisée du diagnostic de systèmes complexes, 13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artiicielle, pp.259-267, 2002.
, Modular fault diagnosis in discrete-event systems with a cpn diagnoser, 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, pp.470-475, 2015.
, Towards low-cost fault diagnosis in large component-based systems, 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, pp.1473-1478, 2006.
, A chronicle-based diagnosability approach for discrete timed-event systems : application to web-services, Journal of Universal Computer Science, vol.15, issue.17, pp.3246-3272, 2009.
, Another point of view on diagnosability, 19th International Workshop on Principles of Diagnosis, pp.331-338, 2008.
, Another point of view on diagnosability, 4th Starting Artiicial Intelligence Researchers' Symposium, vol.7, pp.151-162, 2008.
, Archistic project, wp2 deliverable. diagnosis and prognosis-state of the art, 2007.
, Characterization of requirements and costs for the diagnosability of distributed discrete event systems, 5th Workshop on Advanced Control and Diagnosis, 2007.
, Deliverable wp5 projet archistic-solutions for failure prognosis-prognostic function speciication, Laboratoire d'Analyse et d'Architecture de Systèmes, 2008.
, Deliverable wp9.1 projet archistic-fault diagnosability assurance-diagnosis performance criteria, Laboratoire d'Analyse et d'Architecture de Systèmes, 2008.
, Design requirements for the diagnosability of distributed discrete event systems, 19th International Workshop on Principles of Diagnosis, pp.347-354, 2008.
, Diagnosis and prognosis for the maintenance of complex systems, International Conference on Prognostics and Health Management, vol.10, 2008.
, Diagnosis and prognosis for the maintenance of complex systems, IEEE International Conference on Systems, Man and Cybernetics, pp.4146-4151, 2009.
, Functional prognostic architecture for the maintenance of complex systems, 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, 2009.
, Generic characterization of diagnosis and prognosis for complex heterogeneous systems, International Journal of Prognostics and Health Management, vol.4, issue.2, 2013.
, Design of indicators for the detection of time shii failures in (max, +)-linear systems, 20th World Congress of the International Federation of Automatic Control, 2017.
, Scalable diagnosability checking of event-driven systems, 20th International Joint Conference on Artiicial Intelligence, pp.575-580, 2007.
, Diagnosis of discreteevent systems using bdds, 15th International Workshop on Principles of Diagnosis, pp.197-202, 2004.
, Symbolic models for diagnosing discrete-event systems, 16th European Conference on Artiicial Intelligence, vol.8, pp.1085-1086, 2004.
, A spectrum of symbolic on-line diagnosis approaches, Twenty-Second Conference on Artiicial Intelligence, pp.335-340, 2007.
, A decentralised symbolic diagnosis approach, 19th European Conference on Artiicial Intelligence, pp.99-104, 2010.
, Window-based diagnostic algorithms for discrete event systems : What information to remember, 25th International Workshop on Principles of Diagnosis, vol.11, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01929488
, Yannick Pencolé, and Carine Jauberthie. Condition-based monitoring and prognosis in an error-bounded Bibliographie framework, 26th international workshop on Principles of Diagnosis, pp.83-90, 2015.
, Monitoring web service networks in a model-based approach, ird European Conference on Web Services, pp.192-203, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000533
, A model-based approach for diagnosing fault in web service processes, International Journal of Web Services Research, vol.6, issue.1, pp.87-110, 2009.
, Norme afnor nf en 13306, terminologie de la maintenance
, Fault detection with model parameter structured uncertainties, European Control Coference, pp.475-480, 1999.
URL : https://hal.archives-ouvertes.fr/hal-00291696
, An architecture for autonomy, International Journal of Robotics Research, vol.17, pp.315-337, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00123273
, Maintaining knowledge about temporal intervals, Communications of the ACM, vol.26, issue.11, pp.123-154, 1983.
, Systèmes de transitions nis et sémantique des processus communicants. Dunod, 1992.
, Principles of Model Checking, 2008.
, Procosa : a sooware package for autonomous system supervision, First National Workshop on Control Architectures of Robots, vol.110, pp.135-183, 1999.
, State estimation and fault diagnosis of labeled time petri net systems with unobservable transitions, Transactions on Automatic Control, vol.60, issue.4, pp.997-1009, 2014.
, An eecient approach for online diagnosis of discrete event systems, Transactions on Automatic Control, vol.54, issue.4, pp.748-759, 2009.
, On k-diagnosability of petri nets via integer linear programming, Automatica, vol.48, issue.9, pp.2047-2058, 2012.
, Global constraint catalogue : Past, present and future, 19th International Workshop on Principles of Diagnosis, vol.12, pp.21-62, 2007.
, Diagnosis of asynchronous discrete-event systems : a net unfolding approach, Transactions on Automatic Control, vol.48, issue.5, pp.714-727, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00072442
, Comparison of diierent semantics for time Petri nets, pp.293-307, 2005.
, Model-checking bounded prioriterized time petri nets, 15th International Symposium on Automated Technology for Veriication and Analysis, vol.4762, pp.523-532, 2007.
, e tool tina ? construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.42, issue.14, pp.2741-2756, 2004.
, Integrated systems health management to achieve in complex systems, 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, pp.343-364, 2006.
, Planning with incomplete information as heuristic search in belief space, 9th Workshop on Veriication and Evaluation of Computer and Communication Systems, pp.11-22, 2000.
, Distributed fault detection with delays consideration, 8th World Multi-Conference on Systemics, Cybernetics and Informatics, pp.135-140, 2004.
, Fault diagnosis using timed automata, 8th international conference on Foundations of Sooware Science and Computation Structures, pp.219-233, 2005.
, Practical approaches to multi-objective optimization, Dagstuhl Seminar, Dagstuhl, 2004.
, Synchronization of constrained transitions systems, 1st International Symposium on Parallel Symbolic Computation, pp.54-62, 1994.
, Prognosis of faults in gas turbine engines, IEEE Aerospace conference, pp.163-171, 2000.
, Graph-based algorithms for boolean function manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986.
, Advanced diagnostic/prognostic reasoning and evidence transformation techniques for improved avionics maintenance, IEEE Aerospace Conference, pp.3424-3434, 2004.
, A new approach for diagnosability analysis of petri nets using veriier nets, Transactions on Automatic Control, vol.57, issue.12, pp.3104-3117, 2012.
, Diagnosability of bounded petri nets, 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference, pp.1254-1260, 2009.
, Fault detection for discrete event systems using petri nets with unobservable transitions, Automatica, vol.46, issue.9, pp.1531-1539, 2010.
, Diagnosability of discrete-event systems using labeled petri nets, IEEE Transactions on Automation Science and Engineering, vol.11, issue.1, pp.144-153, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01479636
, Methodologies for integration of phm systems with maintenance data, IEEE Aerospace Conference, pp.4110-4118, 2007.
, Sensor minimization problems with static or dynamic observers for fault diagnosis, Joint European Conference on Artiicial Intelligence in Medicine and Medical Decision Making, pp.90-99, 1999.
, State/event-based sooware model checking, 14th International Conference on Integrated Formal Methods, pp.128-147, 2004.
, Integration of Mission Planning and Flight Scheduling for Unmanned Aerial Vehicles, pp.109-118, 2005.
, Monitoring, diagnosis and architecture guidelines for the design of health monitoring agents, 3rd International Conference on Formal Modeling and Analysis of Timed Systems, pp.196-210, 1999.
, Functional and teleological knowledge in the multimodeling approach for reasoning about physical systems : a case study in diagnosis, IEEE Transactions on Systems, Man and Cybernetics, vol.23, issue.6, pp.1718-1751, 1993.
, Coloured petri nets for chronicle recognition, International Conference on Reliable Sooware Technologies, pp.266-281, 2009.
, Formal veriication of diagnosability via symbolic model checking, 18th International Joint Conference on Artiicial Intelligence, pp.363-369, 1999.
, A theory of diagnosis for incomplete causal models, 11th International Joint Conference on Artiicial Intelligence, pp.1311-1317, 1989.
, Integrating models of the correct behavior into abductive diagnosis, 9th European Conference on Artiicial Intelligence, vol.7, pp.133-141, 1990.
, Ai and automatic control theory approaches of model-based diagnosis : links and underlying hypotheses, Fault Detection, Supervision and Safety for Technical Processes, pp.279-284, 2000.
, A comparative analysis of ai and control theory approaches to model-based diagnosis, 5th International Symposium on Artiicial Intelligence and Mathematics, pp.55-60, 1998.
, A complete chronicle discovery approach : application to activity analysis, 5th Workshop on Discrete Event Systems, vol.4, pp.321-346, 2000.
, A model-based prognostics approach applied to pneumatic valves, International Journal of Prognostics and Health Management, vol.2, issue.8, 2011.
, A knowledge compilation map, Journal of Artiicial Intelligence Research, vol.17, pp.229-264, 2002.
, Coordinated decentralized protocols for failure diagnosis of discrete event systems, Diagnostic reasoning based on structure and behavior. Artiicial Intelligence, vol.24, pp.33-86, 1984.
, On an optimization problem in sensor selection, Journal of Discrete Event Dynamic Systems : eory and Applications, vol.12, issue.4, pp.417-445, 2002.
, Local methods for localizing faults in electronic circuits, Artiicial Intelligence Laboratory, vol.49, pp.61-95, 1976.
, Characterizing diagnoses and systems, Artiicial Intelligence, vol.56, pp.197-222, 1992.
, Diagnosis with behavioral modes, 11th international joint conference on Artiicial intelligence, vol.32, pp.1324-1330, 1987.
, Extending and unifying chronicle representation with event counters, 15th European Conference on Artiicial Intelligence, pp.257-261, 2002.
, Découverte de chroniques avec contraintes temporellesàtemporelles`temporellesà partir de journaux d ?alarmes pour la supervision de réseaux de télécommunications. InPremì ere Conférence francophone sur l ?Apprentissage automatique, pp.17-24, 1999.
, Discovering chronicles with numerical time constraints from alarm logs for monitoring dynamic systems, 16th International Joint Conference on Artiicial Intelligence, pp.166-172, 1993.
, Model-based diagnosis with the default-based diagnosis engine : EEective control strategies that work in practice, 11th European Conference on Artiicial Intelligence, pp.677-681, 1994.
, Prognostics, the real issues involved with predicting life remaining, IEEE Aerospace conference, pp.457-469, 2000.
, An improvement of mcmillan's unfolding algorithm, Formal Methods in System Design, vol.20, issue.3, pp.285-310, 2002.
, Distributed monitoring of concurrent and asynchronous systems, Journal of Discrete Event Dynamic Systems : eory and Applications, vol.15, pp.33-83, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00638342
, Algorithms for distributed fault management in telecommunications networks, 11th International Conference on Telecommunications, pp.820-825, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00638325
, , vol.35, pp.49-54, 2014.
, Approximate model-based diagnosis using greedy stochastic search, Journal of Artiicial Intelligence Research, vol.38, pp.371-413, 2010.
, A model-based active testing approach to sequential diagnosis, Journal of Artiicial Intelligence Research, vol.39, pp.301-304, 2010.
, Mining of an alarm log to improve the discovery of frequent paaerns, 4th Industrial Conference on Data Mining, pp.144-152, 2004.
, Genom : A tool for the speciication and the implementation of operating modules in a distributed robot architecture, International Conference On Intelligent Robots and Systems, pp.842-848, 1997.
, Algorithm 97 : Shortest path, 345. [Forbus and deKleer, vol.5, 1962.
, A discrete-event model of asynchronous quantised systems, Automatica, vol.38, issue.8, pp.1277-1286, 2002.
, Formalizing the repair process, 10th European Conference on Artiicial Intelligence, pp.709-713, 1992.
, Formalizing the repair process-extended report, Annals of Mathematics and Artiicial Intelligence, vol.11, pp.187-201, 1994.
, Robust residual generation for diagnosis including a reference model for residual behavior, Automatica, vol.42, issue.3, pp.437-445, 2006.
, Abstract temporal diagnosis in medical domains, Artiicial Intelligence in Medicine, vol.10, issue.3, pp.209-234, 1997.
, Hybrid particle petri nets for systems health monitoring under uncertainty, International Journal of Prognostics and Health Management, vol.6, issue.22, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01229083
, e use of design descriptions in automated diagnosis, Artiicial Intelligence, vol.24, pp.411-436, 1984.
, On chronicles : Representation, on-line recognition and learning, 5th International Conference on Principles of Knowledge Representation and Reasoning, pp.597-606, 1996.
, A customizable railway benchmark to deal with fault diagnosis issues in des, 13th International Workshop on Discrete Event Systems, pp.177-182, 2016.
, State observer for des under partial observation with time petri nets, Journal of Discrete Event Dynamic Systems : eory and Applications, vol.19, issue.2, pp.137-165, 1999.
URL : https://hal.archives-ouvertes.fr/hal-00801148
, Integration of health monitoring in the avionics maintenance system, 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, pp.1519-1524, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00375373
, Self-healing systems survey and synthesis, Decision Support Systems, vol.42, issue.4, pp.2164-2185, 2007.
, Expert Systems : Principles and Programming, 2004.
, A review of research in manufacturing prognostics, IEEE International Conference on Industrial Informatics, pp.131-138, 2006.
, Diagnosis of discrete-event systems using satissability algorithms, Twenty-Second Conference on Artiicial Intelligence, pp.305-310, 2007.
, Comparison of two probabilistic fatigue damage assessment approaches using prognostic performance metrics, 20th International Joint Conference on Artiicial Intelligence, p.11, 2007.
, Estimation of damage behaviour for modelbased prognostic, 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, pp.1444-1449, 2009.
, Chronicles construction starting from the fault model of the system to diagnose, 22nd International Joint Conference on Artiicial Intelligence, pp.1306-1311, 2004.
, Partial order diagnosability of discrete event systems using petri net unfolding, A First Course in Logic : An Introduction to Model eory, Proof eory, Computability, and Complexity, pp.146-151, 1988.
, Comparison of possible approaches of centralized diagnostic, 2009.
, Model eory, Introduction to automata theory, languages, and computation, 1993.
, Inference in belief networks : A procedural guide, International Journal of Approximate Reasoning, vol.15, issue.3, pp.255-263, 1996.
, Tribology : Friction and Wear of Engineering Materials, 2017.
, Model-based fault-detection and diagnosis ? status and applications, Annual Reviews in Control, vol.29, pp.71-85, 2005.
, Trends in the application of model-based fault detection and diagnosis of technical processes, Control Engineering Practice, vol.5, issue.5, pp.709-719, 1997.
, Parallel model-based diagnosis on multi-core computers, Journal of Artiicial Intelligence Research, vol.55, issue.1, pp.835-887, 2016.
, Applied Interval Analysis : With Examples in Parameter and State Estimation, Robust Control and Robotics, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00845131
, Set inversion via interval analysis for nonlinear bounded-error estimation, Automatica, vol.29, issue.4, pp.1053-1064, 1993.
, Optimal junction trees, Tenth Annual Conference on Uncertainty in Artiicial Intelligence, pp.360-366, 1994.
, A polynomial algorithm for testing diagnosability of discrete-event systems, 8th International Workshop on Discrete Event Systems, vol.46, pp.1318-1321, 2001.
, Failure diagnosis of discrete-event systems with linear-time temporal logic speciications, Transactions on Automatic Control, vol.49, issue.6, pp.934-945, 2004.
, A distributed approach for fault detection and diagnosis based on time petri nets, Mathematics and Computers in Simulation, vol.70, pp.287-313, 2006.
, Local consistency and junction tree for diagnosis of discreteevent systems, 18th European Conference on Artiicial Intelligence, pp.209-213, 2008.
, Health management technology integration, 18th International Workshop on Principles of Diagnosis, 2007.
, Diagnosis of faults in real-time discrete event systems, 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, pp.167-176, 1994.
, System health monitoring and prognostics a review of current paradigms and practices, International Journal of Advanced Manufacturing Technology, vol.28, pp.1012-1024, 2006.
, A logic-based calculus of events, New Generation Computing, vol.4, issue.1, pp.67-95, 1986.
, Semantical considerations on modal logic, Acta Philosophica Fennica, vol.16, pp.83-94, 1963.
, Pervasive diagnosis, IEEE Transactions on Systems, Man and Cybernetics, vol.40, issue.5, pp.932-944, 2010.
, Automatic generation of chronicles and its application to alarm processing in power distribution systems, 8th International Workshop on Principles of Diagnosis, pp.61-68, 1997.
, Diagnosis of discrete-event systems from uncertain temporal observations, Artiicial Intelligence, vol.137, pp.91-163, 2002.
, Diagnosis of Active Systems : Principles and Techniques. Springer, 2003.
, Flexible diagnosis of discrete-event systems by similaritybased reasoning techniques, Artiicial Intelligence, vol.170, pp.232-297, 2006.
, Standards developments for condition-based maintenance systems, 55th Meeting of the Society for Machinery Failure Prevention Technology, pp.363-373, 2006.
, Diagnosis of des with petri net models, IEEE Transactions on Automation Science and Engineering, vol.4, issue.1, pp.114-118, 2007.
, Diagnosability of discrete event systems and its applications, Journal of Discrete Event Dynamic Systems : eory and Applications, vol.4, pp.197-212, 1994.
, Diagnosis of labeled time petri nets using time interval spliiing, 19th World Congress of e International Federation of Automatic Control, pp.1784-1789, 2014.
, Toward an eecient approach for diagnosability analysis of des modeled by labeled petri nets, 13th European Control Conference, pp.1293-1298, 2014.
, Model-based prognostic techniques applied to a suspension system, IEEE Transactions on Systems, Man and Cybernetics, vol.38, issue.5, pp.1156-1168, 2008.
, Discovery of frequent episodes in event sequences, Data Mining and Knowledge Discovery, issue.1, pp.249-289, 1997.
, Diagnostic de pannes sur des systèmessystèmes`systèmesàsystèmesà´systèmesàévénements discrets : une approchè a base de modèles symboliques, 13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artiicielle, pp.191-200, 2002.
, EEcient model based diagnosis with maximum satissability, 24th International Joint Conference on Artiicial Intelligence, pp.1966-1972, 2015.
, Additive and/or graphs, 3rd international joint conference on Artiicial intelligence, pp.1-11, 1973.
, Second order theory of min-linear systems and its application to discrete event systems, 30th IEEE Conference on Decision and Control, 1991.
, Inductive learning of chronicles, 13th European Conference on Artiicial Intelligence, pp.471-472, 1998.
, On computing correct processes and repairs sing partial behavioral models, 20th European Conference on Artiicial Intelligence, pp.582-587, 2012.
, Incorporating action into diagnostic problem solving (an abridged report), AAAI Spring Symposium on Extending eories of Action : Formal eory and Practical Applications, pp.139-144, 1995.
, A technique of state space search based on unfolding, Formal Methods in System Design, vol.6, issue.1, pp.45-65, 1995.
, A heuristic search approach to planning with continuous resources in stochastic domains, Journal of Artiicial Intelligence Research, vol.34, pp.27-59, 2009.
, Temporal Data Mining, 2010.
, Interval analysis, 1966.
, Polynomial time veriication of decentralized diagnosability of discrete event systems, Transactions on Automatic Control, vol.56, issue.7, pp.1679-1684, 2011.
, Correlation on intrusion : an application of chronicles, 6th International Conference on recent Advances in Intrusion Detection, pp.94-112, 2003.
, Controlling the complexity in model-based diagnosis, Annals of Mathematics and Artiicial Intelligence, vol.11, pp.297-314, 1994.
, A systematic analysis of measurement selection algorithms for fault isolation in dynamic systems, 9th International Workshop on Principles of Diagnosis, pp.94-101, 1998.
, Vnode-lp a validated solver for initial value problems in ordinary diierential equations, 2006.
, Temporal matching : Recognizing dynamic situations from discrete measurements, 11th international joint conference on Artiicial intelligence, pp.1255-1260, 1989.
, Ao* variant methods for automatic generation of nearoptimal diagnosis trees, 14th International Workshop on Principles of Diagnosis, pp.169-174, 2003.
, Template languages for fault monitoring of timed discrete event processes, Transactions on Automatic Control, vol.45, issue.5, pp.868-882, 2000.
, On a generalized test sequencing problem, IEEE Transactions on Systems, Man and Cybernetics, vol.22, issue.2, pp.392-396, 1992.
, Abductive Inference Models for Diagnostic Problem-Solving, First International Conference on AI Planning Systems, pp.189-197, 1990.
, Petri nets, ACM Computing Surveys, vol.9, issue.3, pp.223-252, 1977.
, From centralized to decentralized approach for optimal controller of discrete manufacturing systems, ARPN Journal of Science and Technology, vol.2, issue.10, pp.936-949, 2012.
, Altarica-constraint automata as a description language, European Journal on Automation, vol.33, pp.1033-1052, 1999.
, Explanation and prediction : An architecture for default and abductive reasoning, Computational Intelligence, vol.5, issue.2, pp.97-110, 1989.
, Planning for contingencies : A decision-based approach, Journal of Artiicial Intelligence Research, vol.4, pp.287-339, 1996.
, Diagnosability analysis for web services with constraint-based models, 18th International Workshop on Principles of Diagnosis, pp.360-367, 2007.
, Projet agata. rapport de synthèse sur l'activité : ´ etudes et déenitions de modèles, 2006.
, e control of discrete event processes, Proceedings of the IEEE, vol.77, pp.81-98, 1989.
, A theory of diagnosis from rst principles, Artiicial Intelligence, vol.32, pp.57-95, 1987.
, Hierarchical modelling and diagnosis for embedded systems, 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, pp.553-558, 2006.
, Prognostics and health management sooware for gas turbine engine bearings, 20th International Joint Conference on Artiicial Intelligence, vol.19, pp.978-988, 2006.
, Diagnosing discrete-event systems : extending the diagnoser approach to deal with telecommunication networks, 22nd International Workshop on Principle of Diagnosis, vol.12, pp.43-81, 2002.
, Task-dependent qualitative domain abstraction, Artiicial Intelligence, vol.162, pp.121-143, 2005.
, Causal temporal signature from diagnoser model for online diagnosis of discrete event systems, International Conference on Control, Decision and Information Technologies, pp.43-51, 2004.
, Active diagnosis of discrete event systems, 36th IEEE Conference on Conference : Decision and Control, pp.2976-2983, 1997.
, Diagnosability of discrete-event systems, Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995.
, Failure diagnosis using discrete event models, IEEE Transaction on Control Systems Technology, vol.4, issue.2, pp.105-124, 1996.
, VERIFICATION DE LOGICIELS. Techniques et outils du model-checking. Vuibert, 23rd AAAI Conference on Artiicial Intelligence, pp.535-540, 1999.
, A survey of artiicial intelligence for prognostics, AAAI Fall Symposium Series, 2007.
, Diagnosis and communication in distributed systems, 4th International Workshop on Discrete Event Systems, pp.144-151, 1998.
, Self-healing : sooening precision to avoid briileness : position paper for woss '02 : workshop on self-healing systems, First Workshop on Self-Healing Systems, pp.111-114, 2001.
, Sequential diagnosis by abstraction, Journal of Artiicial Intelligence Research, vol.41, pp.329-365, 2011.
, Choosing objectives in over-subscription planning, 14th International Conference on Automated Planning and Scheduling, pp.393-401, 2004.
, Conformant graphplan, 15th National/10th conference on Artiicial intelligence/Innovative applications of artiicial intelligence, pp.889-896, 1998.
, On-board diagnosis system for intermiient fault : application in automotive industry, 7th IFAC Conference on Fieldbuses and Networks in Industrial and Embedded Systems, pp.151-158, 2007.
, How many diagnoses do we need ? Artiicial Intelligence, vol.248, pp.26-45, 1998.
, What's in sd ? towards a theory of modeling for diagnosis, 2nd International Workshop on Principles of Diagnosis, pp.41-51, 1991.
, Global and local consistencies in distributed fault diagnosis for discreteevent systems, Transactions on Automatic Control, vol.50, issue.12, pp.1923-1935, 2005.
, Time Decomposition for Diagnosis of Discrete Event Systems, 24th International Workshop on Principles of Diagnosis, pp.148-153, 2013.
, Verifying the precision of diagnostic algorithms, e 21st European Conference on Artiicial Intelligence (ECAI 2014), pp.861-866, 2014.
, Learning chronicles signing multiple scenario instances, 19th World Congress of e International Federation of Automatic Control, pp.10397-10402, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01162866
, A framework for model-based repair, 11th National Conference on Artiicial Intelligence, pp.182-187, 1993.
, Diagnosis of discrete event systems using ordered binary decision diagrams, Logic, Semantics, Metamathematics : papers from 1923 to 1938, pp.152-278, 1983.
, choco : an open source java constraint programming library, Open-Source Sooware for Integer and Contraint Programming, 2008.
, On noiseless diagnosis, IEEE Transactions on Systems, Man and Cybernetics, vol.24, issue.7, pp.1074-1082, 1994.
, Active acquisition of information for diagnosis and supervisory control of discrete event systems, Journal of Discrete Event Dynamic Systems : eory and Applications, vol.17, issue.4, pp.531-583, 2007.
, A method of temporal analysis to perform online diagnosis in the context of exible manufacturing system, 16th Annual conference of IEEE Industrial Electronics Society, pp.445-450, 1990.
, Computation of minimal sensor sets from precompiled disciminability relations, 18th International Workshop on Principles of Diagnosis, pp.202-209, 2007.
, Model-based diagnosability and sensor placement application to a frame 6 gas turbine sub-system, 17th International Joint Conference on Artiicial Intelligence, pp.551-556, 2001.
, Diagnosability analysis based on component supported analytical redundancy relations, Part A : Systems and Humans, vol.36, pp.1146-1160, 2006.
, Fault diagnosis for timed automata, 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.205-221, 2002.
, Intelligent Fault Diagnosis and Prognosis for Engineering Systems, 2006.
, Alarm management via temporal paaern learning, Engineering Applications of Artiicial Intelligence, vol.65, pp.506-516, 2017.
, Distributed chronicles for recognition of failures in web services composition, XXXIX Latin American Computing Conference, 2013.
, Diagnosis of time petri nets using fault diagnosis graph, vol.60, pp.2321-2335, 2015.
, Generating conditional plans and programs, 2nd Summer Conference on Artiicial Intelligence and Simulation of Behaviour, pp.344-354, 1976.
, Plan execution, monitoring and adaptation for planetary rover, IJCAI-99 Workshop on Scheduling and Planning meet Real-time Monitoring in a Dynamic and Uncertain World, vol.56, pp.255-300, 1992.
, A general algorithm for paaern diagnosability of distributed discrete event systems, 24th IEEE International Conference on Tools with Artiicial Intelligence, pp.3327-3332, 2005.
, Polynomial-time veriication of diagnosability of partially observed discrete-event systems, Transactions on Automatic Control, vol.47, issue.9, pp.1491-1495, 2002.
, Diagnosis of discrete-event systems by separation of concerns, knowledge compilation, and reuse, 16th European Conference on Artiicial Intelligence, vol.37, pp.308-320, 2004.
, A method of combining se-tree to compute all minimal hiiing sets, Progress in Natural Science, vol.16, issue.2, pp.169-174, 2006.
, Improved algorithms for deriving all minimal connict sets in modelbased diagnosis, Advanced Intelligent Computing eories and Applications. With Aspects of eoretical and Methodological Issues. ird International Conference on Intelligent Computing, pp.157-166, 2007.
, Diagnostic des défaillances : ´ eorie et pratique pour les systèmes industriels, Hermes Science, 1995.