---
title: 'PID Control: Theory, Tuning & Applications'
url: https://www.emergentmind.com/topics/proportional-integral-derivative-pid-control
type: topic
---

# PID Control: Theory, Tuning & Applications

Proportional–integral–derivative (PID) control is a feedback-control strategy in which the control signal is formed from present, accumulated, and rate-of-change information of the regulation error. In continuous time it is commonly written as \(u(t)=K_p e(t)+K_i\int e(t)\,dt+K_d \frac{de(t)}{dt}\), and in transfer-function form as \(C(s)=K_p+\frac{K_i}{s}+K_d s\). Its enduring importance derives from straightforward implementation, interpretability, and an error-driven, often model-free structure that has been used across industrial process control, robotics, optical stabilization, temperature regulation, biochemical reaction networks, and molecular communication systems [1611.05164][2512.06578].

## 1. Canonical formulation and control structure

The canonical PID law combines three distinct error channels. The proportional term reacts to the current error and mainly shapes responsiveness; the integral term accumulates past errors and is responsible for offset removal and improved steady-state tracking; and the derivative term anticipates error change, adds damping, and helps reduce oscillations [1604.02527]. In Laplace form, this structure appears as
\[
C(s)=K_p+\frac{K_i}{s}+K_d s,
\]
while in time domain it appears as
\[
u(t)=K_p e(t)+K_i\int_0^t e(\tau)\,d\tau + K_d \frac{de(t)}{dt}.
\]
This representation remains the common reference point for both classical and modern variants [1611.05164].

In digital control, two discrete-time forms recur. The position form is
\[
u(k)=K_p e(k)+K_i\sum_{j=0}^{k} e(j)+K_d\bigl[e(k)-e(k-1)\bigr],
\]
whereas the incremental form is
\[
u(k)=u(k-1)+K_p\bigl[e(k)-e(k-1)\bigr]+K_i e(k)+K_d\bigl[e(k)-2e(k-1)+e(k-2)\bigr].
\]
The incremental form is emphasized in mobile-robot control because it depends only on recent errors and outputs control increments rather than absolute commands, which is described as less disruptive and computationally lighter for digital robot control [1604.02527][2103.10686].

Several works use setpoint-weighted or two-degree-of-freedom formulations. In the “Closed PID-Loop Model” following control formulation, the PID law is expressed with \(e_1=br-y\), \(e_2=\int_0^\tau (r-y)\,dt\), and \(e_3=c\dot r-\dot y\), yielding a compact decomposition \(u=T_r r-T_y y\), with
\[
T_r=K_p b+\frac{K_i}{s}+K_d s c,\qquad T_y=K_p+\frac{K_i}{s}+K_d s.
\]
This explicitly separates reference weighting from feedback action [2006.00314].

In multivariable and joint-space settings, the same structure is retained componentwise. For robot joints, one paper writes
\[
u_i(t)=K_{p,i} e_i(t)+K_{i,i}\int_0^t e_i(\tau)\,d\tau +K_{d,i}\dot e_i(t),
\qquad
e_i(t)=q_{ref,i}(t)-q_i(t),
\]
with elementwise vectorized gains \(\mathbf{K}_p,\mathbf{K}_i,\mathbf{K}_d\) [2511.06500]. This suggests that PID is best understood not as a single equation but as a structured family of error-feedback realizations whose essential semantics remain unchanged across continuous-time, discrete-time, SISO, and MIMO settings.

## 2. Physical realization, tuning practice, and implementation constraints

A notable feature of PID is the direct interpretability of its coefficients in hardware. In an analog op-amp implementation, the proportional, integral, and derivative actions can be realized by separate inverting blocks with
\[
K_p=-\frac{R_2}{R_1},\qquad
K_i=-\frac{1}{R_i C_i},\qquad
K_d=-R_d C_d.
\]
This makes the abstract gains directly programmable as resistor ratios and RC time constants [1611.05164]. In the same integrated implementation, the gains are stored in 4-bit registers and realized through switchable resistor and capacitor banks, illustrating how classical PID can be preserved while parameter adaptation is delegated to digital logic [1611.05164].

