Tight slalom control for sailboat robots M Le Gallic, J Tillet, L Jaulin, F Le Bars International Robotic Sailing Conference (IRSC), 2018 | 7 | 2018 |
Non-linear control under state constraints with validated trajectories for a mobile robot towing a trailer J Tillet, L Jaulin, F Le Bars 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2020 | 3 | 2020 |
A Fuzzy Set Estimation Using Interval Contractors: Application to Localization J Tillet, L Jaulin, F Le Bars, R Boukezzoula Reliable Computing, 5, 2022 | 1 | 2022 |
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics L Geretti, JAD Sandretto, M Althoff, L Benet, P Collins, M Forets, S Mitsch, ... Proceedings of the 11th Int. Workshop on Applied 103, 39-63, 2024 | | 2024 |
Guaranteed Satisfaction of a Temporal Logic Formula with a Confidence Parameter J Tillet, JA dit Sandretto, E Vanneaux CCC 2024-Continuity, Computability, Constructivity From Logic to Algorithms, 2024 | | 2024 |
Interval Methods applied to Signal Temporal Logic–Overview and Extension on Tubes J Tillet, JA dit Sandretto, E Vanneaux 15th Summer Workshop on Interval Methods SWIM 2024, 1, 2024 | | 2024 |
Safe localization and control of a towed sensor J Tillet ENSTA Bretagne-École nationale supérieure de techniques avancées Bretagne, 2021 | | 2021 |
Validation of a controller under state constraints J Tillet, L Jaulin, F Le Bars Summer Workshop on Interval Methods (SWIM) 2019, 2019 | | 2019 |
BRAVE: Bateau Robot A Voile de l'ENSTA Bretagne M Le Gallic, F Le Bars, PHF Pereira, J Tillet, L Jaulin 11th World Robotic Sailing Championship and International Robotic Sailing …, 2018 | | 2018 |
Collision Chart for Deadlock-Free Velocity Planning: Application to Multi-Robot Traffic J Tillet, R Sainct, A Cord Available at SSRN 4682564, 0 | | |