Search papers, labs, and topics across Lattice.
This paper introduces implicit neural controllers (INCs) as a novel approach to static feedback control, leveraging an implicit representation of neural networks to simplify mathematical analysis and ensure well-posedness. The authors develop a rigorous theoretical framework that includes conditions for exponential stability and performance guarantees through Lyapunov/IQC methods, enabling effective synthesis of controllers under explicit constraints. Notably, the results demonstrate that INCs can achieve lower discounted infinite-horizon costs than traditional finite-order dynamic controllers for certain unstable plants, highlighting their superior performance in constrained environments.
INCs can outperform traditional dynamic controllers, achieving lower costs in challenging control scenarios while ensuring mathematical rigor in their design.
Implicit neural controllers (INCs) are static feedback laws that are evaluated through an algebraic fixed point {equation}; they include as special cases neural network controllers. We propose a so-called implicit representation of neural networks as a key enabling device that exposes the controller as a trainable linear interconnection closed through a known static activation map, thereby making well-posedness and Lyapunov/IQC analysis mathematically easy to handle. For finite-dimensional LTI plants, we first develop a rigorous analysis theory for a given INC, including Perron--Frobenius and norm conditions for well posedness, LMI/IQC certificates for exponential stability, and LMIs for discounted infinite-horizon quadratic performance. We then formulate synthesis as a certification-compatible heuristic search: training is carried out under explicit well-posedness constraints, implicit-differentiation formulas provide gradients, and the resulting controller is accepted only after independent post-training LMIs or regional admissibility checks are feasible. Finally, we establish constrained-control separation results: for a specific scalar unstable plant with hard actuator bounds, an INC achieves a strictly smaller discounted infinite-horizon cost than any admissible finite-order dynamic linear controller. Additional results cover quadratic state-input costs, comparison with linear static output feedback, and computable upper/lower-bound certificates. Numerical examples illustrate the mechanism and the resulting certified performance.