Practical PID design is shaped as much by sensing and implementation as by the nominal control law. The “split-PID” architecture addresses a common spatially distributed-control problem: when actuator and regulated variable are separated, placing the sensor at the sample gives correct steady-state regulation but low bandwidth, whereas placing it near the actuator improves bandwidth but can introduce offset at the true regulated location. The proposed remedy is to assign the integral term to the far sensor and the proportional/derivative terms to the near sensor, i.e.
\[
u(t)=K_p(r-y_1(t))+K_d\frac{d}{dt}(r-y_1(t))+K_i\int_0^t (r-y_2(\xi))\,d\xi,
\]
with \(y_1\) measured near the heater and \(y_2\) near the sample [1410.1104]. In the reported thermal experiment, heater-probe-only PID led to a sample offset of about \(3.5^\circ\mathrm{C}\) and drift, sample-probe-only PID removed the offset but responded more slowly, and split-PID preserved sample accuracy while remaining almost as fast as the heater-probe loop [1410.1104].

Derivative implementation is another recurrent practical issue. For time-delay systems, derivative action is not treated as an ideal \(K_d s\) term but as a filtered realization
\[
T\dot z(t)+z(t)=\dot y(t),\qquad z(s)=\frac{s}{Ts+1}y(s),
\]
so the derivative channel is \(K_d \frac{s}{Ts+1}\). One numerical co-design study shows that the filter cannot be appended after tuning an ideal PID; the filter changes the closed-loop characteristic roots and therefore changes stability, decay rate, delay margin, and robustness [2604.16124]. A plausible implication is that derivative filtering is not merely an implementation detail but part of the controller definition for delayed systems.

The literature summarized here also repeatedly exposes omissions that matter in deployment. Several adaptive and learning-based PID studies explicitly note that anti-windup, derivative filtering, actuator saturation laws, or detailed noise mitigation are absent from their implementations [2503.10395][2512.06578][2511.06500]. This underscores a persistent distinction between PID as a nominal feedback law and PID as a deployable engineered loop.

## 3. Structural generalizations of the PID law

A large contemporary literature does not discard PID but alters its internal structure while retaining the error-feedback principle. Representative variants are summarized below.

| Variant | Central mechanism | Representative paper |
|---|---|---|
| Split-PID | \(I\) on far sensor, \(PD\) on near sensor | [1410.1104] |
| Extended PID | Higher-order error derivatives up to \(e^{(n-1)}\) | [1901.00973] |
| Nonlinear integral PID | Error-dependent integral gain \(c(1+d\exp(e|y|))\) | [2404.02502] |
| Rolling PID | Repeated finite-horizon gain re-optimization | [1604.02527] |
| PID-GM | Gain mapping from \((k_p,k_d,T)\) to \((K_P,K_I,K_D)\) | [2504.15081] |
| Closed PID-loop model following | Gains tied to an implicit second-order CPLM | [2006.00314] |

The “extended PID” controller generalizes classical PID for high-order affine nonlinear uncertain systems by adding higher-order derivatives of the regulation error,
\[
u(t)=k_1 e(t)+k_0\int_0^t e(s)\,ds+k_2\dot e(t)+\cdots+k_n e^{(n-1)}(t).
\]
For systems of relative degree \(n\), this reduces the closed-loop error dynamics to a perturbed linear chain and yields global or semi-global exponential regulation under explicit gain-manifold conditions [1901.00973]. In this framework, ordinary PID is recovered when \(n=2\).

A different generalization modifies only the integral channel. For the perturbed double integrator \(\ddot y=u+\sigma\), the nonlinear integral extension
\[
u(t)=-a\dot y(t)-b y(t)-c\Bigl(1+d\exp(e|y(t)|)\Bigr)\int y(t)\,dt
\]
preserves the PD channels and makes the integral gain state dependent [2404.02502]. Because \(e<0\), the effective integral gain is largest near \(y=0\), so the controller behaves like a nominal PID for large errors and a stronger integral controller near the setpoint. The paper proves global asymptotic stability for the unperturbed or constant-disturbance case via the circle criterion and argues, using disturbance-to-output sensitivity, that this nonlinear gain improves residual-error settling under Lipschitz perturbations [2404.02502].

The “rolling PID” approach retains the discrete PID law but periodically re-estimates the gains over a rolling horizon using recent observed data. Its objective functions are horizon-based versions of ISE, ITSE, IAE, and ITAE, and the controller gains are repeatedly updated by solving finite-horizon optimization problems [1604.02527]. In the reported nonlinear-system simulations, the rolling method with model updating converged to the reference with no overshoot and steadier trajectories than the version without model updating [1604.02527].

