Safe & collaborative autonomous underwater docking: interval methods for proving the feasibility of an underwater docking problem
A Bourgois - 2021 - hal.science
The increasing number of offshore facilities triggers the need for reliable autonomous robots
to perform inspection and maintenance missions, while minimising operational expenses. In …
to perform inspection and maintenance missions, while minimising operational expenses. In …
Survey of what DynIbex can do for you
This paper aims at gathering the capabilities of the tool DynIbex, in term of differential
equations that can be handled, the facilities for constraint programming with differential …
equations that can be handled, the facilities for constraint programming with differential …
[PDF][PDF] HAL Id: hal-01927784
This paper aims at gathering the capabilities of the tool DynIbex, in term of differential
equations that can be handled, the facilities for constraint programming with differential …
equations that can be handled, the facilities for constraint programming with differential …