13 résultats  enregistrer la recherche


...
hal-00643664v1  Communication dans un congrès
Michel BatteuxPhilippe DagueNicolas RapinPhilippe FianiDiagnosability 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 ArmantPhilippe DagueLaurent SimonDiagnostic 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 MadalinskiFarid NouiouaPhilippe DagueDiagnosability 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 LiLina YePhilippe DagueTarek MellitiA 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 YePhilippe DagueAn 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 NasriHassan ShraïmPhilippe DagueOlivier HéronMickael CartronModel-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 YePhilippe DagueDiagnosability 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ïmOthman NasriPhilippe DagueOlivier HéronMickael CartronSmart 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 FianiMichel BatteuxPhilippe DagueNicolas RapinFuel 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 YanLina YePhilippe DagueDiagnosability 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 MellitiPhilippe DagueGeneralizing 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