English
Related papers

Related papers: Learning Certified Neural Network Controllers Usin…

200 papers

In the area of physical simulations, nearly all neural-network-based methods directly predict future states from the input states. However, many traditional simulation engines instead model the constraints of the system and select the state…

Machine Learning · Computer Science 2022-01-31 Yulia Rubanova , Alvaro Sanchez-Gonzalez , Tobias Pfaff , Peter Battaglia

Model predictive control (MPC) is a powerful, optimization-based approach for controlling dynamical systems. However, the computational complexity of online optimization can be problematic on embedded devices. Especially, when we need to…

This paper presents a learning-based control strategy for non-linear throttle valves with an asymmetric hysteresis, leading to a near-optimal controller without requiring any prior knowledge about the environment. We start with a carefully…

Systems and Control · Electrical Eng. & Systems 2024-07-18 Paul Daoudi , Bojan Mavkov , Bogdan Robu , Christophe Prieur , Emmanuel Witrant , Merwan Barlier , Ludovic Dos Santos

We prove that Riemannian contraction in a supervised learning setting implies generalization. Specifically, we show that if an optimizer is contracting in some Riemannian metric with rate $\lambda > 0$, it is uniformly algorithmically…

Machine Learning · Computer Science 2022-01-27 Leo Kozachkov , Patrick M. Wensing , Jean-Jacques Slotine

This work proposes a two-layered control scheme for constrained nonlinear systems represented by a class of recurrent neural networks and affected by additive disturbances. In particular, a base controller ensures global or regional…

Systems and Control · Electrical Eng. & Systems 2026-03-27 Daniele Ravasio , Danilo Saccani , Marcello Farina , Giancarlo Ferrari-Trecate

We present a feasibility-seeking approach to neural network training. This mathematical optimization framework is distinct from conventional gradient-based loss minimization and uses projection operators and iterative projection algorithms.…

Machine Learning · Computer Science 2026-05-18 Andreas Bergmeister , Manish Krishan Lal , Stefanie Jegelka , Suvrit Sra

Bounding is one of the important gaits in quadrupedal locomotion for negotiating obstacles. The authors proposed an effective approach that can learn robust bounding gaits more efficiently despite its large variation in dynamic body…

Robotics · Computer Science 2023-10-31 Zhicheng Wang , Anqiao Li , Yixiao Zheng , Anhuan Xie , Zhibin Li , Jun Wu , Qiuguo Zhu

Deep learning models are increasingly deployed in safety-critical tasks where predictions must satisfy hard constraints, such as physical laws, fairness requirements, or safety limits. However, standard architectures lack built-in…

Machine Learning · Computer Science 2025-11-26 Gonzalo E. Constante-Flores , Hao Chen , Can Li

Equivariant neural networks exploit underlying task symmetries to improve generalization, but strict equivariance constraints can induce more complex optimization dynamics that can hinder learning. Prior work addresses these limitations by…

Machine Learning · Computer Science 2026-02-24 Stefanos Pertigkiozoglou , Mircea Petrache , Shubhendu Trivedi , Kostas Daniilidis

This paper discusses learning a structured feedback control to obtain sufficient robustness to exogenous inputs for linear dynamic systems with unknown state matrix. The structural constraint on the controller is necessary for many…

Systems and Control · Electrical Eng. & Systems 2021-02-23 Sayak Mukherjee , Thanh Long Vu

Driven by the flexible manufacturing trend in the process control industry and the uncertain nature of chemical process models, this article aims to achieve offset-free tracking for a family of uncertain nonlinear systems (e.g., using…

Systems and Control · Electrical Eng. & Systems 2022-05-10 Lai Wei , Ryan McCloy , Jie Bao

Gating mechanisms are widely used in neural network models, where they allow gradients to backpropagate more easily through depth or time. However, their saturation property introduces problems of its own. For example, in recurrent models…

Neural and Evolutionary Computing · Computer Science 2020-06-22 Albert Gu , Caglar Gulcehre , Tom Le Paine , Matt Hoffman , Razvan Pascanu

Enforcing orthonormal or isometric property for the weight matrices has been shown to enhance the training of deep neural networks by mitigating gradient exploding/vanishing and increasing the robustness of the learned networks. However,…

Machine Learning · Computer Science 2024-03-01 Zhen Qin , Xuwei Tan , Zhihui Zhu

In this paper, we present a contraction-guided adaptive partitioning algorithm for improving interval-valued robust reachable set estimates in a nonlinear feedback loop with a neural network controller and disturbances. Based on an estimate…

Systems and Control · Electrical Eng. & Systems 2024-01-23 Akash Harapanahalli , Saber Jafarpour , Samuel Coogan

Training convolutional neural networks (CNNs) with a strict 1-Lipschitz constraint under the $l_{2}$ norm is useful for adversarial robustness, interpretable gradients and stable training. 1-Lipschitz CNNs are usually designed by enforcing…

Machine Learning · Computer Science 2022-11-17 Sahil Singla , Soheil Feizi

We use interval reachability analysis to obtain robustness guarantees for implicit neural networks (INNs). INNs are a class of implicit learning models that use implicit equations as layers and have been shown to exhibit several notable…

Machine Learning · Computer Science 2022-04-04 Alexander Davydov , Saber Jafarpour , Matthew Abate , Francesco Bullo , Samuel Coogan

This paper aims to enhance the computational efficiency of safety verification of neural network control systems by developing a guaranteed neural network model reduction method. First, a concept of model reduction precision is proposed to…

Machine Learning · Computer Science 2023-01-19 Weiming Xiang , Zhongzhu Shao

Contraction properties of the Riccati operator are studied within the context of non-stationary linear-quadratic optimal control. A lifting approach is used to obtain a bound on the rate of strict contraction, with respect to the Riemannian…

Systems and Control · Electrical Eng. & Systems 2023-09-06 Jintao Sun , Michael Cantoni

Control of complex systems involves both system identification and controller design. Deep neural networks have proven to be successful in many identification tasks, however, from model-based control perspective, these networks are…

Optimization and Control · Mathematics 2019-02-28 Yize Chen , Yuanyuan Shi , Baosen Zhang

This paper proposes a robust control strategy that integrates Iterative Learning Control (ILC) with a simple lateral neural network to enhance the trajectory tracking performance of a linear Lorentz force actuator under friction and model…

Systems and Control · Electrical Eng. & Systems 2025-11-18 Ali Mashhadireza , Ali Sadighi
‹ Prev 1 3 4 5 6 7 10 Next ›