Control theory

Level AdvancedDifficulty ★★★★★Application⌖ Open in the map

What is it?

Designing feedback so a dynamical system does what we want, robustly. Classical control works with transfer functions (Laplace); modern control with state-space ODEs x˙=Ax+Bu\dot x = Ax + Bu, optimal control (LQR, MPC) and stability theory (eigenvalues, Lyapunov).

Formulas

x˙=Ax+Bu,  u=−Kx  ⟹  x˙=(A−BK)x\dot x = Ax + Bu,\ \ u = -Kx \implies \dot x = (A - BK)x
state feedback: choose KK to place the eigenvalues of A−BKA - BK
min⁡u∫0∞(x𝖳Qx+u𝖳Ru) dt\min_u \int_0^\infty\big(x^{\mathsf T}Qx + u^{\mathsf T}Ru\big)\,\dd t
linear-quadratic regulator (LQR)

The mathematics behind it

  • Ordinary differential equations★★★★★fundamental

    Plants and controllers are described by ODEs; control designs their closed-loop behaviour.

  • Dynamical systems★★★★★fundamental

    Control is the art of shaping the dynamics of a system by feedback.

  • Equilibria and stability★★★★★fundamental

    Stability analysis (eigenvalues, Lyapunov functions) is the core of control design.

  • Laplace transform★★★★★fundamental

    Classical control (Bode, Nyquist, root locus) works with transfer functions in the Laplace domain.

  • Rational functions★★★★★frequent

    Linear time-invariant systems have rational transfer functions G(s)G(s).

  • Complex numbers★★★★★frequent

    A linear system is stable when the poles of its transfer function lie in the left half of the complex plane.

  • Matrices and linear maps★★★★★frequent

    State-space models x˙=Ax+Bu\dot x = Ax + Bu are linear maps.

  • Nonlinear plants are linearized around an operating point and controlled with linear theory.

  • Partial fractions★★★★★frequent

    The time response of a system is found by splitting G(s)G(s) into partial fractions and inverting each term.

  • Linearization around an equilibrium gives the matrices AA, BB of a state-space model.

  • First-order linear equations★★★★★frequent

    First-order lags with time constant τ=1/a\tau = 1/a are the building blocks of system models.

  • Z-transform★★★★★frequent

    Digital controllers running on microcontrollers are designed in the zz-domain.

  • Bifurcations★★★★★advanced

    Hopf bifurcations explain how increasing a gain turns a stable loop into an oscillating one.

Where is it used?

Computing topics reachable from here, through the chain of ideas that leads to them:

What depends on it

This page has the essentials. A fuller treatment (intuition, formal definition, worked example) is on the way.

↑ ↓ to navigate · ↵ · Esc