Philippe Dague's Website
| Responsabiliés | Synthèse | contact | english | home |    

 

 Travaux – Ouvrages – Articles

 

 

 

 

 

Revues internationales avec comité de lecture

 

[27] Model-based diagnosis of analog electronic circuits, P. Dague, Annals of Mathematics and Artificial Intelligence, special issue on Model-Based Diagnosis, vol. 11, 1-4, pp. 439-492, J.C. Baltzer, novembre 1994

 

[66] Conflicts versus analytical redundancy relations: a comparative analysis of the model based diagnosis approach from the Artificial Intelligence and Automatic Control perspectives, M.-O. Cordier, P. Dague, F. Lévy, J. Montmain, M. Staroswiecki, L. Travé-Massuyès, IEEE Transactions on Systems, Man, and Cybernetics, Part B, vol. 34, nº5, octobre 2004

 

[80] A Model-based Approach for Diagnosing Faults in Web Service Processes, Y. Yan, P. Dague, Y. Pencolé, M.-O. Cordier, International Journal of Web Services Research JWSR, vol. 6(1), pp. 87-110, janvier-mars 2009

 

[91] Diagnosability verification with Petri net unfoldings, A. Madalinski, F. Nouioua et P. Dague, International Journal of Knowledge-Based and Intelligent Engineering Systems, KES, vol. 14(2), pp. 49-55, IOS Press, avril 2010

 

[107] Undecidable Case and Decidable Case of Joint Diagnosability in Distributed Discrete Event Systems, L. Ye et P. Dague, International Journal On Advances in Systems and Measurements, vol. 14(2), pp. 49-55, IOS Press, décembre 2013

 

[114] Spacecraft Actuator Diagnosis with Principal Component Analysis: Application to the Rendez-Vous Phase of the Mars Sample Return Mission, O. Nasri, I. Gueddi, P. Dague et K. Benothman, Journal of Control Science and Engineering, vol. 2015, 2015

 

[115] Fault Detection and Isolation of Spacecraft Thrusters using an Extended Principal Component Analysis to Interval Data, I. Gueddi, O. Nasri, K. Benothman et P. Dague, International Journal of Control, Automation and Systems, 2016

 

[121] An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures, L. Ye et P. Dague, IEEE Transactions on Automatic Control , 15-1086, mai 2017

 

[122] How important is thermodynamics for computing elementary flux modes?, S. Peres, M. Jolicœur, C. Moulin, P. Dague et S. Schuster, PLOS ONE , D-16-47741, 2017

 

 

Journaux internationaux avec comité de lecture

 

[34] Qualitative Reasoning: A Survey of Techniques and Applications, groupe MQ&D (P. Dague coordinateur et coauteur), Ai COMMUNICATIONS, The European Journal on Artificial Intelligence, vol. 8, 3-4, pp. 119-192, IOS Press, septembre/décembre 1995

 

[64] Mathematical Foundations of Qualitative Reasoning, L. Travé-Massuyès, L. Ironi et P. Dague, AI Magazine, special  issue on Qualitative Reasoning, vol. 24, nº4, Winter 2003, pp. 91-106

 

 

Revues nationales avec comité de lecture

 

[2] Détermination de la topologie de Fell sur le dual du groupe de Poincaré, P. Dague, article aux C.R. de l'Académie des Sciences de Paris, t. 283 A, 27 septembre 1976

 

[39] Alarm driven supervision for telecommunication network, S. Bibas, M.-O. Cordier, P. Dague, C. Dousson, F. Lévy et L. Rozé, Annales des Télécommunications, 51 (9-10), pp. 493-500, septembre 1996

 

[67] Raisonnement causal en physique qualitative, P. Dague et L. Travé-Massuyès, numéro spécial Raisonnement Causal sous la direction de P. Dague, D. Kayser, F. Lévy et A. Nazarenko, Intellectica, 2004/1, nº 38, 44 pages, novembre 2004

 

 

 

Conférences internationales de premier plan avec comité de lecture et actes

 

[6] Plan inference and student modeling in ICAI, Y.M. Visetti et P. Dague, 6th National Conference on Artificial Intelligence AAAI-87, Seattle, juillet 1987

 

