Philippe Dague

According to our database1, Philippe Dague authored at least 41 papers between 1987 and 2017.

Collaborative distances :
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures.
IEEE Trans. Automat. Contr., 2017

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis.
Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

Diagnosability Planning for Controllable Discrete Event Systems.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Predictability in Probabilistic Discrete Event Systems.
Proceedings of the Soft Methods for Data Science, 2016

Fault Manifestability Verification for Discrete Event Systems.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Interval extended PCA-based fault diagnosis of spacecraft thrusters.
Proceedings of the International Conference on Control, 2016

2015
Using Incremental SAT for Testing Diagnosability of Distributed DES.
Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31, 2015

A Predictability Algorithm for Distributed Discrete Event Systems.
Proceedings of the Formal Methods and Software Engineering, 2015

VPCA-based fault diagnosis of spacecraft reaction wheels.
Proceedings of the XXV International Conference on Information, 2015

2013
Predictability analysis of distributed discrete event systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
A General Algorithm for Pattern Diagnosability of Distributed Discrete Event Systems.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Distributed Tree Decomposition with Privacy.
Proceedings of the Principles and Practice of Constraint Programming, 2012

2011
Diagnosability Study of Technological Systems.
Proceedings of the Modern Approaches in Applied Intelligence, 2011

2010
Diagnosability verification with Petri net unfoldings.
KES Journal, 2010

An optimized algorithm for diagnosability of component-based systems.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Diagnosability Analysis of Discrete Event Systems with Autonomous Components.
Proceedings of the ECAI 2010, 2010

2009
A Model-Based Approach for Diagnosing Fault in Web Service Processes.
Int. J. Web Service Res., 2009

An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems.
Proceedings of the ICTAI 2009, 2009

A Decentralized Model-Based Diagnosis for BPEL Services.
Proceedings of the ICTAI 2009, 2009

2008
Decentralized Diagnosis for BPEL Web Services.
Proceedings of the WEBIST 2008, 2008

Distributed Consistency-Based Diagnosis.
Proceedings of the Logic for Programming, 2008

Optimizing the System Observability Level for Diagnosability.
Proceedings of the Leveraging Applications of Formal Methods, 2008

A probabilistic analysis of diagnosability in discrete event systems.
Proceedings of the ECAI 2008, 2008

2007
Modeling BPEL Web Services for Diagnosis: Towards Self-healing Web Services.
Proceedings of the WEBIST 2007, 2007

Modeling and Diagnosing OrchestratedWeb Service Processes.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

2004
Conflicts versus analytical redundancy relations: a comparative analysis of the model based diagnosis approach from the artificial intelligence and automatic control perspectives.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2004

Mathematical Foundations of Qualitative Reasoning.
AI Magazine, 2004

2002
IDD: Integrating Diagnosis in the Design of automotive systems.
Proceedings of the 15th Eureopean Conference on Artificial Intelligence, 2002

2001
Distributed Model for an SDH Telecommunication Network Diagnosis.
Proceedings of the ISCA 10th International Conference on Intelligent Systems, 2001

2000
A Comparative Analysis of AI and Control Theory Approaches to Model-based Diagnosis.
Proceedings of the ECAI 2000, 2000

1998
A Dynamic Lattice to Evolve Hierarchically Shared Subroutines.
Proceedings of the Genetic Programming, First European Workshop, 1998

1995
Qualitative Reasoning: A Survey of Techniques and Applications.
AI Commun., 1995

1994
Model-Based Diagnosis of Analog Electronic Circuits.
Ann. Math. Artif. Intell., 1994

1993
Symbolic Reasoning with Relative Orders of Magnitude.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Numeric Reasoning with Relative Orders of Magnitude.
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1991
When Oscillators Stop Oscillating.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990
An Interval Propagation and Conflict Recognition Engine for Diagnosing Continuous Dynamic Systems.
Proceedings of the Expert Systems in Engineering, 1990

Analog Systems Diagnosis.
ECAI, 1990

A General Consistency (Checking and Restoring) Engine for Knowledge Bases.
ECAI, 1990

1987
Plan Inference and Student Modeling in ICAI.
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

Troubleshooting: When Modeling Is the Trouble.
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987


  Loading...