Biblio

Export 35 results:
Author Title Type [ Year(Asc)]
Filters: Author is Philippe Dague  [Clear All Filters]
2015
Y. Pencolé, Travé-Massuyès, L., and Dague, P., Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015), CEUR Workshop Proceedings, vol. 1507. {Yannick Pencolé and Louise Travé-Massuyès and Philippe Dague}, Paris, France, p. 302, 2015.
2012
L. Ye and Dague, P., Diagnosability analysis for self-observed distributed discrete event systems, in Proc. of International Conference on Advances in System Testing and Validation Lifecycle (VALID), Lisbonne, Portugal, 2012.
V. Armant, Dague, P., and Simon, L., Distributed Tree Decomposition by Local Elections with One Token, in Actes des Journées de l'Intelligence Artificielle Fondamentale, (JIAF), Toulouse, France, 2012.
V. Armant, Simon, L., and Dague, P., Distributed tree decomposition with privacy, in Proc. of International Conference on Principles and Practice of Constraint Programming (CP), Québec, Canada, 2012, pp. 102-117.
L. Ye and Dague, P., A general algorithm for pattern diagnosability of distributed discrete event systems, in Proc. of International Workshop on Principles of Diagnosis (DX), Great Malvern, United Kingdom, 2012.
L. Ye and Dague, P., A general algorithm for pattern diagnosability of distributed discrete event systems, in Proc. of International Conference on Tools with Artificial Intelligence (ICTAI), Athènes, Greece, 2012.
L. Ye and Dague, P., New Results for Joint Diagnosability of Self-observed Distributed Discrete Event Systems, in Proc. of International Workshop on Principles of Diagnosis (DX), Great Malvern, United Kingdom, 2012.
2011
M. Batteux, Dague, P., Rapin, N., and Fiani, P., Diagnosability study of technological systems, in Conf. of International Conference on Industrial, Engineering and other Applications of Applied Intelligent Systems (IEA/AIE), Syracuse, United States, 2011, vol. 6703.
M. Batteux, Rapin, N., Dague, P., and Fiani, P., Faulty models of a fuel cell system for model-based diagnosis study, in Fundamentals and Developments of Fuel Cells Conference (FDFC), Grenoble, France, 2011.
M. Batteux, Fiani, P., Rapin, N., and Dague, P., Génération du comportement observable d'un système pour l'étude de la diagnosticabilité de défauts, in QUALITA 2011, Angers, France, 2011.
2010
L. Ye and Dague, P., Diagnosability Analysis of Discrete Event Systems with Autonomous Components, in Proc. of European Conference on Artificial Intelligence (ECAI), Lisbonne Portugal, 2010.
Y. Yan, Ye, L., and Dague, P., Diagnosability for Patterns in Distributed Discrete Event Systems, in Proc. of International Workshop on Principles of Diagnosis (DX), Portland, OR United States, 2010.
A. Madalinski, Nouioua, F., and Dague, P., Diagnosability verication with Petri net unfoldings, International Journal of Knowledge-Based and Intelligent Engineering Systems (KES), vol. 14(2), pp. 49-55, 2010.
P. Fiani, Batteux, M., Dague, P., and Rapin, N., Fuel Cell System Improvement for Model-Based Diagnosis Analysis, in Proc. of IEEE Vehicle Power and Propulsion Conference (VPPC), Lille France, 2010.
T. Melliti and Dague, P., Generalizing diagnosability definition and checking for open systems: a Game structure approach, in Proc. of International Workshop on Principles of Diagnosis (DX), Portland, OR United States, 2010.
O. Nasri, Shraim, H., Dague, P., Héron, O., and Cartron, M., Model-based Decentralized Embedded Diagnosis inside Vehicles: Application to Smart Distance Keeping Function, in Proc. of Conference on Control and Fault-Tolerant Systems (Systol), Nice France, 2010.
L. Ye and Dague, P., An Optimized Algorithm for Diagnosability of Component-based Systems, in Proc. of International Conference on Discrete Event Systems (WODES), Berlin Germany, 2010.
H. Shraim, Nasri, O., Dague, P., Héron, O., and Cartron, M., Smart distance keeping: modeling and perspectives for embedded diagnosis, in Proc. of International Conference on Intelligent Systems, Modelling and Simulation (ISMS), Liverpool United Kingdom, 2010.
2009
Y. Li, Melliti, T., and Dague, P., A colored Petri nets model for diagnosing data faults of BPEL services, in Proc. of International Workshop on Principles of Diagnosis (DX), 2009.
Y. Li, Melliti, T., and Dague, P., A colored Petri nets model for the diagnosis of semantic faults of BPEL services, in Proc. of International Workshop on Petri Nets and Software Engineering (PNSE), 2009.
Y. Li, Melliti, T., Ye, L., and Dague, P., A decentralized model-based diagnosis for BPEL services, in Proc. of International Conference on Tools with Artificial Intelligence (ICTAI), 2009.
G. Bourgne, Dague, P., Nouioua, F., and Rapin, N., Diagnosability of Input Output Symbolic Transition Systems, in Proc. of International Conference on Advances in System Testing and Validation Lifecycle (VALID), 2009.
L. Ye and Dague, P., Diagnosability of patterns in distributed discrete event systems, in Proc. of IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS), 2009.
A. Madalinski, Nouioua, F., and Dague, P., Diagnosability verification with Petri net unfoldings, Rapport de recherche LRI, vol. 1516, 2009.
F. Nouioua and Dague, P., Diagnosticabilité des systèmes à événements discrets, Rapport de recherche LRI, vol. 1517, 2009.

Pages