Cover Image

Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Haoyu, Zhong, Xiangru, Hu, Bin, Zhang, Huan
Format:	Preprint
Published:	2025
Subjects:	Optimization and Control Machine Learning Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
by: Li, Haoyu, et al.
Published: (2026)

Discrete-time Contraction-based Control of Nonlinear Systems with Parametric Uncertainties using Neural Networks
by: Wei, Lai, et al.
Published: (2021)

Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks
by: Noori, Sahel Vahedi, et al.
Published: (2024)

Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
by: Zhang, Yuhao, et al.
Published: (2025)

Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion
by: Li, Haoyu, et al.
Published: (2025)

A Nonlinear Separation Principle via Contraction Theory: Applications to Neural Networks, Control, and Learning
by: Gokhale, Anand, et al.
Published: (2026)

Provably-Stable Neural Network-Based Control of Nonlinear Systems
by: Li, Anran, et al.
Published: (2025)

Negative Imaginary Neural ODEs: Learning to Control Mechanical Systems with Stability Guarantees
by: Shi, Kanghong, et al.
Published: (2025)

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
by: Harapanahalli, Akash, et al.
Published: (2023)

Mutual Information Optimal Control of Discrete-Time Linear Systems
by: Enami, Shoju, et al.
Published: (2025)

Improved Scalable Lipschitz Bounds for Deep Neural Networks
by: Syed, Usman, et al.
Published: (2025)

Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models
by: Zhang, Hang, et al.
Published: (2023)

Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation
by: Serry, Mohamed, et al.
Published: (2026)

Formally Verified Physics-Informed Neural Control Lyapunov Functions
by: Liu, Jun, et al.
Published: (2024)

Neural Operators for Predictor Feedback Control of Nonlinear Delay Systems
by: Bhan, Luke, et al.
Published: (2024)

Learning Neural Contracting Dynamics: Extended Linearization and Global Guarantees
by: Jaffe, Sean, et al.
Published: (2024)

Finite-Time Bounds for Two-Time-Scale Stochastic Approximation with Arbitrary Norm Contractions and Markovian Noise
by: Chandak, Siddharth, et al.
Published: (2025)

Neural Approximators for Low-Thrust Trajectory Transfer Cost and Reachability
by: Zhang, Zhong, et al.
Published: (2025)

Learning-Based Optimal Control with Performance Guarantees for Unknown Systems with Latent States
by: Lefringhausen, Robert, et al.
Published: (2023)

Learning Dissipative Neural Dynamical Systems
by: Xu, Yuezhu, et al.
Published: (2023)

Contraction Theory for Nonlinear Stability Analysis and Learning-based Control: A Tutorial Overview
by: Tsukamoto, Hiroyasu, et al.
Published: (2021)

Safe Guaranteed Exploration for Non-linear Systems
by: Prajapat, Manish, et al.
Published: (2024)

Physics-Informed Graph Neural Network for Dynamic Reconfiguration of Power Systems
by: Authier, Jules, et al.
Published: (2023)

Incremental Correction in Dynamic Systems Modelled with Neural Networks for Constraint Satisfaction
by: Cho, Namhoon, et al.
Published: (2022)

Robust Stability of Neural Network Control Systems with Interval Matrix Uncertainties
by: Zhang, Yuhao, et al.
Published: (2023)

ReLU Networks for Model Predictive Control: Network Complexity and Performance Guarantees
by: Li, Xingchen, et al.
Published: (2026)

A Framework for Adaptive Stabilisation of Nonlinear Stochastic Systems
by: Siriya, Seth, et al.
Published: (2025)

Sampling-Horizon Neural Operator Predictors for Nonlinear Control under Delayed Inputs
by: Bhan, Luke, et al.
Published: (2026)

A PAC-Bayes Approach for Controlling Unknown Linear Discrete-time Systems
by: Luo, Yujia, et al.
Published: (2026)

Identifying Network Structure of Nonlinear Dynamical Systems: Contraction and Kuramoto Oscillators
by: Gill, Jaidev, et al.
Published: (2025)

Universal Approximation Power of Deep Residual Neural Networks via Nonlinear Control Theory
by: Tabuada, Paulo, et al.
Published: (2020)

Bayesian Ambiguity Contraction-based Adaptive Robust Markov Decision Processes for Adversarial Surveillance Missions
by: Choi, Jimin, et al.
Published: (2025)

Estimation Sample Complexity of a Class of Nonlinear Continuous-time Systems
by: Kuang, Simon, et al.
Published: (2023)

System-level Safety Guard: Safe Tracking Control through Uncertain Neural Network Dynamics Models
by: Li, Xiao, et al.
Published: (2023)

Probabilistic Safety Guarantee for Stochastic Control Systems Using Average Reward MDPs
by: Omidi, Saber, et al.
Published: (2025)

Non-Asymptotic Bounds for Closed-Loop Identification of Unstable Nonlinear Stochastic Systems
by: Siriya, Seth, et al.
Published: (2024)

A Guaranteed-Stable Neural Network Approach for Optimal Control of Nonlinear Systems
by: Li, Anran, et al.
Published: (2025)

Verifying Closed-Loop Contractivity of Learning-Based Controllers via Partitioning
by: Davydov, Alexander
Published: (2025)

Data-driven Reachable Set Estimation with Tunable Adversarial and Wasserstein Distributional Guarantees
by: Pantazis, Georgios, et al.
Published: (2026)

Koopman Data-Driven Predictive Control with Robust Stability and Recursive Feasibility Guarantees
by: de Jong, Thomas, et al.
Published: (2024)