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
[127] Thermodynamic constraints for identifying the elementary
flux modes, S. Peres, S. Schuster et P. Dague,
Biochemical Society Transactions , vol. 46(3), pp. 641-647, mai 2018
[132] How to be Sure a Faulty System Does not Always Appear Healthy?
Fault Manifestability Analysis for Discrete Event and Timed Systems, P. Dague, L. He et L. Ye,
Innovations in Systems and Software Engineering (ISSE) , a NASA journal, Springer, 2019
[133] Metabolic Pathway Analysis in the Presence
of Biological Constraints, P. Dague, Computation,
vol. 9(10), octobre 2021
[137] Towards a qualitative theory of the
interruption of eating behavior change, P. Dague, L. Muller, L. Paulevé, M. Irigoin-Guichandut,
Journal of Theoretical Biology,
vol. 581, mars 2024
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
[129] SMT-based Diagnosability Analysis of Real-Time Systems,
L. He, L. Ye et P. Dague, IFAC SAFEPROCESS 2018, 10th Symposium
on Fault Detection, Supervision and Safety for Technical Processes, Varsovie, Pologne, août 2018
[130] How to be Sure a Faulty System Does not Always Appear Healthy?,
L. Ye, P. Dague, D. Longuet, L. Brandán Briones et A. Madalinski, VECoS 2018, 12th International Conference
on Verification and Evaluation of Computer and Communication Systems, Grenoble, septembre 2018
[134] A Coloured Petri Nets Based Attack Tolerance Framework,
W. Zhou, P. Dague, L. Liu, L. Ye et F. Zaïdi, APSEC 2020, 27th Asia-Pacific Software Engineering Conference, Singapour, décembre 2020
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
[123] Computing EFMs consistent with equilibrium constants,
S. Peres, P. Dague, M. Jolicœur et S. Schuster,
Metabolic Pathway Analysis MPA'17, Bozeman, MT, USA, juillet 2017
[124] Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis,
H. Zaatiti, L. Ye, P. Dague, et J.-P. Gallois,
28th International Workshop on Principles of Diagnosis DX'17, Brescia, Italie, septembre 2017 ;
version longue dans les proceedings, Kalpa Publications in Computing, volume 4, pp. 124-143, 2018
[128] Automating Abstraction Computations of Hybrid Systems,
H. Zaatiti, L. Ye, P. Dague, et J.-P. Gallois,
Formal Verification of Physical Systems FVPS 2018, workshop of the 11th Conference on Intelligent Computer Mathematics CICM 2018, Hagenberg, Autriche, août 2018 ;
version longue dans les proceedings, Kalpa Publications in Computing, volume 4, pp. 124-143, 2018
[131] Manifestability Verification of Discrete Event Systems,
L. Ye, P. Dague et L. He,
30th International Workshop on Principles of Diagnosis DX'19, Klagenfurt, Autriche, novembre 2019
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, 2018
[126]
Abstractions refinement for hybrid systems diagnosability analysis, H. Zaatiti, L. Ye, P. Dague,
et J.-P. Gallois, in Diagnosability,
Security and Safety of Hybrid Dynamic and Cyber-Physical Systems,
Springer, 2018
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
[125] Journées BIOSS-IA 2017, L. Paulevé et P. Dague,
Bulletin 97 de l'AFIA - Association française pour l'Intelligence Artificielle, 2017