Control Theory operators
20 operators in the control_theory category of the live registry. Each is a named formula you can compose inside a state contract or call directly through POST /api/zeq/compute. KO42 is always on; add up to three more per call (total ≤ 4), per the 7-step protocol.
| Operator | Description | Equation |
|---|---|---|
CT1 | Transfer function representing a linear time-invariant system as the ratio of output to input Laplace transforms. | G(s) = \frac{Y(s)}{U(s)} |
CT10 | Peak overshoot percentage for an underdamped second-order system expressed as a function of the damping ratio. | M_p = e^{-\frac{\zeta\pi}{\sqrt{1-\zeta^2}}} |
CT11 | Rise time approximation for a second-order system inversely proportional to the natural frequency, measuring response speed. | t_r \approx \frac{1.8}{\omega_n} |
CT12 | Settling time approximation for a second-order system inversely proportional to the product of damping ratio and natural frequency. | t_s \approx \frac{4}{\zeta\omega_n} |
CT13 | State-space representation expressing a dynamic system as first-order matrix differential equations with input, output, and state vectors. | \dot{x} = Ax + Bu, \quad y = Cx + Du |
CT14 | Controllability test checking whether the rank of the controllability matrix equals the system order, ensuring all states are reachable. | \text{rank}[B, AB, ..., A^{n-1}B] = n |
CT15 | Observability test checking whether all internal states can be inferred from output measurements via the observability matrix rank. | \text{rank}[C; CA; ...; CA^{n-1}] = n |
CT16 | Linear-quadratic regulator cost functional balancing state deviation and control effort through weighted integral minimization. | J = \int_0^\infty (x^T Q x + u^T R u) dt |
CT17 | Optimal LQR gain matrix computed from the solution of the algebraic Riccati equation, minimizing the quadratic cost functional. | K = R^{-1}B^T P |
CT18 | Algebraic Riccati equation whose solution yields the optimal gain for linear-quadratic control and Kalman filtering problems. | A^T P + PA - PBR^{-1}B^T P + Q = 0 |
CT19 | Nyquist stability criterion determining closed-loop stability by counting encirclements of the critical point in the open-loop frequency response. | N_p \circlearrowleft(-1,0) = Z - P |
CT2 | Closed-loop transfer function for negative feedback systems, showing how feedback reshapes the open-loop plant response. | H_{cl}(s) = \frac{G(s)}{1 + G(s)H(s)} |
CT20 | Laplace transform converting time-domain differential equations into algebraic equations in the complex frequency domain for system analysis. | L\{f(t)\} = \int_0^\infty f(t)e^{-st}dt |
CT3 | Steady-state error computed via the final value theorem, quantifying the persistent tracking error for a given input type. | e_{ss} = \lim_{s\to 0} \frac{sR(s)}{1+G(s)H(s)} |
CT4 | Position error constant determining steady-state error for step inputs from the DC gain of the open-loop transfer function. | K_p = \lim_{s\to 0} G(s)H(s) |
CT5 | Velocity error constant determining steady-state error for ramp inputs from the open-loop transfer function behavior near the origin. | K_v = \lim_{s\to 0} sG(s)H(s) |
CT6 | Acceleration error constant determining steady-state error for parabolic inputs, requiring at least a type-2 system for zero error. | K_a = \lim_{s\to 0} s^2G(s)H(s) |
CT7 | PID controller combining proportional, integral, and derivative actions to minimize error in a feedback control loop. | u(t) = K_p e(t) + K_i\int e(t)dt + K_d\frac{de(t)}{dt} |
CT8 | Phase margin measuring the additional phase lag at gain crossover that would bring the system to the edge of instability. | PM = 180° + \angle G(j\omega_{gc}) |
CT9 | Gain margin measuring how much the open-loop gain can increase at the phase crossover frequency before the system becomes unstable. | GM = \frac{1}{|G(j\omega_{pc})|} |
Compute with one of these
curl -sS -X POST https://zeqsdk.com/api/zeq/compute \
-H "Authorization: Bearer $ZEQ_KEY" \
-H "Content-Type: application/json" \
-d '{"operators":["CT1"],"inputs":{}}'
The response carries the bare physics value, its unit and uncertainty, the generated master equation, and a signed envelope you can verify on any node.
See also
- The solvers — how an operator becomes a physical answer
- Operator selection — how a query picks operators
- All categories — the full reference index