In the previous tutorial, we focused on single shooting trajectory optimization, which involved time-discretizing the control input and simply integrating the dynamics. The desired end state was then added as a constraint to fmincon. Here, we focus on a radically different trajectory optimization technique, known as direct collocation.
The core difference between shooting methods and simultaneous methods such as direct collocation is that in simultaneous methods the states are discretized along with the control inputs. These state variables are added to the vector of function parameters, and constraints are added at every discretization point to ensure that the dynamics are evolving correctly. For the mathematically minded, the state vector effectively becomes the following:
(Optionally, the time of the simulation can also be included in the state as a variable for the optimizer). Each constraint would be formulated as follows:
Where would depend on . Note that in this formulation the state derivative is linearly interpolated between the two grid points, known as trapezoidal quadrature. Other schemes, such as Hermite-Simpson collocation, are slightly more complex and will be addressed in the next tutorial.
Since fmincon’s equality constraints are given as a vector of values to drive to zero, the end equality constraints would look something like:
Let’s look at an example, using the same double integrator plant from the previous tutorial.
global gridN gridN = 20; tic % Minimize the simulation time time_min = @(x) x(1); % The initial parameter guess; 1 second, gridN positions, gridN velocities, % gridN accelerations x0 = [1; linspace(0,1,gridN)'; linspace(0,1,gridN)'; ones(gridN, 1) * 5]; % No linear inequality or equality constraints A = ; b = ; Aeq = ; Beq = ; % Lower bound the simulation time at zero seconds, and bound the % accelerations between -10 and 30 lb = [0; ones(gridN * 2, 1) * -Inf; ones(gridN, 1) * -10]; ub = [Inf; ones(gridN * 2, 1) * Inf; ones(gridN, 1) * 30]; % Options for fmincon options = optimoptions(@fmincon, 'TolFun', 0.00000001, 'MaxIter', 10000, ... 'MaxFunEvals', 100000, 'Display', 'iter', ... 'DiffMinChange', 0.001, 'Algorithm', 'sqp'); % Solve for the best simulation time + control input optimal = fmincon(time_min, x0, A, b, Aeq, Beq, lb, ub, ... @double_integrator_constraints, options); % Discretize the times sim_time = optimal(1); delta_time = sim_time / gridN; times = 0 : delta_time : sim_time - delta_time; % Get the state + accelerations (control inputs) out of the vector positions = optimal(2 : 1 + gridN); vels = optimal(2 + gridN : 1 + gridN * 2); accs = optimal(2 + gridN * 2 : end); % Make the plots figure(); plot(times, accs); title('Control Input (Acceleration) vs Time'); xlabel('Time (s)'); ylabel('Acceleration (m/s^2)'); figure(); plot(times, vels); title('Velocity vs Time'); xlabel('Time (s)'); ylabel('Velocity (m/s)'); figure(); plot(times, positions); title('Position vs Time'); xlabel('Time (s)'); ylabel('Position (m)'); disp(sprintf('Finished in %f seconds', toc));
function [ c, ceq ] = double_integrator_constraints( x ) global gridN % No nonlinear inequality constraint needed c = ; % Calculate the timestep sim_time = x(1); delta_time = sim_time / gridN; % Get the states / inputs out of the vector positions = x(2 : 1 + gridN); vels = x(2 + gridN : 1 + gridN * 2); accs = x(2 + gridN * 2 : end); % Constrain initial position and velocity to be zero ceq = [positions(1); vels(1)]; for i = 1 : length(positions) - 1 % The state at the beginning of the time interval x_i = [positions(i); vels(i)]; % What the state should be at the start of the next time interval x_n = [positions(i+1); vels(i+1)]; % The time derivative of the state at the beginning of the time % interval xdot_i = [vels(i); accs(i)]; % The time derivative of the state at the end of the time interval xdot_n = [vels(i+1); accs(i+1)]; % The end state of the time interval calculated using quadrature xend = x_i + delta_time * (xdot_i + xdot_n) / 2; % Constrain the end state of the current time interval to be % equal to the starting state of the next time interval ceq = [ceq ; x_n - xend]; end % Constrain end position to 1 and end velocity to 0 ceq = [ceq ; positions(end) - 1; vels(end)]; end
If you run this code, you should see that the optimizer converges to the same bang-bang control it did with single shooting.
Why Direct Collocation?
Now that you’ve read through the above code and hopefully better understand direct collocation, you may be wondering the advantages and disadvantages are of simultaneous methods over shooting methods. Christian Hubicki, former grad student at Oregon State, succinctly summarizes the difference in his dissertation on optimization for robotics (36-38) :
There is a notable computational advantage to this somewhat non-intuitive formulation. With direct collocation, the relationship between variables and constraints can be expressed entirely with closed-form equations, even if the integral of our dynamical equations cannot (which is frequently the case in legged locomotion). This means that both the values of the objective, constraints, and the gradients with respect to all optimization variables can also be represented in closed form, greatly accelerating the computation time of the optimization. In practice, this computational efficiency and smoothness of the resulting equations has allowed our implementations to solve direct collocation problems with over 10,000 variables and constraints.
One apparent downside of direct collocation is a loss of dynamical accuracy. [Shooting methods] are still free to use variable-time-step time-marching integrators to integrate the dynamics as accurately as possible, but direct collocation often operates with far fewer integration steps and are roughly fixed in size. However, the degree to which direct collocation makes optimization faster often allows for the user to select quite fine resolutions, e.g. hundreds of time points. Further, in this application, the results of these optimizations will often be regulated by a locally stabilizing controllers anyhow, making a small degree of dynamical inaccuracy akin to noise in the system.
As an aside, other sources such as Matthew Kelly’s write-up caution against using variable time step integrators for shooting methods .