arXiv Machine Learning

Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees

arXiv:2404. 07373v2 Announce Type: replace-cross Abstract: This paper presents a method to synthesize neural network controllers to maximize reward subject to the hard constraint that the feedback system of plant and controller be dissipative, certifying requirements such as stability and $L_2$ gain bounds.

arXiv Machine Learning
Jun 10

PL-KKT-hPINN: Enforcing Nonlinear Equality Constraints on Neural Networks via Piecewise-Linear Projection

arXiv:2606. 10682v1 Announce Type: new Abstract: While physics-informed neural networks (PINNs) have shown strong potential for process modeling, physical equations are only enforced as soft constraints during training, and thus, they do not guarantee constraint satisfaction at inference.

By Fateme Mohammad Mohammadi, Hector Budman, Joshua L. Pulsipher
arXiv AI
Jul 2

GPU-Parallel Linearization Error Bounds for Real-Time Robust Optimal Control of Nonlinear and Neural Network Dynamics

arXiv:2607. 01203v1 Announce Type: cross Abstract: This paper studies real-time robust optimal control for uncertain nonlinear systems, where linear time-varying (LTV) approximations make planning tractable but require sound linearization error bounds (LEBs) to guarantee robust constraint satisfaction.

By Jeffrey Fang, Keyi Shen, Anutam Srinivasan, Glen Chou