|
|
||
|---|---|---|
|
hal-00643674v1
Communication dans un congrès
Michel Batteux, Philippe Fiani, Nicolas Rapin, Philippe Dague. Génération du comportement observable d'un système pour l'étude de la diagnosticabilité de défauts QUALITA 2011, Mar 2011, Angers, France. 2011 |
||
|
hal-00643664v1
Communication dans un congrès
Michel Batteux, Philippe Dague, Nicolas Rapin, Philippe Fiani. Diagnosability study of technological systems 24th International Conference on Industrial, Engineering and other Applications of Applied Intelligent Systems IEA/AIE 2011, Jun 2011, Syracuse, United States. 6703, 2011, LNAI |
||
|
inria-00290726v1
Communication dans un congrès
Vincent Armant, Philippe Dague, Laurent Simon. Diagnostic distribué à base de modèles sans calcul préalable des conflits Gilles Trombettoni. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, Jun 2008, Nantes, France. pp.41-48, 2008 |
||
|
inria-00540650v1
Article dans une revue
Agnes Madalinski, Farid Nouioua, Philippe Dague. Diagnosability verication with Petri net unfoldings International Journal of Knowledge-Based and Intelligent Engineering Systems, IOS Press, 2010, 14 (2), pp.49-55 |
||
|
hal-00667815v1
Communication dans un congrès
Yingmin Li, Lina Ye, Philippe Dague, Tarek Melliti. A Decentralized Model-Based Diagnosis for BPEL Services 21st International Conference on Tools with Artificial Intelligence (ICTAI 2009), Nov 2009, Newark, NJ, United States. pp.609--616, 2009, <10.1109/ICTAI.2009.77> |
||
|
inria-00540764v1
Communication dans un congrès
Lina Ye, Philippe Dague. An Optimized Algorithm for Diagnosability of Component-based Systems 10th International Conference on Discrete Event Systems WODES'10, Aug 2008, Berlin, Germany. 2010 |
||
|
inria-00540829v1
Communication dans un congrès
Othman Nasri, Hassan Shraïm, Philippe Dague, Olivier Héron, Mickael Cartron. Model-based Decentralized Embedded Diagnosis inside Vehicles: Application to Smart Distance Keeping Function Conference on Control and Fault-Tolerant Systems Systol'10, Oct 2010, Nice, France. 2010 |
||
|
inria-00540649v1
Communication dans un congrès
Lina Ye, Philippe Dague. Diagnosability Analysis of Discrete Event Systems with Autonomous Components European Conference on Artificial Intelligence ECAI, Aug 2010, Lisbonne, Portugal. 2010 |
||
|
inria-00540819v1
Communication dans un congrès
Hassan Shraïm, Othman Nasri, Philippe Dague, Olivier Héron, Mickael Cartron. Smart distance keeping: modeling and perspectives for embedded diagnosis 1rst International Conference on Intelligent Systems, Modelling and Simulation ISMS'10, Jan 2010, Liverpool, United Kingdom. 2010 |
||
|
inria-00540836v1
Communication dans un congrès
Philippe Fiani, Michel Batteux, Philippe Dague, Nicolas Rapin. Fuel Cell System Improvement for Model-Based Diagnosis Analysis Vehicle Power and Propulsion Conference IEEE VPPC, Sep 2010, Lille, France. 2010 |
||
|
inria-00540844v1
Communication dans un congrès
Yuhong Yan, Lina Ye, Philippe Dague. Diagnosability for Patterns in Distributed Discrete Event Systems 21st International Workshop on Principles of Diagnosis DX'10, Oct 2010, Portland, OR, United States. 2010 |
||
|
inria-00540849v1
Communication dans un congrès
Tarek Melliti, Philippe Dague. Generalizing diagnosability definition and checking for open systems: a Game structure approach 21st International Workshop on Principles of Diagnosis DX'10, Oct 2010, Portland, OR, United States. 2010 |
||
|
hal-01488806v1
Rapport
Farid Nouioua, Philippe Dague. Diagnosticabilité des systèmes à événements discrets : état de l'art [Rapport de recherche] LRI, Université Paris-Sud. 2009 |
||
|
|
||