[7] Troubleshooting: when modeling is the trouble, P. Dague, P. Devès et O. Raiman, 6th National Conference on Artificial Intelligence AAAI-87, Seattle, juillet 1987 (aussi présenté à 1st International Workshop on Qualitative Physics, Urbana, mai 1987 et à 10th International Joint Conference on Artificial Intelligence IJCAI-87, Milan, août 1987), publié dans : Readings in Qualitative Reasoning about Physical Systems, eds. D.S. Weld et J. de Kleer, Morgan Kaufmann, 1990 et dans : Readings in Model-based Diagnosis, eds. W. Hamscher, L. Console et J. de Kleer, Morgan Kaufmann, 1992

 

[19] A General Consistency (Checking and Restoring) Engine for Knowledge Bases, A. Beauvieux et P. Dague, 9th European Conference on Artificial Intelligence ECAI-90, Stockholm, août 1990

 

[20] Analog systems diagnosis, P. Dague, P. Devès, P. Luciani et P. Taillibert, 9th European Conference on Artificial Intelligence ECAI-90, Stockholm, août 1990 (aussi dans ECAI-90 Application Workshop on Industrial Diagnostic Knowledge Based Systems), publié dans : Readings in Model-based Diagnosis, eds. W. Hamscher, L. Console et J. de Kleer, Morgan Kaufmann, 1992

 

[23] When oscillators stop oscillating, P. Dague, P. Devès, O. Jehl, P. Luciani et P. Taillibert, 12th International Joint Conference on Artificial Intelligence IJCAI-91, Sydney, août 1991, publié dans : Readings in Model-based Diagnosis, eds. W. Hamscher, L. Console et J. de Kleer, Morgan Kaufmann, 1992

 

[25] Numeric Reasoning with Relative Orders of Magnitude, P. Dague, 11th National Conference on Artificial Intelligence AAAI-93, Washington, juillet 1993 (aussi dans 7th International Workshop on Qualitative Reasoning, Rosario, WA., mai 1993)

 

[26] Symbolic Reasoning with Relative Orders of Magnitude, P. Dague, 13th International Joint Conference on Artificial Intelligence IJCAI-93, Chambéry, août 1993

 

