Systems and methods for automatically generating solver code for nonlinear model predictive control solvers
Systems and methods for automatically generating solver code for a nonlinear model predictive controller are disclosed. In one embodiment, a method of automatically generating solver code for a nonlinear model predictive control solver includes receiving an optimal control problem code, wherein the optimal control problem code represents an optimal control problem comprising a cost function, one or more constraints, and a continuous time model representing dynamics of a system. The method further includes receiving a discretization method preference, a linearization point preference, and a parameter specification, and encoding the optimal control problem into an optimization problem by discretizing the optimal control problem according to the discretization method preference, and linearizing the optimal control problem according to the linearization point preference. The method further includes generating the solver code from the optimization problem.
1. A method of automatically generating solver code for a nonlinear model predictive control solver, the method comprising:
receiving an optimal control problem code, wherein the optimal control problem code represents an optimal control problem comprising a cost function, one or more constraints, and a continuous time model representing dynamics of a system;
receiving, from a user interface, a selection of a discretization method preference, a linearization point preference value, and a parameter specification;
encoding the optimal control problem into an optimization problem by performing at least the following:
discretizing the optimal control problem according to the discretization method preference; and
linearizing the optimal control problem according to the linearization point preference value; and
generating the solver code from the optimization problem; and
inputting the solver code into a controlled system to control the controlled system.
2. The method of claim 1 , wherein the optimal control problem code represents a canonical form of the optimal control problem.
3. The method of claim 1 , wherein the optimal control problem code represents the optimal control problem using a syntax.
4. The method of claim 1 , wherein generating the solver code comprises populating a solver code template with parameters from the optimization problem.
5. The method of claim 4 , wherein generating the solver code comprises generating matrix inputs as a function of parameters from the optimization problem.
6. The method of claim 1 , wherein the discretization method preference is selected from the group consisting of Euler, zero-order hold, trapezoidal, and Runge-Kutta.
7. The method of claim 1 , wherein the dynamics of the system describe vehicular dynamics of a vehicle, the cost function describes a deviation from an optimum trajectory, and the one or more constraints comprises one or more of an upper speed limit, an acceleration limit, a position to avoid an obstacle, and a jerk limit.
8. A method of controlling a vehicle, the method comprising:
receiving an optimal control problem code, wherein the optimal control problem code represents an optimal control problem comprising a cost function, one or more constraints, and a continuous time model representing dynamics of a system;
receiving, from a user interface, a selection of a discretization method preference, a linearization point preference value, and a parameter specification;
encoding the optimal control problem into an optimization problem by performing at least the following:
discretizing the optimal control problem according to the discretization method preference; and
linearizing the optimal control problem according to the linearization point preference value; and
generating the solver code from the optimization problem;
importing the solver code into a control system of the vehicle for controlling an operation of the vehicle.
9. The method of claim 8 , wherein the optimal control problem code represents a canonical form of the optimal control problem.
10. The method of claim 8 , wherein the optimal control problem code represents the optimal control problem using a syntax.
11. The method of claim 8 , wherein generating the solver code comprises populating a solver code template with parameters from the optimization problem.
12. The method of claim 11 , wherein generating the solver code comprises generating matrix inputs as a function of parameters from the optimization problem.
13. The method of claim 8 , wherein the discretization method preference is selected from the group consisting of Euler, zero-order hold, trapezoidal, and Runge-Kutta.
14. The method of claim 8 , wherein the dynamics of the system describe vehicular dynamics of the vehicle, the cost function describes a deviation from an optimum trajectory, and the one or more constraints comprises one or more of an upper speed limit, an acceleration limit, a position to avoid an obstacle, and a jerk limit.
15. A system of automatically generating solver code for a non-linear model predictive control solver, the system comprising:
one or more processors;
one or more memory modules comprising non-transitory memory storing computer readable instructions that, when executed by the one or more processors, cause the one or more processors to perform at least the following:
receive an optimal control problem code, wherein the optimal control problem code represents an optimal control problem comprising a cost function, one or more constraints, and a continuous time model representing dynamics of a system;
receive, from a user interface, a selection of a discretization method preference, a linearization point preference value, and a parameter specification;
encode the optimal control problem into an optimization problem by performing at least the following:
discretizing the optimal control problem according to the discretization method preference; and
linearizing the optimal control problem according to the linearization point preference value; and
generate the solver code from the optimization problem; and
input the solver code into a controlled system to control the controlled system.
16. The system of claim 15 , wherein the optimal control problem code represents a canonical form of the optimal control problem.
17. The system of claim 15 , wherein the optimal control problem code represents the optimal control problem using a syntax.
18. The system of claim 15 , wherein generation of the solver code comprises populating a solver code template with parameters from the optimization problem.
19. The system of claim 18 , wherein generation of the solver code comprises generating matrix inputs as a function of parameters from the optimization problem.
20. The system of claim 15 , wherein the discretization preference is selected from the group consisting of Euler, zero-order hold, trapezoidal, and Runge-Kutta.