Video Highlights
Robotics Challenge


Positions Available


Robot Locomotion Group




    The goal of our research is to build machines which exploit their natural dynamics to achieve extraordinary agility and efficiency. We believe that this challenge involves a tight coupling between mechanical design and underactuated nonlinear control, and that tools from machine learning and optimal control can be used to produce this coupling when classical control techniques fail. Our projects include minimally-actuated dynamic walking on moderate terrain, quadrupedal locomotion on extreme terrain, fixed-wing acrobatics, flapping-winged flight, and feedback control for fluid dynamics.

    We are currently participating in the DARPA Robotics Challenge. Make sure you check out our videos here.

    The Robot Locomotion Group is a part of the CSAIL Center for Robotics.

    Follow us on facebook and/or twitter.


Locomotion Group Paper and Multimedia News  

    Optimization-based Locomotion Planning, Estimation, and Control Design for the {A}tlas Humanoid Robot
      by Scott Kuindersma and Robin Deits and Maurice Fallon and Andr\'{e}s Valenzuela and Hongkai Dai and Frank Permenter and Twan Koolen and Pat Marion and Russ Tedrake

      This paper describes a collection of optimization algorithms for achieving dynamic planning, control, and state estimation for a bipedal robot designed to operate reliably in complex environments. To make challenging locomotion tasks tractable, we describe several novel applications of convex, mixed-integer, and sparse nonlinear optimization to problems ranging from footstep placement to whole-body planning and control. We also present a state estimator formulation that, when combined with our walking controller, permits highly precise execution of extended walking plans over non-flat terrain. We describe our complete system integration and experiments carried out on Atlas, a full-size hydraulic humanoid robot designed by Boston Dynamics.

      Under review. Comments welcome.

    Whole-body Motion Planning with Centroidal Dynamics and Full Kinematics

      by Hongkai Dai and Andr\'es Valenzuela and Russ Tedrake

      To plan dynamic, whole-body motions for robots, one conventionally faces the choice between a complex, full-body dynamic model containing every link and actuator of the robot, or a highly simplified model of the robot as a point mass. In this paper we explore a powerful middle ground between these extremes. We exploit the fact that while the full dynamics of humanoid robots are complicated, their centroidal dynamics (the evolution of the angular momentum and the center of mass (COM) position) are much simpler. By treating the dynamics of the robot in centroidal form and directly optimizing the joint trajectories for the actuated degrees of freedom, we arrive at a method that enjoys simpler dynamics, while still having the expressiveness required to handle kinematic constraints such as collision avoidance or reaching to a target. We further require that the robot's COM and angular momentum as computed from the joint trajectories match those given by the centroidal dynamics. This ensures that the dynamics considered by our optimization are equivalent to the full dynamics of the robot, provided that the robot's actuators can supply sufficient torque. We demonstrate that this algorithm is capable of generating highly-dynamic motion plans with examples of a humanoid robot negotiating obstacle course elements and gait optimization for a quadrupedal robot. Additionally, we show that we can plan without pre-specifying the contact sequence by exploiting the complementarity conditions between contact forces and contact distance.

      Supplemental materials: https://www.youtube.com/watch?v=l3TEnNAyjmg

      To appear in Humanoids 2014.

    Efficient Mixed-Integer Planning for {UAVs} in Cluttered Environments

      by Robin Deits and Russ Tedrake

      We present a new approach to the design of smooth trajectories for quadrotor unmanned aerial vehicles ({UAVs}), which are free of collisions with obstacles along their entire length. To avoid the non-convex constraints normally required for obstacle-avoidance, we perform a mixed-integer optimization in which polynomial trajectories are assigned to convex regions which are known to be obstacle-free. Prior approaches have used the faces of the obstacles themselves to define these convex regions. We instead use {IRIS}, a recently developed technique for greedy convex segmentation, to pre-compute convex regions of safe space. This results in a substantially reduced number of integer variables, which improves the speed with which the optimization can be solved to its global optimum, even for tens or hundreds of obstacle faces. In addition, prior approaches have typically enforced obstacle avoidance at a finite set of sample or knot points. We introduce a technique based on sums-of-squares ({SOS}) programming that allows us to ensure that the entire piecewise polynomial trajectory is free of collisions using convex constraints. We demonstrate this technique in 2D and in 3D using a dynamical model in the Drake toolbox for {MATLAB}.

      Supplemental materials: https://www.youtube.com/watch?v=gJBitAHDPsA

      Under review. Comments welcome.

    Pushbroom Stereo for High-Speed Navigation in Cluttered Environments

      by Andrew J. Barry and Russ Tedrake

      We present a novel stereo vision algorithm that is capable of obstacle detection on a mobile ARM processor at 120 frames per second. Our system performs a subset of standard block-matching stereo processing, searching only for obstacles at a single depth. By using an onboard IMU and state-estimator, we can recover the position of obstacles at all other depths, building and updating a local depth-map at framerate. Here, we describe both the algorithm and our implementation on a high-speed, small UAV, flying at over 20 MPH (9 m/s) close to obstacles. The system requires no external sensing or computation and is, to the best of our knowledge, the first high-framerate stereo detection system running onboard a small UAV.

      Supplemental materials: https://www.youtube.com/watch?v=cZE01bJIgvQ

      Under review. Comments welcome.

    Stability analysis and control of rigid-body systems with impacts and friction

      by Michael Posa and Mark Tobenkin and Russ Tedrake

      Many critical tasks in robotics, such as locomotion or manipulation, involve collisions between a rigid body and the environment or between multiple bodies. Methods based on sums-of-squares (SOS) for numerical computation of Lyapunov certificates are a powerful tool for analyzing the stability of continuous nonlinear systems, and can additionally be used to automatically synthesize stabilizing feedback controllers. Here, we present a method for applying sums-of-squares verification to rigid bodies with Coulomb friction undergoing discontinuous, inelastic impact events. The proposed algorithm explicitly generates Lyapunov certificates for stability, positive invariance, and safety over admissible (non-penetrating) states and contact forces. We leverage the complementarity formulation of contact, which naturally generates the semialgebraic constraints that define this admissible region. The approach is demonstrated on multiple robotics examples, including simple models of a walking robot, a perching aircraft, and control design of a balancing robot.

      Under review. Comments welcome.


