Xavier Pucel

24
Documents
Affiliation actuelle
  • DTIS, ONERA, Université de Toulouse [Toulouse]
Identifiants chercheurs

Publications

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 Raymonet et al.

The 34th International Workshop on Principles of Diagnosis (DX'23), Sep 2023, Loma Mar, United States

Communication dans un congrès hal-05545965v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Towards an agile, model-based multidisciplinary process to improve operational diagnosis in complex systems

Nikolena Christofi , Xavier Pucel , Claude Baron , Marc Pantel , Sébastien Guilmeau et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

On Operational Diagnosis for Ground Stations: A Model-Based Approach

Nikolena Christofi , Xavier Pucel , Claude Baron , Marc Pantel , David Canu et 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
Deposit thumbnail

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