PID-GM, or PID control with gain mapping, introduces the nonlinear map
\[
K_P=k_p+\frac{k_d}{T},\qquad
K_D=k_d+\frac{1}{T},\qquad
K_I=\frac{k_p}{T},
\]
which recasts PID exactly as a nominal PD law plus an uncertainty/disturbance compensator:
\[
u(t)=u_0(t)-\hat d(t),\qquad
u_0(t)=\ddot q_d(t)+k_p\tilde q(t)+k_d\dot{\tilde q}(t).
\]
The parameter \(T\) becomes a virtual singular perturbation parameter: smaller \(T\) increases all three PID gains and reduces the ultimate tracking-error bound, but also increases peaking and transient control effort [2504.15081].

The CPLMFC framework interprets PID as implicitly shaping a second-order closed-loop model
\[
T_m(s)=\frac{A+B}{D+A}
      =\frac{c s^2+b\frac{K_p}{K_d}s+\frac{K_i}{K_d}}
             {s^2+\frac{K_p}{K_d}s+\frac{K_i}{K_d}},
\]
which is then matched to a desired second-order form with natural frequency \(\omega_n\) and damping \(\zeta\) [2006.00314]. This suggests a shift in viewpoint: tuning can proceed from desired closed-loop settling behavior rather than from an explicit plant model.

## 4. Adaptive, learning-based, and optimization-based PID tuning

A major modern trend is to preserve PID as the inner control law while moving adaptation to an outer supervisory layer. The following directions recur.

| Direction | Adaptation mechanism | Representative paper |
|---|---|---|
| Mixed-signal self-tuning | PSO updates bit-programmable analog gains | [1611.05164] |
| RL-assisted threshold or gain tuning | RL/PID hierarchy with PID remaining actuator-facing | [2503.10395] |
| RL gain scheduling for mobile robots | SAC outputs incremental PID gains online | [2103.10686] |
| Policy-to-PID distillation | PILCO/MBPO policy converted to PID by KLD fitting | [2206.03567] |
| Meta-initialized adaptive PID | Meta-learning initializes gains, PPO refines online | [2511.06500] |
| Untrained neural adaptation | Error-driven MLP reshapes \(K_p,K_i,K_d\) online | [2512.06578] |
| Event-based self-tuning | Game-theoretic players adapt PI/PID gains on events | [2506.13164] |

At the hardware end, a single-chip self-tunable N-input N-output controller combines analog PID loops with a shared PSO tuner. Local analog PID attempts to reject disturbances first; only if the error is not corrected within a stipulated time \(t_o\) is a shared digital PSO block invoked to compute revised \((K_p,K_i,K_d)\) values [1611.05164]. The PSO fitness is
\[
F=\beta * Error+\alpha * sys_{overshoot},
\]
with \(\alpha\) and \(\beta\) chosen equal, and the implementation uses 50 particles, 50 iterations, and 4-bit coefficient precision [1611.05164].

Several reinforcement-learning studies keep PID as the low-level controller and let learning update only the gains. In optical beam stabilization for satellite-to-ground communication, a DDPG agent updates \((P_x,I_x,P_y,I_y)\) while \(D_x,D_y\) remain fixed at baseline values. Relative to manually tuned baseline gains \(\{10,5,0,16,6.8,2.5\}\), an RL-derived online-retrained policy reduces the average radial image-plane deviation from \(7.83\) pixels to \(6.12\) pixels, described as a \(21.7\pm 3.2\%\) reduction [2503.10395]. In line-following mobile robots, a hierarchical SAC-PID controller outputs six gains for two incremental PID loops; on the hardest simulated path, SAC-PID achieves \(95\%\) success and \(0.259\pm0.012\ \mathrm{m/s}\), while fuzzy PID achieves \(20\%\) success and \(0.197\pm0.027\ \mathrm{m/s}\) [2103.10686].

Model-based reinforcement learning has also been used to design interpretable PID controllers by first learning a policy with PILCO and then fitting a probabilistic PID controller by minimizing forward Kullback–Leibler divergence between trajectory distributions [2206.03567]. In that framework, error, derivative-of-error, and integral-of-error coordinates are extracted from rollouts, and the final control input is represented as a linear combination of proportional, integral, and derivative channels on those coordinates [2206.03567].

