Image de couverture de livre

Model-Free Verification for Neural Network Controlled Systems

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wang, Han, Xiong, Zuxun, Zhao, Liqun, Papachristodoulou, Antonis
Format:	Preprint
Publié:	2023
Sujets:	Optimization and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Data-Driven Stable Neural Feedback Loop Design
par: Xiong, Zuxun, et autres
Publié: (2024)

On the Design of Rational Polynomial State Feedback Controllers
par: Newton, Matthew, et autres
Publié: (2025)

Data-Enabled Predictive Control for Nonlinear Systems Based on a Koopman Bilinear Realization
par: Xiong, Zuxun, et autres
Publié: (2025)

Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
par: Wang, Han, et autres
Publié: (2023)

Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
par: Wang, Han, et autres
Publié: (2022)

Safe and Stable Filter Design Using a Relaxed Compatibitlity Control Barrier -- Lyapunov Condition
par: Wang, Han, et autres
Publié: (2024)

Constraint Horizon in Model Predictive Control
par: Nascimento, Allan Andre Do, et autres
Publié: (2025)

Model Predictive Control with Multiple Constraint Horizons
par: Nascimento, Allan Andre do, et autres
Publié: (2025)

Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints
par: Wang, Han, et autres
Publié: (2024)

Two-Stage Robust Planning Model for Park-Level Integrated Energy System Considering Uncertain Equipment Contingency
par: Xiong, Zuxun, et autres
Publié: (2024)

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization
par: Fochesato, Marta, et autres
Publié: (2025)

Acceleration of Moment Bound Optimization for Stochastic Chemical Reactions Using Reaction-wise Sparsity of Moment Equations
par: Sadatoshi, Tomoki, et autres
Publié: (2026)

A Koopman Set-Membership Approach for Nonlinear Data-Driven Control with Stability Guarantees
par: Xie, Yifan, et autres
Publié: (2026)

Opt-ODENet: A Neural ODE Framework with Differentiable QP Layers for Safe and Stable Control Design (longer version)
par: Miao, Keyan, et autres
Publié: (2025)

Constrained Diffusers for Safe Planning and Control
par: Zhang, Jichen, et autres
Publié: (2025)

Stable and Safe Human-aligned Reinforcement Learning through Neural Ordinary Differential Equations
par: Zhao, Liqun, et autres
Publié: (2024)

Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification
par: Zhao, Haoruo, et autres
Publié: (2024)

Learning Neural Controllers with Optimality and Stability Guarantees Using Input-Output Dissipativity
par: Wang, Han, et autres
Publié: (2025)

A Dual Quaternion Control Law for Formation Control of Multiple 3-D Rigid Bodies
par: Cui, Chunfeng, et autres
Publié: (2025)

Exponential Stabilization of Linear Systems using Nearest-Action Control with Countable Input Set
par: Almuzakki, Muhammad Zaki, et autres
Publié: (2024)

Neural-NPV Control: Learning Parameter-Dependent Controllers and Lyapunov Functions with Neural Networks
par: Niloy, MD Abul Kashem, et autres
Publié: (2026)

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
par: Meng, Yiming, et autres
Publié: (2024)

Model-Free Practical Cooperative Control for Diffusively Coupled Systems
par: Sharf, Miel, et autres
Publié: (2019)

Robust Stability of Neural Network Control Systems with Interval Matrix Uncertainties
par: Zhang, Yuhao, et autres
Publié: (2023)

Forward Invariance in Neural Network Controlled Systems
par: Harapanahalli, Akash, et autres
Publié: (2023)

Neural Control Systems
par: Colusso, Paolo, et autres
Publié: (2024)

Sample-Free Safety Assessment of Neural Network Controllers via Taylor Methods
par: Evans, Adam, et autres
Publié: (2026)

On Integer Programming for the Binarized Neural Network Verification Problem
par: Kim, Woojin, et autres
Publié: (2025)

Chordal Sparsity for SDP-based Neural Network Verification
par: Xue, Anton, et autres
Publié: (2022)

Parallelizable Riemannian Alternating Direction Method of Multipliers for Non-convex Pose Graph Optimization
par: Chen, Xin, et autres
Publié: (2026)

Switching Event-Triggered Control of Nonlinear Parabolic PDE Systems via Galerkin/Neural-Network-Based Modeling Approach
par: Sun, Xiao-Yu, et autres
Publié: (2024)

Optimal Inferential Control of Convolutional Neural Networks
par: Vaziri, Ali, et autres
Publié: (2024)

Distributed Control of Network Systems in the Space of Stabilizing Graph Neural Network Policies
par: Cao, John, et autres
Publié: (2025)

Provably-Stable Neural Network-Based Control of Nonlinear Systems
par: Li, Anran, et autres
Publié: (2025)

Model-Free Design and Analysis of 2DOF PI Controller for Noisy LTI Systems
par: Kiyota, Taiga, et autres
Publié: (2025)

Progressive Optimal Path Sampling for Closed-Loop Optimal Control Design with Deep Neural Networks
par: Zhang, Xuanxi, et autres
Publié: (2022)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
par: Liu, Jun, et autres
Publié: (2023)

Neural Network Approaches for Parameterized Optimal Control
par: Verma, Deepanshu, et autres
Publié: (2024)

Fast Explicit Machine Learning-Based Model Predictive Control of Nonlinear Processes Using Input Convex Neural Networks
par: Wang, Wenlong, et autres
Publié: (2024)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
par: Hu, Hanjiang, et autres
Publié: (2024)