What is it?
Choose the whole motion that minimizes a cost (time, energy, jerk) subject to dynamics, limits and obstacles — a constrained optimization over functions, discretized into a large nonlinear program. Model predictive control re-solves it every few milliseconds over a short horizon.
Formulas
The mathematics behind it
A robot trajectory minimizes effort subject to dynamics, joint limits and obstacles.
Minimum-jerk trajectories minimize for smooth robot motion.
Nonlinear programming solvers used in model predictive control (IPOPT, SQP) iterate towards a KKT point.
Vehicle paths must respect a maximum curvature (minimum turning radius).
This page has the essentials. A fuller treatment (intuition, formal definition, worked example) is on the way.