Hierarchical meta-learning and RL move further toward cross-platform auto-tuning. For a 9-DOF Franka Panda and a 12-DOF Laikago quadruped, a meta-network predicts PID gains from physical robot features, and PPO then applies multiplicative online updates
\[
\theta_{t+1}=\theta_t\odot (1+\mathbf a_t),\qquad
\mathbf a_t=[\Delta K_p,\Delta K_d]\in[-0.2,0.2]^2.
\]
On Franka, the combined method improves MAE from \(7.51^\circ\) to \(6.26^\circ\), a \(16.6\%\) improvement, with Joint 2 improving from \(12.36^\circ\) to \(2.42^\circ\), an \(80.4\%\) improvement [2511.06500]. On Laikago, however, MAE remains \(5.91^\circ\) before and after RL, leading the authors to introduce the “optimization ceiling effect”: RL helps when baseline PID has localized high-error joints, but not when the baseline is already uniformly strong [2511.06500]. This suggests that online gain adaptation is conditional rather than universally beneficial.

Two recent alternatives avoid conventional training overhead. EC-PIDUNN replaces fixed gains with online, error-driven gain adaptation produced by an untrained MLP. The architecture lifts the scalar error into
\[
I_t=[e_t,u_{t-1},\Delta\epsilon_t],\qquad \Delta\epsilon_t=e_t-u_{t-1},
\]
concatenates it with \(\rho_t=[\rho_p,\rho_i,\rho_d]\), and updates gains using
\[
K_p=K_{p0}+\rho_p \frac{\Delta\epsilon_t}{dt},\quad
K_i=K_{i0}+\rho_i \frac{\Delta\epsilon_t}{dt},\quad
K_d=K_{d0}+\rho_d \frac{\Delta\epsilon_t}{dt},
\]
inside the modified law
\[
u(t)=K_p e_t+\frac{K_i}{\tau}\int_0^T e_t\,dt+\tau K_d \dot e_t.
\]
On Ackermann-steered vehicle control, classical PID gives steering overshoot \(66\%\) and steering settling time \(14.5\), whereas EC-PIDUNN gives \(0\%\) overshoot and steering settling time \(1.9\); speed overshoot drops from \(19.4\%\) to \(0\%\) [2512.06578]. By contrast, an event-based game-theoretic self-tuner treats \(K_P,K_I,K_D\) as players in a state-based potential game and updates gains only when thresholded performance degrades. In a printing-press temperature loop, gradient-based learning reduced average settling time from \(67.425\) s to \(54.777\) s relative to best-response learning under static load, and from \(69.207\) s to \(51.026\) s under variable load and disturbances [2506.13164].

## 5. Stability, robustness, and what PID can theoretically guarantee

Theoretical treatments of PID in the cited literature range from classical margin analysis to nonlinear stochastic tracking. For low-order unstable SISO LTI plants, explicit formulas for maximal gain and phase margins achievable by P, PI, PD, and PID have been derived. For first-order plants
\[
P(s)=\frac{\beta_0+\beta_1 s}{s-p},\qquad p>0,
\]
the maximal margins achievable by PI are identical to those of P, and for first-order nonminimum-phase plants \(P(s)=\frac{s-z}{s-p}\) the relation to arbitrary LTI control is
\[
k_\star=(k_\star^{\rm P})^2,\qquad \theta_\star=2\theta_\star^{\rm P}.
\]
For second-order nonminimum-phase plants, the maximizing PID controller is effectively PD, and the paper concludes that integral action does not improve robust stabilization margins beyond what PD already achieves [2311.11460]. This directly addresses a common misconception: integral action is crucial for offset removal and tracking, but not automatically for classical gain- and phase-margin maximization.

At the nonlinear end, extended PID control provides global or semi-global exponential regulation for a class of high-order affine nonlinear uncertain systems. Under uniform relative degree \(n\), a known-sign input gain bounded away from zero, and coordinate-growth conditions, the gains can be chosen from an open unbounded parameter manifold so that \(e(t)\to 0\) exponentially fast [1901.00973]. An observer-based implementation replaces unavailable derivatives with a high-gain differential observer and preserves the same qualitative conclusion [1901.00973].

