Cover Image

Verifying Closed-Loop Contractivity of Learning-Based Controllers via Partitioning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Davydov, Alexander
Format:	Preprint
Published:	2025
Subjects:	Systems and Control Machine Learning Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Perspectives on Contractivity in Control, Optimization, and Learning
by: Davydov, Alexander, et al.
Published: (2024)

Exponential Stability of Parametric Optimization-Based Controllers via Lur'e Contractivity
by: Davydov, Alexander, et al.
Published: (2024)

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

Heat Death of Generative Models in Closed-Loop Learning
by: Marchi, Matteo, et al.
Published: (2024)

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

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

MPC-Inspired Reinforcement Learning for Verifiable Model-Free Control
by: Lu, Yiwen, et al.
Published: (2023)

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

Non-Euclidean Contraction Analysis of Continuous-Time Neural Networks
by: Davydov, Alexander, et al.
Published: (2021)

Application-Driven Learning: A Closed-Loop Prediction and Optimization Approach Applied to Dynamic Reserves and Demand Forecasting
by: Garcia, Joaquim Dias, et al.
Published: (2021)

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

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

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

Incremental Input-to-State Stability and Equilibrium Tracking for Stochastic Contracting Dynamics
by: Kawano, Yu, et al.
Published: (2026)

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
by: Liu, Jun, et al.
Published: (2024)

Convex Chance-Constrained Stochastic Control under Uncertain Specifications with Application to Learning-Based Hybrid Powertrain Control
by: Kato, Teruki, et al.
Published: (2026)

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

Reinforcement Learning-based Control via Y-wise Affine Neural Networks (YANNs)
by: Braniff, Austin, et al.
Published: (2025)

Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems
by: Li, Haoyu, et al.
Published: (2025)

Dynamic Controlled Variables Based Dynamic Self-Optimizing Control
by: Zhou, Chenchen, et al.
Published: (2026)

Semi-on-Demand Transit Feeders with Shared Autonomous Vehicles and Reinforcement-Learning-Based Zonal Dispatching Control
by: Ng, Max T. M., et al.
Published: (2025)

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

Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
by: Jafarpour, Saber, et al.
Published: (2023)

Verifiable Error Bounds for Physics-Informed Neural Network Solutions of Lyapunov and Hamilton-Jacobi-Bellman Equations
by: Liu, Jun
Published: (2026)

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

Safe Online Control-Informed Learning
by: Zhou, Tianyu, et al.
Published: (2025)

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

Online Learning for Supervisory Switching Control
by: Sun, Haoyuan, et al.
Published: (2026)

Reinforcement Learning-based Control via Y-wise Affine Neural Networks: Comparative Case Studies for Chemical Processes
by: Braniff, Austin, et al.
Published: (2026)

Parameter-Adaptive Approximate MPC: Tuning Neural-Network Controllers without Retraining
by: Hose, Henrik, et al.
Published: (2024)

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
by: Ajeyemi, Damola, et al.
Published: (2025)

Predictor-Based Output-Feedback Control of Linear Systems with Time-Varying Input and Measurement Delays via Neural-Approximated Prediction Horizons
by: Bhan, Luke, et al.
Published: (2026)

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

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics
by: Prajapat, Manish, et al.
Published: (2025)

Model Predictive Path Integral PID Control for Learning-Based Path Following
by: Kato, Teruki, et al.
Published: (2026)

Distributionally Robust Regret Optimal Control Under Moment-Based Ambiguity Sets
by: Taha, Feras Al, et al.
Published: (2025)

End-to-End Learning Framework for Solving Non-Markovian Optimal Control
by: Zhang, Xiaole, et al.
Published: (2025)

Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions
by: Castañeda, Fernando, et al.
Published: (2022)

A Control Theoretic Framework for Adaptive Gradient Optimizers in Machine Learning
by: Chakrabarti, Kushal, et al.
Published: (2022)

Sample-Free Safety Assessment of Neural Network Controllers via Taylor Methods
by: Evans, Adam, et al.
Published: (2026)