[51] A comparative analysis of AI and control theory approaches to model-based diagnosis, M.-O. Cordier, P. Dague, M. Dumas, F. Lévy, J. Montmain, M. Staroswiecki et L. Travé-Massuyès, 14th European Conference on Artificial Intelligence ECAI-00, Berlin, août 2000 (et aussi 11th International Workshop on Principles of Diagnosis DX'00, Morelia, Mexique, juin 2000)

 

[60] IDD : Integrating Diagnosis in the Design of automotive systems, C. Picardi, R. Bray, F. Cascio, L. Console, P. Dague, O. Dressler, D. Millet, B. Rehfus, P. Struss et C. Vallée, 15th European Conference on Artificial Intelligence ECAI-02, Lyon, juillet 2002

 

[75] A Probabilistic Analysis of Diagnosability in Discrete Event Systems, F. Nouioua et P. Dague, 18th European Conference on Artificial Intelligence ECAI-08, Patras, Grèce, juillet 2008

 

[93] Diagnosability Analysis of Discrete Event Systems with Autonomous Components, L. Ye et P. Dague, 19th European Conference on Artificial Intelligence ECAI-10, Lisbonne, Portugal, août 2010

 

[117] Fault Manifestability Verification for Discrete Event Systems, L. Ye, P. Dague, D. Longuet, L. Brandán Briones et A. Madalinski, 22th European Conference on Artificial Intelligence ECAI-16, papier court, La Haye, Hollande, août-septembre 2016

 

[120] Diagnosability Planning for Controllable Discrete Event Systems, H. Ibrahim, P. Dague, A. Grastien, L. Ye et L. Simon, 31st National Conference on Artificial Intelligence AAAI-17, San Francisco, USA, février 2017 (et aussi dans 27th International Workshop on Principles of Diagnosis DX'16, Denver, Colorado, USA, octobre 2016)

 

 

Autres conférences internationales avec comité de lecture et actes

 

[4] Raisonnement qualitatif dans le diagnostic de pannes, P. Dague, P. Devès et O. Raiman, 6èmes Journées Internationales Les systèmes Experts et leurs Applications, Avignon, avril 1986

 

[8] DEDALE: an expert system for troubleshooting analogue circuits, P. Dague, P. Devès, J.P. Marx et O. Raiman, International Test Conference ITC-87, Washington, septembre 1987

 

[13] Interactive Checking of Knowledge Base Consistency, A. Beauvieux et P. Dague, International Computer Science Conference '88, Hong Kong, décembre 1988

 

[17] Diagnostic de systèmes analogiques, P. Dague, P. Devès, P. Luciani et P. Taillibert, 10èmes Journées Internationales Les systèmes Experts et leurs Applications, Avignon, mai 1990

 

[22] An ATMS-based propagator on numerical intervals for diagnosing continuous dynamic systems, P. Dague, P. Devès, O. Jehl, P. Luciani et P. Taillibert, 3rd International Symposium on Artificial Intelligence, Monterrey, octobre 1990

 

[48] Supervision of Telecommunication Networks, A. Osmani, L. Rozé, M.-O. Cordier, P. Dague, F. Lévy et E. Mayer, European Control Conference ECC'99, Karlsruhe, septembre 1999

 

[50] AI and Automatic control approaches of model-based diagnosis: links and underlying hypotheses, M.-O. Cordier, P. Dague, M. Dumas, F. Lévy, J. Montmain, M. Staroswiecki et L. Travé-Massuyès, IFAC SAFEPROCESS 2000, 4th Symposium on Fault Detection, Supervision and Safety for Technical Processes, Budapest, juin 2000

 

[54] Distributed model for an SDH telecommunication network diagnostics, P. Dague, F. Krief, F. Lévy et A. Osmani, International Conference on Information Systems ICIS'2001, Arlington, VI, juin 2001

 

[61] Integration of design and diagnosis  into a common process, R. Brignolo, F. Cascio, L. Console, P. Dague, P. Dubois, O. Dressler, D. Millet, B. Rehfus, P. Struss, Electronic Systems for Vehicles, VDI Verlag, Düsseldorf, pp. 53-73, 2002

 

[62] An environment for evolutionary automotive diagnosis, Y. Bennani, L. Bourgeois, P. Dague, V. Joloboff, G. Madhusudan,, M. Mateos, P. Robin, S. Sauvage, Convergence-2002, Detroit, octobre 2002

 

[71] Modeling BPEL Web services for diagnosis: towards self-healing Web services, Y. Li, T. Melliti et P. Dague, 3rd International Conference on Web Information Systems and Technologies WEBIST'07, Barcelone, Espagne, mars 2007 (une version plus étendue a été acceptée au 3rd International Workshop on Web and Mobile Information Services WAMIS'07, mais non soumise à publication)

 

[72] Modeling and Diagnosing Orchestrated Web Service Processes, Y. Yan et P. Dague, 5th IEEE International Conference on Web Services ICWS'07, Salt Lake City, Utah, USA, juillet 2007

 

[73] Decentralized Diagnosis for BPEL Web Services, L. Ye et P. Dague, 4th International Conference on Web Information Systems and Technologies WEBIST'08, Funchal, Madère, Portugal, mai 2008

 

[78] Optimizing the system observability level for diagnosability, L. Brandán Briones, A. Lazovik et P. Dague, 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ISoLA'08, Chalkidiki, Kassandra, Grèce, octobre 2008

 

[79] Distributed consistency-based diagnosis, V. Armant, P. Dague et L. Simon, 16th International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR'08, Doha, Qatar, novembre 2008

 

[87] Diagnosability of patterns in distributed discrete event systems, L. Ye et P. Dague, IFAC SAFEPROCESS 2009, 7th Symposium on Fault Detection, Supervision and Safety for Technical Processes, Barcelone, Espagne, juin-juillet 2009

 

[88] Diagnosability of Input Output Symbolic Transition Systems, G. Bourgne, P. Dague, F. Nouioua et N. Rapin, 1st International Conference on Advances in System Testing and Validation Lifecycle VALID'09, Porto, Portugal, septembre 2009

 

[89] An incremental approach for pattern diagnosability in distributed discrete event systems, L. Ye, P. Dague et Y. Yan, 21st International Conference on Tools with Artificial Intelligence ICTAI'09, Newark, NJ, USA, novembre 2009

 

[90] A decentralized model-based diagnosis for BPEL services, Y. Li, T. Melliti, L. Ye et P. Dague, 21st International Conference on Tools with Artificial Intelligence ICTAI'09, Newark, NJ, USA, novembre 2009

 

[92] Smart distance keeping: modeling and perspectives for embedded diagnosis, H. Shraïm, O. Nasri, P. Dague, O. Héron et M. Cartron, 1rst International Conference on Intelligent Systems, Modelling and Simulation ISMS'10, Liverpool, Angleterre, janvier 2010

 

[95] Fuel cell system improvement for model-based diagnosis analysis, P. Fiani, M. Batteux, P. Dague et N. Rapin, Vehicle Power and Propulsion Conference IEEE VPPC'10, Lille, septembre 2010

 

[96] Model-based decentralized embedded diagnosis inside vehicles: application to smart distance keeping function, O. Nasri, H. Shraïm, P. Dague, O. Héron et M. Cartron, Conference on Control and Fault-Tolerant Systems Systol'10, Nice, octobre 2010

 

[99] Faulty models of a fuel cell system for model-based diagnosis study, M. Batteux, N. Rapin, P. Dague et P. Fiani, poster, Fundamentals and Developments of Fuel Cells Conference FDFC'11, Grenoble, janvier 2011

 

[101] Diagnosability study of technological systems, M. Batteux, P. Dague, N. Rapin et P. Fiani, 24th International Conference on Industrial, Engineering and other Applications of Applied Intelligent Systems IEA/AIE 2011, Syracuse, NY, USA, juin 2011, LNAI 6703

 

[102] Distributed tree decomposition with privacy, V. Armant,  L. Simon et P. Dague, 18th International Conference on Principles and Practice of Constraint Programming CP 2012, Québec, Canada, octobre 2012

 

[103] A general algorithm for pattern diagnosability of distributed discrete event systems, L. Ye et P. Dague, 24th International Conference on Tools with Artificial Intelligence ICTAI'12, Athènes, Grèce, novembre 2012 (aussi 23rd International Workshop on Principles of Diagnosis DX'12, Great Malvern, Angleterre, juillet-août 2012)

 

