Joris Tillet — accepted AI-conference papers

2025

Real-Time Guaranteed Monitoring for a Drone Using Interval Analysis and Signal Temporal Logic

Antoine Besset, Julien Alexandre Dit Sandretto, Joris Tillet

IROS 2025

This paper presents a guaranteed model-based approach for monitoring drone trajectory, providing real-time guarantees with a simplified dynamic model. ROS components are introduced for real-time implementation, enabling monitoring and adjustments in both simulations and actual systems. We extend the

Cited by 0 Source ↗Scholar ↗

2020

Non-linear control under state constraints with validated trajectories for a mobile robot towing a trailer

Joris Tillet, Luc Jaulin, Fabrice Le Bars

IROS 2020poster

In this paper, we propose a set-inversion approach to validate the controller of a nonlinear system that should satisfy some state constraints. We introduce the notion of follow set which corresponds to the set of all output vectors such that the desired dynamics can be followed without violating th…

Cited by 3 Source ↗Scholar ↗