For stochastic nonlinear systems with time-varying references, a classical PID controller
\[
u(t)=K_p e(t)+K_i\int_0^t e(s)\,ds+K_d \dot e(t)
\]
has been shown to yield global mean-square stabilization and bounded tracking under bounded partial derivatives of the drift and diffusion, bounded \(\dot r\), bounded \(\dot d\), and bounded diffusion along the reference trajectory [2303.10537]. The steady-state tracking error is shown to depend on three factors: the change rates of the reference and disturbance, the intensity of the random noise, and the selected PID gains. Under the scaled-gain family
\[
K_i^\varepsilon=\frac{k_i}{\varepsilon^3}I_n,\qquad
K_p^\varepsilon=\frac{k_p}{\varepsilon^2}I_n,\qquad
K_d^\varepsilon=\frac{k_d}{\varepsilon}I_n,
\]
the paper proves practical tracking with arbitrarily small mean-square error as \(\varepsilon\to 0\), while also noting that control effort grows with decreasing \(\varepsilon\) [2303.10537].

Several papers also clarify what is not yet guaranteed. EC-PIDUNN argues for stability architecturally and empirically, but explicitly provides no Lyapunov analysis, closed-loop boundedness proof, or formal convergence guarantee [2512.06578]. The game-theoretic event-based tuner proves convergence to Nash equilibrium and closed-loop stability only under the assumptions that the action set contains stabilizing gains and the barrier slope dominates the utility gradient [2506.13164]. The RL-assisted optical-stabilization study keeps PID in the loop precisely because it provides a safe baseline, yet it offers no formal closed-loop stability proof for the RL-tuned system [2503.10395]. Collectively, these results indicate that PID theory is strongest where structure is explicit and weakest where adaptation is delegated to learned or heuristic outer loops.

## 6. Applications, contemporary significance, and open questions

PID remains prominent because it continues to adapt to new domains without losing its basic structure. In robotics, it underlies self-tunable analog chips for miniature robots [1611.05164], RL-supervised line following and quadruped/manipulator control [2103.10686][2511.06500], and untrained-neural gain adaptation for Ackermann vehicles and pan-tilt systems [2512.06578]. In optical systems, it serves as the embedded servo in MEMS-mirror beam stabilization for satellite-to-ground communication and QKD terminals [2503.10395]. In process industries, it remains the basis of temperature-control architectures, including event-based self-tuning on printing-press thermal loops [2506.13164]. In molecular communication, ART-Rx treats adaptive threshold detection as a PID problem:
\[
e(t)=y(t)-r(t),\qquad
\theta(t+1)=\theta(t)+u(t),
\]
and reports average BEP reductions such as \(0.33\to 0.018\) under varying interferer counts relative to a static statistically optimal threshold [2411.09787]. In synthetic biology, dual-rail biochemical reaction networks now support proportional, integral, and derivative blocks, enabling a full CRN PID controller that reduces oscillations in a microRNA-regulated gene-expression model relative to PI [1903.10390].

Several recurring issues define the current research frontier. One is **filtering and noise**. Derivative action is repeatedly identified as noise-sensitive, and one time-delay study argues that the derivative low-pass filter fundamentally changes spectral properties and must be co-designed with the gains [2604.16124]. A second is **hyperparameter and initialization sensitivity**. RL from scratch fails to converge within \(1\)M steps in the meta-learning-plus-RL study [2511.06500], and untrained-neural gain shaping is reported to be sensitive to \(\tau\) and neural hyperparameters [2512.06578]. A third is **reproducibility**. Some works omit explicit network sizes, baseline gains, or stabilizing parameters, which limits direct replication [2512.06578]. A fourth is **objective dependence**: the best PID structure for robust stabilization margins need not be the best for disturbance rejection, settling, or offset elimination. The conclusion that integral action adds no robust-stability margin in certain low-order LTI problems [2311.11460] coexists with multiple studies in which integral action or nonlinear integral modulation is central to steady-state accuracy and late-phase convergence [2404.02502][1410.1104].

Taken together, these developments present PID control less as a fixed historical algorithm than as a durable architectural template. Its core remains the same—feedback organized around present, accumulated, and predictive error information—but its realizations now include analog RC hardware, sensor-split structures, gain mappings, singular-perturbation reinterpretations, rolling optimization, policy-distilled gains, event-driven games, untrained neural adaptation, and biochemical or molecular embodiments. This suggests that PID control endures not because its classical form is universally sufficient, but because its structure remains flexible enough to absorb new sensing, computation, and robustness mechanisms while preserving a compact and interpretable feedback law.

Source: https://www.emergentmind.com/topics/proportional-integral-derivative-pid-control