[104] Diagnosability analysis for self-observed distributed discrete event systems, L. Ye et P. Dague, 4th International Conference on Advances in System Testing and Validation Lifecycle VALID'12, Lisbonne, Portugal, novembre 2012 (aussi 23rd International Workshop on Principles of Diagnosis DX'12, Great Malvern, Angleterre, juillet-août 2012)

 

[105] Fault detection and isolation of spacecraft thrusters by using principal component analysis, O. Nasri, P. Dague et R. Marwa, 3rd International Conference on Systems and Control ICSC'13, Alger, Algérie, octobre 2013

 

[106] Predictability analysis of distributed discrete event systems, L. Ye, P. Dague et F. Nouioua, 52nd IEEE Conference on Decision and Control CDC 2013, Florence, Italie, décembre 2013

 

[110] Fault diagnosis of spacecraft reaction wheels based on principal component analysis, O. Nasri, I Gueddi, K. Benothman et P. Dague, 4th International Conference on Systems and Control ICSC'13, Sousse, Tunisie, avril 2015

 

[112] VPCA-based fault diagnosis of spacecraft reaction wheels, I Gueddi, O. Nasri, K. Benothman et P. Dague, 25th International Conference on Information, Communication and Automation Technologies ICAT'13, Sarajevo, Bosnie-Herzégovine, octobre 2015

 

[113] A predictability algorithm for distributed discrete event systems, L. Ye, P. Dague et F. Nouioua, 17th International Conference on Formal Engineering Methods ICFEM 2015, Paris, novembre 2015

 

[116] SAT-Based Testing of Diagnosability and Predictability of Centralized and Distributed Discrete Event Systems, H. Ibrahim, P. Dague et L. Simon, 8th International Conference on Advances in System Testing and Validation Lifecycle VALID'16, Rome, août 2016

 

[119] Predictability in probabilistic discrete event systems, F. Nouioua, P. Dague et L. Ye, 8th International Conference on Soft Methods in Probability and Statistics SMPS 2016, Rome, septembre 2016

 

 

Invitation à des conférences internationales avec actes

 

[9] Qualitative reasoning in troubleshooting analogue circuits, P. Dague, P. Devès, J.P. Marx et O. Raiman, European Conference on Circuit Theory and Design ECCTD-87, Paris, septembre 1987, conférence invitée par le Pr. Neirynck de Lausanne

 

[41] Using a Model-Based Approach for monitoring telecommunication networks, the Gaspar system, S. Bibas, M.-O. Cordier, P. Dague, C. Dousson, F. Lévy et L. Rozé, IEEE Colloquium AI for Network Management Systems, Londres, avril 1997

 

 

