Linear Quadratic Regulators: A New Look
Cédric Join, Emmanuel Delaleau, Michel Fliess
TL;DR
The paper reframes LQR within a module-theoretic framework over the differential operator ring, linking Kalman controllability to freeness and expressing all system variables via flat outputs. It develops a comprehensive algebraic toolkit—rings, presentation matrices, the Laplace functor, Lagrangians, and variational systems—and uses Euler–Lagrange equations to obtain tractable open-loop optimal trajectories on finite horizons, with a clear path to two-point boundary-value problems. It further discusses how to close the loop with model-free intelligent control to handle disturbances, and illustrates the theory with several examples including optimal time horizons and turnpike-like considerations. The approach provides an intrinsic, representation-free lens on controllability, observability, and optimality that connects differential-algebraic methods with classical LQR concepts, enabling parameter design and robust trajectory synthesis in a principled way.
Abstract
Linear time-invariant control systems can be considered as finitely generated modules over the commutative principal ideal ring $\mathbb{R}[\frac{d}{dt}]$ of linear differential operators with respect to the time derivative. The Kalman controllability in this algebraic language is translated as the freeness of the system module. Linear quadratic regulators rely on quadratic Lagrangians, or cost functions. Any flat output, i.e., any basis of the corresponding free module leads to an open-loop control strategy via an Euler-Lagrange equation, which becomes here a linear ordinary differential equation with constant coefficients. In this approach, the two-point boundary value problem, including the control variables, becomes tractable. It yields notions of optimal time horizon, optimal parameter design and optimal rest-to-rest trajectories. The loop is closed via an intelligent controller derived from model-free control, which is known to exhibit excellent performance concerning model mismatches and disturbances.