Locomotion Group News  

    November 20, 2014. Award. Robin Deits' paper on Mixed-integer optimization for footstep planning just won the Best Paper Award (Oral) at Humanoids 2014. Congratulations Robin!

    December 31, 1969. Award. Benoit Landry has been awarded the 2014 Siebel Scholarship. Congratulations Benoit!

    June 18, 2014. News. Ram Vasudevan has officially accepted a tenure-track position at the University of Michigan, Ann Arbor. Congratulations Ram! Go Blue!

    June 16, 2014. News. Joe Moore has officially accepted a position at the Johns Hopkins Applied Phsyics Lab. Congratulations Joe!

    May 27, 2014. PhD Defense. Joseph Moore officially defended his PhD. You can watch his defense on the group talks page. Congratulations Joe!

    December 21, 2013. News. Team MIT advances to the next round in the DARPA Robotics Challenge.

    October 2, 2013. Award. Michael Posa has been awarded the 2013 Rolf Locher Graduate Fellowship. Congratulations Michael!

    September 14, 2013. News. The Robot Locomotion Group hosted the evening session of the 2014 Boston Barefoot Running Festival.

    September 11, 2013. In the News. Tough robo-challenge casts robots as rescuers.

    June 27, 2013. In the News. Team MIT Completes First Hurdle in DARPA Robotics Challenge.

    May 9, 2013. Award. Ani Majumdar and Amir Ali Ahmadi's paper on nonlinear control design along trajectories just won the Best Paper Award at ICRA 2013. Congratulations!

    April 10, 2013. Award. Mike Posa and Mark Tobenkin's paper on SOS Verification of Rigid Bodies through Contact won the Best Paper Award at the 16th International Conference on Hybrid Systems: Computation and Control. Congratulations!

    August 20, 2012. Award. Ani Majumdar has been awarded the 2012 Siebel Scholarship. Congratulations Ani!

    July 25, 2012. In the News. New Aircraft Capable of Fast, Accurate and Repeatable Flight.

    May 20, 2012. Award. Russ is the recipient of the 2012 Ruth and Joel Spira Award for Distinguished Teaching.

    May 18, 2012. Thesis Defense. John Roberts has successfully defended his thesis on Control of Fluid-Body Systems via Real-Time PIV. Congraulations John!

    March 26, 2012. In the news. Our work on flapping flight and perching was featured in the article "A flapping of wings" in this week's issue of Science Magazine. Photo by Jason Dorfman.

    June 2, 2011. Award Finalist. Jacob Steinhardt's RSS 2011 paper on stochastic verification was a finalist for the conference Best Student Paper Award. Congratulations Jacob.

    May 25, 2011. RSS Workshop. We are co-organizing a workshop at RSS 2011 on "integrated planning and control". As a part of the workshop, we will give a short tutorial on LQR-Trees and Sums-of-Squares Verification for Feedback Motion Planning, which will include tutorial software.

    May 12, 2011. Award. Jacob Steinhardt has been awarded the 2011 Robert M. Fano UROP (Undergraduate Research Opportunities Program) award for his outstanding work as an undergraduate researcher. Congratulations Jacob!

Group Members