Workshops internationaux avec comité de lecture et actes

 

[5] DEDALE: an expert system in VM/Prolog, P. Dague, P. Devès, Z. Zein et J.-P. Adam, International Workshop on Knowledge-Based Systems in Industry, Brown Boveri, Baden-Dättwil, juin 1986, publié dans : Knowledge-based Expert Systems in Industry, ed. J. Kriz, Ellis Horwood, 1987

 

[12] Order of Magnitude Revisited, P. Dague, 2nd International Workshop on Qualitative Physics, Paris, juillet 1988

 

[14] IBM PROLOG: a new implementation of Prolog, A. Beauvieux, P. Dague et N. Kelly,

[15] IBM PROLOG Language Workbench, M. Bénichou, P. Dague, J.M. Gauthier et J.-P. Nigoul,

1st International Workshop on Software Engineering, Artificial Intelligence and Expert Systems in High Energy and Nuclear Physics, Lyon, mars 1990, publiés dans : New Computing Techniques in Physics Research, eds. D. Perret-Gallix et W. Wojcik, Editions du CNRS

 

[16] Model-based diagnosis of analog systems: an application to electronic circuits, P. Dague, P. Devès, P. Luciani et P. Taillibert, 1st International Workshop on Software Engineering, Artificial Intelligence and Expert Systems in High Energy and Nuclear Physics, Lyon, mars 1990, publié dans : New Computing Techniques in Physics Research, eds. D. Perret-Gallix et W. Wojcik, Editions du CNRS

 

[18] A conflict recognition engine for model-based diagnosis of continuous dynamic physical systems, P. Dague, P. Devès, O. Jehl, P. Luciani et P. Taillibert, 2nd AAAI Workshop on Model Based Reasoning, Boston, juillet 1990

 

[21] An interval propagation and conflict recognition engine for diagnosing continuous dynamic systems, P. Dague, O. Jehl et P. Taillibert, International Workshop on Expert Systems in Engineering, Principles and Applications, Vienne, septembre 1990, publié dans : Lecture Notes in Artificial Intelligence 462, eds. G. Gottlob et W. Nejdl, Springer-Verlag

 

[30] Scenario Generation for Telecommunication Network Supervision, S. Bibas, M.-O. Cordier, P. Dague, F. Lévy et L. Rozé, IJCAI-95 Workshop on AI in Distributed Information Networks, Montréal, août 1995

 

[31] Model-based diagnosis: from troubleshooting of physical systems to validation of knowledge-based systems, P. Dague, IJCAI-95 Workshop on Validation & Verification of Knowledge-Based Systems, Montréal, août 1995

 

[35] GASPAR : A Model-Based System for Monitoring Telecommunications Networks, S. Bibas, M.-O. Cordier, P. Dague, F. Lévy et L. Rozé, CESA'96/MBS, Computational Engineering in Systems Applications IMACS-IEEE/SMC Multiconference, Invited Session on Model-Based Systems, Lille, juillet 1996

 

[36] Modelling a Telecommunication Network for Supervision Purposes, S. Bibas, M.-O. Cordier, P. Dague, F. Lévy et L. Rozé, ECAI-96 Workshop on Model-Based Systems and Qualitative Reasoning – Perspectives for Industrial Applications, Budapest, août 1996

 

[37] The monostable: a reference problem for analog diagnosis, P. Dague et P. Taillibert, 7th International Workshop on Principles of Diagnosis DX'96, Val Morin, Québec, octobre 1996

 

[38] Hidden interactions in analog circuits, C. Böttcher, P. Dague et P. Taillibert, 7th International Workshop on Principles of Diagnosis DX'96, Val Morin, Québec, octobre 1996

 

A Dynamic Lattice to Evolve Hierarchically Shared Subroutines, A. Racine, M. Schoenauer, P. Dague, 1rst European Workshop on Genetic Programming EURO-GP-98, Paris, avril 1998

 

[45] Automatic construction of processes from a bond graph representation, R. Thetiot, F. Zouaoui, M. Dumas et P. Dague, 12th International Workshop on Qualitative Reasoning QR'98, Cape Cod, MA, USA, mai 1998

 

[56] On-Board Diagnosis of a Spacecraft Hybrid Model, E. Benazera, P. Dague et L. Travé-Massuyès, On-Board Autonomy ESA-ESTEC Workshop, Noordwijk, Pays-Bas, octobre 2001

 

