Xavier Pucel
- DTIS, ONERA, Université de Toulouse [Toulouse]
Publications
Publications
|
|
Towards the use of formal methods in the certification of vision-based landing systems using high-dimensional ML algorithms13th European Congress of Embedded Real Time Systems (ERTS), Feb 2026, Toulouse, France. ⟨10.82331/ERTS.2026.36⟩ |
|
|
Modèle de programmation par contraintes pour l'équilibrage et l'ordonnancement des lignes d'assemblage avec travailleurs mobiles et stations parallèlesPFIA 2025 - Plateforme Française de lIA, Jun 2025, Dijon, France |
|
|
Building a prototype from irregularly sampled and distorted data for outlier time series detectionThe 34th International Workshop on Principles of Diagnosis (DX'23), Sep 2023, Loma Mar, United States |
|
|
From Safety Assessment Models to Operational Diagnosis Models33rd International Workshop on Principle of Diagnosis – DX 2022, LAAS-CNRS-ANITI, Sep 2022, Toulouse, France |
|
|
A Novel Methodology to Construct Digital Twin Models for Spacecraft Operations Using Fault and Behaviour Trees2nd International Workshop on Model-Driven Engineering of Digital Twins (ModDiT 2022), Oct 2022, Montréal, Canada. ⟨10.1145/3550356.3561550⟩ |
|
|
Deviation tracking with incomplete and distorted data - Application to motion trajectories of industrial robots33rd International Workshop on Principle of Diagnosis – DX 2022, LAAS-CNRS-ANITI, Sep 2022, Toulouse, France |
|
|
Towards an agile, model-based multidisciplinary process to improve operational diagnosis in complex systems11th European Congress on Embedded real time systems (ERTS 2022), https://www.erts2022.org/, Jun 2022, Toulouse, France |
|
|
Meta-diagnosis via Preference Relaxation for State TrackabilityKES - IDT 2021, Jun 2021, Online, Italy. ⟨10.1007/978-981-16-2765-1_44⟩ |
|
|
Dead-end free single state multi-estimators for DES -the 2-estimator case31st International Workshop on Principles of Diagnosis (DX-2020), Sep 2020, Nashville, United States |
|
|
On the safety assessment of RPAS safety policy10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France |
|
|
Model-Based Synthesis of Incremental and Correct Estimators for Discrete Event SystemsTwenty-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⟩ |
|
|
TDOPTW dynamique : algorithmes incrémentaux et application aux satellites d'observationROADEF 2020, Feb 2020, Montpellier, France |
|
|
Estimabilité à état unique des systèmes à évènements discrets13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France |
|
|
Single State Trackability of Discrete Event SystemsDX'19 – 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria |
|
|
Preference-Based Fault Estimation in Autonomous Robots: Incompleteness and Meta-Diagnosis18th International Conference on Autonomous Agents and Multi-Agent Systems, May 2019, Montréal, Canada |
|
|
A generic and modular architecture for maritime autonomous vehicles2018 IEEE OES Autonomous Underwater Vehicle Symposium AUV2018, Nov 2018, Porto, Portugal |
|
|
Diagnostic préférentiel à base de modèles discrets pour des fautes intermittentes et permanentes12èmes Journées d'Intelligence Artificielle Fondamentale (JIAF 208), Jun 2018, Amiens, France |
|
|
Preferential Discrete Model-based Diagnosis for Intermittent and Permanent Faults29th International Workshop on Principles of Diagnosis (DX 2018), Aug 2018, Varsovie, Poland. 8p |
|
|
Intermittent Fault Diagnosis as Discrete Signal Estimation: Trackability analysisDX 2017, Sep 2016, Brescia, Italy |
|
|
Improving FDIR of Spacecraft Systems with Advanced Tools and ConceptsEmbedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France |
Comparing diagnosability in continuous discrete-event systemsSafeprocess'2006, 2006, Beijing, China |
|
Comparing diagnosability in continuous and discrete-events systemsDX'06 (17th International workshop on principles of Diagnosis), 2006, Burgos, Spain. pp.55--60 |
On Operational Diagnosis for Ground Stations: A Model-Based ApproachSpace Operations: Invest in space to serve Earth and Beyond, , pp.235-251, 2025, 9783031604072. ⟨10.1007/978-3-031-60408-9_11⟩ |
|
|
Un point de vue unifié sur la diagnosticabilitéRéseaux et télécommunications [cs.NI]. INSA de Toulouse, 2008. Français. ⟨NNT : ⟩ |