The relevant paper is Lars Blackmore's Lossless Convexification ( http://www.larsblackmore.com/losslessconvexification.htm ), which (to my understanding) he basically went to SpaceX to put into practice/scale, and which drives the rocket's realtime control adjustment for landing.