[58] State Tracking of Uncertain Hybrid Concurrent Systems, E. Benazera, P. Dague et L. Travé-Massuyès, 13th International Workshop on Principles of Diagnosis DX'02, Semmering, Autriche, mai 2002

 

[59] Model-based Tools for the Integration of Design and Diagnosis into a Common Process – A Project Report, P. Struss, B. Rehfus, R. Brignolo, F. Cascio, L. Console, P. Dague, P. Dubois, O. Dressler et D. Millet, 13th International Workshop on Principles of Diagnosis DX'02, Semmering, Autriche, mai 2002

 

[76] Optimal observability for diagnosability, L. Brandán Briones, A. Lazovik et P. Dague, 19th International Workshop on Principles of Diagnosis DX'08, Blue Mountains, Australie, septembre 2008

 

[77] Distributed consistency-based diagnosis without conflicts, V. Armant, P. Dague et L. Simon, 19th International Workshop on Principles of Diagnosis DX'08, Blue Mountains, Australie, septembre 2008

 

[84] A colored Petri nets model for the diagnosis of semantic faults of BPEL services, Y. Li, T. Melliti et P. Dague, International Workshop on Petri Nets and Software Engineering PNSE'09, Paris, juin 2009

 

[85] A distributed approach for pattern diagnosability, L. Ye, P. Dague et Y. Yan, 20th International Workshop on Principles of Diagnosis DX'09, Stockholm, Suède, juin 2009

 

[86] A colored Petri nets model for diagnosing data faults of BPEL services, Y. Li, T. Melliti et P. Dague, 20th International Workshop on Principles of Diagnosis DX'09, Stockholm, Suède, juin 2009

 

[94] An Optimized Algorithm for Diagnosability of Component-based Systems, L. Ye et P. Dague, 10th International Conference on Discrete Event Systems WODES'10, Berlin, Allemagne, août-septembre 2010

 

[97] Generalizing diagnosability definition and checking for open systems: a Game structure approach, T. Melliti et P. Dague, 21st International Workshop on Principles of Diagnosis DX'10, Portland, USA, octobre 2010

 

[98] Diagnosability for patterns in distributed discrete event systems, Y. Yan, L. Ye et P. Dague, 21st International Workshop on Principles of Diagnosis DX'10, Portland, USA, octobre 2010

 

[109] Probabilistic Analysis of Predictability in Discrete Event Systems, F. Nouioua, P. Dague et L. Ye, 25th International Workshop on Principles of Diagnosis DX'14, Graz, Autriche, septembre 2014

 

[111] Using Incremental SAT for Testing Diagnosability of Distributed DES, H. Ibrahim, P. Dague et L. Simon, 26th International Workshop on Principles of Diagnosis DX'15, Paris, septembre 2015

 

[118] Minimality of Metabolic Flux Modes under Boolean Regulation Constraints, P. Dague, S. Peres et L. Simon, 12th International Workshop on Constraint-Based Methods for Bioinformatics WCB'16, Toulouse, septembre 2016

 

 

Conférences nationales avec comité de lecture et actes

 

[74] Diagnostic distribué à base de modèles sans calcul préalable des conflits, V. Armant, P. Dague et L. Simon, 4èmes Journées Francophones de Programmation par Contraintes, Nantes, juin 2008

 

[100] Génération du comportement observable d'un systè pour l'étude de la diagnosticabilité de défauts, M. Batteux, N. Rapin, P. Dague, P. Fiani, 9ème Congrès international pluridisciplinaire Qualité et Sûreté de Fonctionnement QUALITA 2011, Angers, mars 2011

 

 

Invitation à des conférences nationales

 

[10] DEDALE : aide au diagnostic de pannes des cartes électroniques, P. Dague, P. Devès, J.P. Marx et O. Raiman, Journées Diagnostic et Maintenance par systèmes Experts organisées par la Société des Electriciens et Electroniciens, Paris, octobre 1987, conférence invitée

 

[11] Un système; expert pour le dépannage des circuits électroniques, P. Dague, P. Devès, J.P. Marx et O. Raiman, Afcet, Ciame, 1ères journées nationales sur l'électronique et l'informatique au service de la maintenance, Paris, octobre 1987, conférence invitée

 

 

Workshops nationaux

 

