Pinned Loading

1. RobotLocomotion/drake RobotLocomotion/drake Public

   Model-based design and verification for robotics.

   C++ 3.3k 1.3k

2. StanfordASL/neural-network-lyapunov StanfordASL/neural-network-lyapunov Public

   Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.

   Python 138 31

3. large_inscribed_ellipsoid large_inscribed_ellipsoid Public

   Find a large inscribed ellipsoid by solving a sequence of semidefinite programming problems

   Python 14

4. minimal_outer_ellipsoid minimal_outer_ellipsoid Public

   Search the smallest ellipsoid that covers a basic semi-algebraic set through convex optimization

   Python 8 1

5. compatible_clf_cbf compatible_clf_cbf Public

   Verifying and synthesizing compatible Control Lyapunov Function (CLF) and Control Barrier Function (CBF)

   Python 10