Popular repositories Loading

1. freefloating_gazebo freefloating_gazebo Public

   Forked from freefloating-gazebo/freefloating_gazebo

   A Gazebo plugin to simulate underwater vehicles and visualize with UWsim.

   C++

2. morgan_phd_ddboat morgan_phd_ddboat Public

   ddboat drivers and controller developped for DDBOAT naviguation

   Python 3

3. Demo_enclosing_method Demo_enclosing_method Public

   Demo of the enclosing method to verify robust positive invairance for ellipsoids

   Python

4. Demo_discrete_time_stability_proof Demo_discrete_time_stability_proof Public

   A demonstration of a numerical method to prove the exponential stability of nonlinear high-dimensional discrete-time systems

   Python

5. codac codac Public

   Forked from codac-team/codac

   Codac is a library for constraint programming over reals, trajectories and sets.

   C++