[29] Modélisation, Diagnostic et Supervision de Réseaux de Télécommunications, S. Bibas, M.-O. Cordier, P. Dague, F. Lévy et L. Rozé, Séminaire Logiciels pour les Télécommunications, Bordeaux, mai 1995

 

[32] Le projet GASPAR : Gestion d'alarmes par simulation des pannes sur le réseau Transpac, S. Bibas, M.-O. Cordier, P. Dague, F. Lévy et L. Rozé, Séminaire Gestion et Supervision de Réseaux, Lannion, octobre 1995

 

 

Livres

 

[40] Le raisonnement qualitatif pour les sciences de l'ingénieur, ouvrage collectif sous la direction de L. Travé-Massuyès, P. Dague (auteur dans ce cadre d'environ 150 pages) et F. Guerrin, Hermès, mai 1997

 

[46] Vocabulaire des sciences cognitives, O. Houdé, D. Kayser, O. Kœnig, J. Proust et F. Rastier, Puf, mai 1998. Rédaction des entrées abduction et physique qualitative (2,5 pages)

 

[53] Diagnostic, Intelligence Artificielle et Reconnaissance de Formes, sous la direction de B. Dubuisson, traité IC2 d'Hermès, juin 2001. Rédaction du chapitre Théorie logique du diagnostic à base de modèles, pp 17-105

 

