AI RESEARCH
LMI-Net: Linear Matrix Inequality--Constrained Neural Networks via Differentiable Projection Layers
arXiv CS.LG
•
ArXi:2604.05374v1 Announce Type: new Linear matrix inequalities (LMIs) have played a central role in certifying stability, robustness, and forward invariance of dynamical systems. Despite rapid development in learning-based methods for control design and certificate synthesis, existing approaches often fail to preserve the hard matrix inequality constraints required for formal guarantees. We propose LMI-Net, an efficient and modular differentiable projection layer that enforces LMI constraints by construction.