LMI-Net: Linear Matrix Inequality--Constrained Neural Networks via Differentiable Projection Layers

Researchers introduce differentiable projection layers that allow neural networks to be trained while satisfying formal Linear Matrix Inequality constraints, enabling provably bounded behavior for safety-critical applications.