[63] Modèles et raisonnements qualitatifs, ouvrage collectif sous la direction de L. Travé-Massuyès et P. Dague (auteur dans ce cadre d'environ 85 pages), traité IC2 d'Hermès, octobre 2003

 

[83] WS-DIAMOND: Web Services—DIAgnosability, MONitoring, and Diagnosis, WS-DIAMOND consortium (38 co-auteurs), At Your Service: Service-Oriented Computing from An EU Perspective, MIT Press, chap. 9, pp 213-239, mai 2009

 

[108] Diagnostic et supervision : approches à base de modèles, M.-O. Cordier, P. Dague, Y. Pencolé, L. Travé-Massuyès, chap. 18 (32 pages), in Panorama de l'intelligence artificielle, ses bases méthodologiques, ses développements, coord. P. Marquis, O. Papini, H. Prade, vol. 1, Représentation des connaissances et formalisation des raisonnements, Cépaduès éditions, mai 2014. Version anglaise : Diagnosis and supervision: model-based approaches, in A guided tour of artificial intelligence research, vol. 1, Knowledge representation and reasoning, Springer, 2017

 

 

Thèse et habilitation

 

[1] Détermination de la topologie sur le dual du groupe de Poincaré, P. Dague, thèse de 3ème cycle soutenue le 11 juin 1976 à l'Université Paris 6

 

[24] Diagnostic : thème et variations, P. Dague, habilitation à diriger des recherches, spécialité Informatique, soutenue le 6 avril 1992 à l'Université Paris 6

 

 

Rapports

 

[3] DEDALE système Expert d'Aide au Dépannage des Circuits Électroniques Analogiques, P. Dague et P. Devès, rapport interne, Centre Scientifique IBM France et Électronique Serge Dassault, 1985

 

[28] Gestion de l'Évolutif et de l'Incertain dans une base de Connaissances, projet interPRC, rapport final, décembre 1994

 

[33] Modélisation, Diagnostic et Supervision de Réseaux de Télécommunications, S. Bibas, M.-O. Cordier, P. Dague, F. Lévy et L. Rozé, rapports techniques CNET 93 1B 142, nº 1 à 6, 1994-1996

 

[42] Vehicle Model Based Diagnosis, VMBD consortium, European Brite-Euram III contract nº BRPR-CT95-0138, project nº BE 95/2128 ; technical reports TR1, décembre 1996, TR2, mai 1997, TR7, juin 1997, TR16, juillet 1997, TR3, août 1997, TR13, septembre 1997, TR4, septembre 1997, TR8-9, janvier 1998, TR6, juillet 1998, TR18, février 1999 ; internal reports IR1, janvier 1997, IR2, février 1997 ; 1st twelve-monthly progress report, avril 1997, mid-term progress report, septembre 1997, 2nd twelve-monthly progress report, avril 1998, final report, mars 1999

 

[43] Modélisation, Diagnostic et Supervision de Réseaux de Télécommunications, M.-O. Cordier, P. Dague, F. Krief, F. Lévy, E. Mayer, A. Osmani et L. Rozé, rapport techniques CNET 97 1B 437, nº 1, novembre 1997, nº 2, octobre 1998, nº3, septembre 1999, rapport final, novembre 2000

 

[44] Surveillance et interprétation d'alarmes en milieu industriel, M. Allouche, S. Bibas, S. Cauvin, M.-O. Cordier, P. Dague, G. Deflandres, C. Dousson, M. Dumas, D. Fontaine, S. Gentil, P. Laborie, F. Lévy, J. Montmain, M. Porcheron, G. Ramaux, L. Rozé, C. Sayettat, I. Servet et L. Travé-Massuyès, rapport d'activité du groupe Alarme, LIPN, janvier 1998

 

[47] Etude CNES dans le cadre du DE Autonomie, thème : Diagnostic et Décision à bord, P. Dague et L. Travé-Massuyès, rapport nº1 : Approches pour le diagnostic, mars 1999, rapport nº2 : Problèmes de décision et validation, mai 1999

 

[49] Modélisation et Apprentissage pour une Gestion Distribuée des Alarmes, participants du projet RNRT MAGDA, rapports d'avancement nº1, juin 1999, nº2, décembre 1999, nº3, juin 2000, nº4, janvier 2001 ; rapport final, décembre 2001

 

[52] Integrated Design process for on-board Diagnosis, IDD consortium, 5th Framework Programme of the European Community, proposal nº GDR1-1999-11263, contract nº G3RD-CT 1999-00058 ; technical reports TR1.1, juillet 2000, TR1.2, novembre 2000, TR1.3, novembre 2000, TR1.4, février 2001, TR2.1, mai 2001, TR3.1, août 2001, TR3.2, septembre 2001, TR2.3, février 2002, TR2.2, TR4.1, TR4.2, mai 2002, TR3.3, TR4.3, février 2003, annual reports juillet 2001, mai 2002, mid-term report, novembre 2001, final report, février 2003

 

[55] Etude CNES Architecture logicielle pour satellites autonomes, E. Benazera, P. Dague et L. Travé-Massuyès, rapport, septembre 2001

 

[57] Etude dans le cadre du projet de l'ESA, Autonomy Requirements and Technologies for Future Constellations of Satellites, E. Benazera, P. Dague et L. Travé-Massuyès, rapport WP3110, Characterization of FDIR Component Technologies, 93 pages, janvier 2002

 

[65] Modélisation et Apprentissage pour une Gestion Distribuée des Alarmes De bout En boUt, participants du projet RNRT MAGDA2/RP/2 1.2, rapport annuel, décembre 2002 ; rapport final, février 2004

 

[68] Réalisation d'un Environnement systè Evolutif pour le Diagnostic Automobile, projet RNTL-2001-TBD Reseda ; rapport  nº1 : Etude de la fonction GDPA, janvier 2004 et rapport nº 2 : Diagnostic du systè EMB relativement  à la fonction GDPA, février 2004, Y. Elmrabet, P. Dague, A. Osmani ; rapport final, participants du projet, décembre 2004

 

[69] Web Services – DIAgnosability, MONitoring and Diagnosis, WS-DIAMOND consortium, 6th Framework Programme of the European Community, IST, STREP contract nº 516933 ; deliverables D1.1, D1.2, mars 2006, D2.1, juillet 2006, D4.1, août 2006, D3.1, D4.2, D4.4, septembre 2006, D3.3, D5.1, avril 2007, D4.6, juillet 2007, D3.2, D4.3, D4.5, janvier 2008, D5.2, février 2008, D2.2, D2.3, mars 2008, D3.4, D4.7, D5.3, mai 2008

 

[70] DIAgnostic de FOnctions REparties, participants du projet PREDIT GO 9 DIAFORE, contrat ANR-05-PDIT-016-01, rapport d'avancement intermédiaire, novembre 2006, rapport semestriel, février 2007, rapport de coordination et communication, mars 2007, rapport d'avancement à 1 an, mai 2007, rapport semestriel, novembre 2007, rapport d'avancement à 2 ans, mars 2008, rapport final, septembre 2009

 

[81] Diagnosability verification with Petri net unfoldings, A. Madalinski, F. Nouioua et P. Dague, rapport de recherche LRI nº 1516, mars 2009

 

[82] Diagnosticabilité des systèmes à événements discrets : état de l'art, F. Nouioua et P. Dague, rapport de recherche LRI nº 1517, mars 2009