Motivé par la recherche en robotique mobile, mes activités académiques concernent l’étude des incertitudes pour le contrôle et l’estimation des systèmes dynamiques, avec notamment des approches ensemblistes.
J’ai soutenu une thèse intitulée “Localisation et contrôle sûr d’un capteur tracté”, en utilisant l’analyse par intervalles et la logique floue.
Je travaille actuellement à l’U2IS à l’ENSTA (Palaiseau), dans le cadre du projet STARTS pour proposer un formalisme de logique temporelle reposant sur la notion de risque.
Je co-encadre la thèse d’Antoine Besset depuis le 12/11/2024, intitulée “Étude et développement d’un moniteur vérifiant une logique temporelle ensembliste et probabiliste”, avec Julien Alexandre dit Sandretto.
Principales publications scientifiques
Publications À Venir
- Besset, A., Tillet, J., Alexandre Dit Sandretto, J. (2025). Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis. Accepté à 2025 IEEE Conference on Decision and Control (CDC).
- Besset, A., Tillet, J., Alexandre Dit Sandretto, J. (2025). Real-Time Guaranteed Monitoring for a Drone Using Interval Analysis and Signal Temporal Logic. Accepté à 2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
- Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Collins, P., Forets, M., Mitsch, S., Schilling, C., Tillet, J., Wetzlinger, M. (2025). ARCH-COMP25 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. Accepté à ARCH.
- Tillet, J., Besset, A. & Alexandre dit Sandretto, J. (2025). Guaranteed Satisfaction of a Signal Temporal Logic Formula on Tubes. Accepté à Acta Cybernetica.
Preprint
- Tillet, J., Sainct, R. & Cord, A. (2024). Collision Chart for Deadlock-Free Velocity Planning: Application to Multi-Robot Traffic. SSRN. https://dx.doi.org/10.2139/ssrn.4682564.
Journaux
- Tillet, J., Jaulin, L., Le Bars, F. & Boukezzoula, R. (2022). A Fuzzy Set Estimation Using Interval Contractors : Application to Localization. Reliable Computing. https://www.reliable-computing.org/reliable-computing-29-pp-004-025.pdf.
Conférences
- Tillet, J., Jaulin, L. & Le Bars, F. (2020). Non-linear control under state constraints with validated trajectories for a mobile robot towing a trailer. 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). https://doi.org/10.1109/iros45743.2020.9341712.
- Le Gallic, M., Tillet, J., Jaulin, L. & Le Bars, F. (2018). Tight slalom control for sailboat robots. International Robotic Sailing Conference, Southampton, UK. https://ensta-bretagne.hal.science/hal-03173788/file/paper_joris_trailer.pdf.
Présentations
2024
- Oct 10 (Présentation) - Tillet, J., Alexandre dit Sandretto, J., Vanneaux, E., "Guaranteed Satisfaction of a Temporal Logic Formula with a Confidence Parameter". Continuity, Computability, Constructivity (CCC) – From Logic to Algorithms 2024.
- Jul 07 (Poster) - Tillet, J., Alexandre dit Sandretto, J., Vanneaux, E., "Garantir la satisfaction de propritétés spatiales et temporelles pour un système dynamique incertain". Opération CIEDS 2024.
- Jun 06 (Présentation) - Tillet, J., Alexandre dit Sandretto, J., Vanneaux, E., "Interval Methods applied to Signal Temporal Logic – Overview and Extension on Tubes". Summer Workshop on Interval Methods (SWIM) 2024.
- Apr 04 (Présentation) - Tillet, J., "STARTS project and literature review of Signal Temporal Logic". LabDay 2024.
Plus anciennes présentations à venir
Autres activités
En cours / récemment
- Organisateur du SyRRoMinaire (séminaire d’équipe)
- Membre du jury lors du LabDay (évaluation des posters des doctorants en 1ère année lors de la journée du laboratoire)
- Présentation de carrière à des élèves de classes préparatoires à Reims (Prépa+)
Ma thèse
Domaine : Robotique mobile
Titre : Localisation et contrôle sûr d’un capteur tracté
Encadrement : Luc Jaulin et Fabrice Le Bars
Soutenance : le 18/10/2021 à ENSTA Bretagne, Brest, France
Membres du jury :
- Lionel Lapierre (HDR, rapporteur)
- Martine Cébério (PU, rapporteur)
- Andreas Rauh (PU, examinateur)
- Reda Boukezzoula (PU, examinateur)
- Fabrice Le Bars (MCF, co-encadrant)
- Luc Jaulin (PU, directeur de thèse)
- Jean-Daniel Masson (DGA, invité)
Enseignements
Liste des cours donnés :
- 2024-2025 – Intelligence artificielle et données
- 2024-2025 – Stage d’informatique pour l’ingénieur
- 2023-2024 – Algorithmique en C
- 2023-2024 – Projet informatique
- 2018-2021 – Ingénierie système et modélisation robotique
- 2018-2021 – Projet Guerlédan
- 2018-2019 – Architecture robotique