hongkai-dai

compatible_clf_cbf

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

large_inscribed_ellipsoid

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

minimal_outer_ellipsoid

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

neural-network-lyapunov-1

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

neural-networks-and-deep-learning

Code samples for my book "Neural Networks and Deep Learning"

PlasticineLab

Code for paper "PlasticineLab: A Soft-Body Manipulation Benchmark with Differentiable Physics"

spinningup

An educational resource to help anyone learn deep reinforcement learning.

underactuated

The course text for MIT 6.832 (and 6.832x on edX)

drake

Model-based design and verification for robotics.

neural-network-lyapunov

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

hongkai-dai/compatible_clf_cbf

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

hongkai-dai/large_inscribed_ellipsoid

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

hongkai-dai/minimal_outer_ellipsoid

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

hongkai-dai/neural-network-lyapunov-1

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

hongkai-dai/spinningup

An educational resource to help anyone learn deep reinforcement learning.

hongkai-dai/neural-networks-and-deep-learning

Code samples for my book "Neural Networks and Deep Learning"

hongkai-dai/PlasticineLab

Code for paper "PlasticineLab: A Soft-Body Manipulation Benchmark with Differentiable Physics"

hongkai-dai/underactuated

The course text for MIT 6.832 (and 6.832x on edX)

hongkai-dai/ABB-IRB140

Drake utils for ABB-IRB140 Arm Robot

hongkai-dai/Csdp

This is now the working repository for the CSDP project. CSDP is a solver for semidefinite programming problems. It is a COIN-OR project.

hongkai-dai/drake

A planning, control, and analysis toolbox for nonlinear dynamical systems. Please see the WIKI for documentation.

hongkai-dai/drake-ci

Continuous integration scripts for Drake.

hongkai-dai/eigen-mirror

hongkai-dai/fcl

Flexible Collision Library

hongkai-dai/gurobi

wrapper pod for the Gurobi Optimizer

hongkai-dai/hongkai-dai.github.io

hongkai-dai/k4a_driver

Basic ROS driver for K4A devices

hongkai-dai/libccd

Library for collision detection between two convex shapes

hongkai-dai/ManiSkill2

SAPIEN Manipulation Skill Benchmark 2

hongkai-dai/open-abb-driver

hongkai-dai/osqp

The Operator Splitting QP Solver

hongkai-dai/rand_obj_picking

hongkai-dai/shortest-paths-in-graphs-of-convex-sets

hongkai-dai/spotless

A fork of the Systems Polynomial Optimization Toolbox.