3 citations · 4 across the 5 of their papers we have counts for
5 papers
Fast Constraint Extraction for Corrective Control under STL Specifications via Logical Dependency Tracking
Antoine Besset, Joris Tillet, Chuchu Fan +1
Ensuring the satisfaction of Signal Temporal Logic (STL) specifications under uncertainty is challenging, as reachability-based monitoring provides guarantees but does not indicate…
NAMOUnc: Navigation Among Movable Obstacles with Decision Making on Uncertainty Interval
Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto +2
Navigation among movable obstacles (NAMO) is a critical task in robotics, often challenged by real-world uncertainties such as observation noise, model approximations, action failu…
Sensitivity-based Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations
Julien Alexandre dit Sandretto
We focus on interval algorithms for computing guaranteed enclosures of the solutions of constrained global optimization problems where differential constraints occur. To solve such…
Runge-Kutta Theory and Constraint Programming
Julien Alexandre dit Sandretto
There exist many Runge-Kutta methods (explicit or implicit), more or less adapted to specific problems. Some of them have interesting properties, such as stability for stiff proble…
Cable-Driven Robots with Wireless Control Capability for Pedagogical Illustration in Science
Julien Alexandre Dit Sandretto, Cyprien Nicolas
Science teaching in secondary schools is often abstract for students. Even if some experiments can be conducted in classrooms, mainly for chemistry or some physics fields, mathemat…