Philippe Dague

Publication Activity (10 Years)

Years Active: 1987-2021
Publications (10 Years): 11

Top Topics

Fault Diagnosis

Principal Component Analysis

Discrete Event Systems

Coloured Petri Nets

Top Venues

Publications

Philippe Dague
Metabolic Pathway Analysis in the Presence of Biological Constraints. Comput. 9 (10) (2021)
Philippe Dague, Lulu He, Lina Ye
How to be sure a faulty system does not always appear healthy? Innov. Syst. Softw. Eng. 16 (2) (2020)
Wenbo Zhou, Philippe Dague, Lei Liu, Lina Ye, Fatiha Zaïdi
A Coloured Petri Nets Based Attack Tolerance Framework. APSEC (2020)
Hadi Zaatiti, Jean-Pierre Gallois, Lina Ye, Philippe Dague
Automating Abstraction Computation of Hybrid Systems. CICM Workshops (2018)
Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski
How to Be Sure a Faulty System Does Not Always Appear Healthy? VECoS (2018)
Lina Ye, Philippe Dague
An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures. IEEE Trans. Autom. Control. 62 (4) (2017)
Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. DX (2017)
Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon
Diagnosability Planning for Controllable Discrete Event Systems. AAAI (2017)
Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski
Fault Manifestability Verification for Discrete Event Systems. ECAI (2016)
Farid Nouioua, Philippe Dague, Lina Ye
Predictability in Probabilistic Discrete Event Systems. SMPS (2016)
Imen Gueddi, Othman Nasri, Kamel BenOthman, Philippe Dague
Interval extended PCA-based fault diagnosis of spacecraft thrusters. CoDIT (2016)
Othman Nasri, Imen Gueddi, Kamel BenOthman, Philippe Dague
Fault diagnosis of spacecraft reaction wheels based on principal component analysis. ICSC (2015)
Imen Gueddi, Othman Nasri, Kamel BenOthman, Philippe Dague
VPCA-based fault diagnosis of spacecraft reaction wheels. ICAT (2015)
Hassan Ibrahim, Philippe Dague, Laurent Simon
Using Incremental SAT for Testing Diagnosability of Distributed DES. DX (2015)
Lina Ye, Philippe Dague, Farid Nouioua
A Predictability Algorithm for Distributed Discrete Event Systems. ICFEM (2015)
Lina Ye, Philippe Dague, Farid Nouioua
Predictability analysis of distributed discrete event systems. CDC (2013)
Vincent Armant, Laurent Simon, Philippe Dague
Distributed Tree Decomposition with Privacy. CP (2012)
Lina Ye, Philippe Dague
A General Algorithm for Pattern Diagnosability of Distributed Discrete Event Systems. ICTAI (2012)
Michel Batteux, Philippe Dague, Nicolas Rapin, Philippe Fiani
Diagnosability Study of Technological Systems. IEA/AIE (1) (2011)
Lina Ye, Philippe Dague
Diagnosability Analysis of Discrete Event Systems with Autonomous Components. ECAI (2010)
Agnes Madalinski, Farid Nouioua, Philippe Dague
Diagnosability verification with Petri net unfoldings. Int. J. Knowl. Based Intell. Eng. Syst. 14 (2) (2010)
Lina Ye, Philippe Dague
An optimized algorithm for diagnosability of component-based systems. WODES (2010)
Lina Ye, Philippe Dague, Yuhong Yan
An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems. ICTAI (2009)
Yingmin Li, Lina Ye, Philippe Dague, Tarek Melliti
A Decentralized Model-Based Diagnosis for BPEL Services. ICTAI (2009)
Yuhong Yan, Philippe Dague, Yannick Pencolé, Marie-Odile Cordier
A Model-Based Approach for Diagnosing Fault in Web Service Processes. Int. J. Web Serv. Res. 6 (1) (2009)
Laura Brandán Briones, Alexander Lazovik, Philippe Dague
Optimizing the System Observability Level for Diagnosability. ISoLA (2008)
Lina Ye, Philippe Dague
Decentralized Diagnosis for BPEL Web Services. WEBIST (1) (2008)
Farid Nouioua, Philippe Dague
A probabilistic analysis of diagnosability in discrete event systems. ECAI (2008)
Vincent Armant, Philippe Dague, Laurent Simon
Distributed Consistency-Based Diagnosis. LPAR (2008)
Yuhong Yan, Philippe Dague
Modeling and Diagnosing OrchestratedWeb Service Processes. ICWS (2007)
Yingmin Li, Tarek Melliti, Philippe Dague
Modeling BPEL Web Services for Diagnosis: Towards Self-healing Web Services. WEBIST (1) (2007)
Marie-Odile Cordier, Philippe Dague, François Lévy, Jacky Montmain, Marcel Staroswiecki, Louise Travé-Massuyès
Conflicts versus analytical redundancy relations: a comparative analysis of the model based diagnosis approach from the artificial intelligence and automatic control perspectives. IEEE Trans. Syst. Man Cybern. Part B 34 (5) (2004)
Louise Travé-Massuyès, Liliana Ironi, Philippe Dague
Mathematical Foundations of Qualitative Reasoning. AI Mag. 24 (4) (2004)
Claudia Picardi, Rosanna Bray, Fulvio Cascio, Luca Console, Philippe Dague, David Millet, Bernd Rehfus, Peter Struss, Christian Vallée
IDD: Integrating Diagnosis in the Design of automotive systems. ECAI (2002)
Philippe Dague, Francine Krief, François Lévy, Aomar Osmani
Distributed Model for an SDH Telecommunication Network Diagnosis. IS (2001)
Marie-Odile Cordier, Philippe Dague, Michel Dumas, François Lévy, Jacky Montmain, Marcel Staroswiecki, Louise Travé-Massuyès
A Comparative Analysis of AI and Control Theory Approaches to Model-based Diagnosis. ECAI (2000)
Alain Racine, Marc Schoenauer, Philippe Dague
A Dynamic Lattice to Evolve Hierarchically Shared Subroutines. EuroGP (1998)
Philippe Dague
Qualitative Reasoning: A Survey of Techniques and Applications. AI Commun. 8 (3/4) (1995)
Philippe Dague
Model-Based Diagnosis of Analog Electronic Circuits. Ann. Math. Artif. Intell. 11 (1-4) (1994)
Philippe Dague
Numeric Reasoning with Relative Orders of Magnitude. AAAI (1993)
Philippe Dague
Symbolic Reasoning with Relative Orders of Magnitude. IJCAI (1993)
Philippe Dague, Olivier Jehl, Philippe Deves, Pierre Luciani, Patrick Taillibert
When Oscillators Stop Oscillating. IJCAI (1991)
Philippe Dague, Olivier Jehl, Patrick Taillibert
An Interval Propagation and Conflict Recognition Engine for Diagnosing Continuous Dynamic Systems. Expert Systems in Engineering (1990)
Alain Beauvieux, Philippe Dague
A General Consistency (Checking and Restoring) Engine for Knowledge Bases. ECAI (1990)
Philippe Dague, Philippe Deves, Pierre Luciani, Patrick Taillibert
Analog Systems Diagnosis. ECAI (1990)
Y. M. Visetti, Philippe Dague
Plan Inference and Student Modeling in ICAI. AAAI (1987)
Philippe Dague, Olivier Raiman, Philippe Deves
Troubleshooting: When Modeling Is the Trouble. AAAI (1987)