Drake
by MIT / Toyota Research Institute
A planning, control, and analysis toolbox for nonlinear dynamical systems, with an emphasis on model-based design and verification for robots. Features optimization-based design tools for control, trajectory optimization, and state estimation.