Antoine Besset

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

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