Xavier Pucel

Identifiants chercheurs

IdHAL :

xavier-pucel

Publications

Communication dans un congrès (22)

Towards the use of formal methods in the certification of vision-based landing systems using high-dimensional ML algorithms Noemie Cohen,Christophe Gabreau,Mélanie Ducoffe,Claire Pagetti,Xavier Pucel 13th European Congress of Embedded Real Time Systems (ERTS), Feb 2026, Toulouse, France. ⟨10.82331/ERTS.2026.36⟩ Communication dans un congrès hal-05513973v1
Modèle de programmation par contraintes pour l'équilibrage et l'ordonnancement des lignes d'assemblage avec travailleurs mobiles et stations parallèles Xavier Pucel,Stéphanie Roussel PFIA 2025 - Plateforme Française de lIA, Jun 2025, Dijon, France Communication dans un congrès hal-05235388v1
Building a prototype from irregularly sampled and distorted data for outlier time series detection Charlotte Lacoquelle,Xavier Pucel,Louise Travé-Massuyès,Christophe Merle,Axel Raymonetet al. The 34th International Workshop on Principles of Diagnosis (DX'23), Sep 2023, Loma Mar, United States Communication dans un congrès hal-05545965v1
From Safety Assessment Models to Operational Diagnosis Models Nikolena Christofi,Xavier Pucel 33rd International Workshop on Principle of Diagnosis – DX 2022, LAAS-CNRS-ANITI, Sep 2022, Toulouse, France Communication dans un congrès hal-03773708v1
A Novel Methodology to Construct Digital Twin Models for Spacecraft Operations Using Fault and Behaviour Trees Nikolena Christofi,Xavier Pucel 2nd International Workshop on Model-Driven Engineering of Digital Twins (ModDiT 2022), Oct 2022, Montréal, Canada. ⟨10.1145/3550356.3561550⟩ Communication dans un congrès hal-03834006v1
Deviation tracking with incomplete and distorted data - Application to motion trajectories of industrial robots Charlotte Lacoquelle,Louise Travé-Massuyès,Xavier Pucel,Nathalie Barbosa Roa,Christophe Merle 33rd International Workshop on Principle of Diagnosis – DX 2022, LAAS-CNRS-ANITI, Sep 2022, Toulouse, France Communication dans un congrès hal-03773781v1
Towards an agile, model-based multidisciplinary process to improve operational diagnosis in complex systems Nikolena Christofi,Xavier Pucel,Claude Baron,Marc Pantel,Sébastien Guilmeauet al. 11th European Congress on Embedded real time systems (ERTS 2022), https://www.erts2022.org/, Jun 2022, Toulouse, France Communication dans un congrès hal-03699979v1
Meta-diagnosis via Preference Relaxation for State Trackability Xavier Pucel,Stéphanie Roussel,Louise Travé-Massuyès,Valentin Bouziat KES - IDT 2021, Jun 2021, Online, Italy. ⟨10.1007/978-981-16-2765-1_44⟩ Communication dans un congrès hal-03462351v1
Dead-end free single state multi-estimators for DES -the 2-estimator case Camille Coquand,Xavier Pucel,Stéphanie Roussel,Louise Travé-Massuyès 31st International Workshop on Principles of Diagnosis (DX-2020), Sep 2020, Nashville, United States Communication dans un congrès hal-03089427v1
On the safety assessment of RPAS safety policy Diego Couto,Kevin Delmas,Xavier Pucel 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France Communication dans un congrès hal-02441649v1
Model-Based Synthesis of Incremental and Correct Estimators for Discrete Event Systems Stéphanie Roussel,Xavier Pucel,Valentin Bouziat,Louise Travé-Massuyès Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}, Jul 2020, Yokohama, Japan. pp.1884-1890, ⟨10.24963/ijcai.2020/261⟩ Communication dans un congrès hal-02982277v1
TDOPTW dynamique : algorithmes incrémentaux et application aux satellites d'observation Cédric Pralet,Xavier Pucel,Stéphanie Artigues,Nicolas Théret ROADEF 2020, Feb 2020, Montpellier, France Communication dans un congrès hal-02904381v1
Estimabilité à état unique des systèmes à évènements discrets Valentin Bouziat,Xavier Pucel,Stéphanie Roussel,Louise Travé-Massuyès 13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France Communication dans un congrès hal-02302952v1
Single State Trackability of Discrete Event Systems Valentin Bouziat,Xavier Pucel,Stéphanie Roussel,Louise Travé-Massuyès DX'19 – 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria Communication dans un congrès hal-02383500v1
Preference-Based Fault Estimation in Autonomous Robots: Incompleteness and Meta-Diagnosis Valentin Bouziat,Xavier Pucel,Stéphanie Roussel,Louise Travé-Massuyès 18th International Conference on Autonomous Agents and Multi-Agent Systems, May 2019, Montréal, Canada Communication dans un congrès hal-02383526v1
A generic and modular architecture for maritime autonomous vehicles Magali Barbier,Eric Bensana,Xavier Pucel 2018 IEEE OES Autonomous Underwater Vehicle Symposium AUV2018, Nov 2018, Porto, Portugal Communication dans un congrès hal-01983412v1
Diagnostic préférentiel à base de modèles discrets pour des fautes intermittentes et permanentes Valentin Bouziat,Xavier Pucel,Stéphanie Roussel,Louise Travé-Massuyès 12èmes Journées d'Intelligence Artificielle Fondamentale (JIAF 208), Jun 2018, Amiens, France Communication dans un congrès hal-01928837v1
Preferential Discrete Model-based Diagnosis for Intermittent and Permanent Faults Valentin Bouziat,Xavier Pucel,Stéphanie Roussel,Louise Travé-Massuyès 29th International Workshop on Principles of Diagnosis (DX 2018), Aug 2018, Varsovie, Poland. 8p Communication dans un congrès hal-01796310v1
Intermittent Fault Diagnosis as Discrete Signal Estimation: Trackability analysis Xavier Pucel,Stéphanie Roussel DX 2017, Sep 2016, Brescia, Italy Communication dans un congrès hal-02003771v1
Improving FDIR of Spacecraft Systems with Advanced Tools and Concepts Eric Bensana,Xavier Pucel,Christel Seguin Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France Communication dans un congrès hal-02272363v1
Comparing diagnosability in continuous discrete-event systems Marie-Odile Cordier,Louise Travé-Massuyès,Xavier Pucel Safeprocess'2006, 2006, Beijing, China Communication dans un congrès inria-00463798v1
Comparing diagnosability in continuous and discrete-events systems Marie-Odile Cordier,Louise Travé-Massuyès,Xavier Pucel DX'06 (17th International workshop on principles of Diagnosis), 2006, Burgos, Spain. pp.55--60 Communication dans un congrès inria-00463797v1

Chapitre d'ouvrage (1)

On Operational Diagnosis for Ground Stations: A Model-Based Approach Nikolena Christofi,Xavier Pucel,Claude Baron,Marc Pantel,David Canuet al. Space Operations: Invest in space to serve Earth and Beyond, , pp.235-251, 2025, 9783031604072. ⟨10.1007/978-3-031-60408-9_11⟩ Chapitre d'ouvrage hal-04797145v1

Thèse (1)

Un point de vue unifié sur la diagnosticabilité Xavier Pucel Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2008. Français. ⟨NNT : ⟩ Thèse tel-00354934v1