Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

3.5 Equality and Inequality Constraints

Equalities define consistency

An equality constraint h(z)=0h(z)=0 usually expresses a law or required consistency: static equilibrium, a geometric relation, an algebraic coupling between disciplines, or a discretized dynamic equation. In CCD, the state equation

x˙f(t,x,u,p)=0\dot x-f(t,x,u,p)=0

is a time-dependent equality constraint. In a simultaneous transcription, its discrete defects appear explicitly in the nonlinear program.

Inequalities define acceptable sides

An inequality g(z)0g(z)\le0 defines an allowed side of a boundary. Examples include

x(t)xmax0,u(t)Fmax0,T(t)Tmax0.|x(t)|-x_{\max}\le0,\quad |u(t)|-F_{\max}\le0,\quad T(t)-T_{\max}\le0.

Absolute-value constraints are commonly implemented as two smooth inequalities. A constraint is active at a design when gi(z)=0g_i(z^*)=0 and inactive when gi(z)<0g_i(z^*)<0.

Objective contours meeting active inequality constraints.

Active constraints explain why an optimum sits where it does. If actuator saturation and suspension travel are both active, more feedback gain cannot improve ride without increasing actuator size or changing the plant. The physical bottleneck is visible in the optimization structure.

Path, boundary, and design constraints

A path constraint must hold throughout time. A boundary constraint applies at the initial or final time. A design constraint depends only on time-independent variables. Checking a path limit only at a few output samples can miss an inter-sample violation.

Activity 3.5: write the constraints