Cover Image

Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cai, Feiyang, Fan, Chuchu, Bak, Stanley
Format:	Preprint
Published:	2024
Subjects:	Machine Learning Robotics Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
by: Vertovec, Nikolaus, et al.
Published: (2025)

Discrete GCBF Proximal Policy Optimization for Multi-agent Safe Optimal Control
by: Zhang, Songyuan, et al.
Published: (2025)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
by: Hu, Hanjiang, et al.
Published: (2024)

A Fast Initialization Method for Neural Network Controllers: A Case Study of Image-based Visual Servoing Control for the multicopter Interception
by: Ke, Chenxu, et al.
Published: (2025)

Structured Deep Neural Network-Based Backstepping Trajectory Tracking Control for Lagrangian Systems
by: Qian, Jiajun, et al.
Published: (2024)

Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops
by: Rober, Nicholas, et al.
Published: (2024)

An Iterative LQR Controller for Off-Road and On-Road Vehicles using a Neural Network Dynamics Model
by: Nagariya, Akhil, et al.
Published: (2020)

Safe Neural Control for Non-Affine Control Systems with Differentiable Control Barrier Functions
by: Xiao, Wei, et al.
Published: (2023)

Scalable Multi-modal Model Predictive Control via Duality-based Interaction Predictions
by: Kim, Hansung, et al.
Published: (2024)

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

CN-CBF: Composite Neural Control Barrier Function for Safe Robot Navigation in Dynamic Environments
by: Derajić, Bojan, et al.
Published: (2026)

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles
by: Parameshwaran, Aditya, et al.
Published: (2025)

Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation
by: Hu, Hanjiang, et al.
Published: (2024)

Collision Avoidance Verification of Multiagent Systems with Learned Policies
by: Dong, Zihao, et al.
Published: (2024)

Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
by: Lin, Albert, et al.
Published: (2025)

Solving Multi-Agent Safe Optimal Control with Distributed Epigraph Form MARL
by: Zhang, Songyuan, et al.
Published: (2025)

Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions
by: Vaisi, Goli, et al.
Published: (2025)

Towards Safe Learning-Based Non-Linear Model Predictive Control through Recurrent Neural Network Modeling
by: Clement, Mihaela-Larisa, et al.
Published: (2026)

Flying Quadrotors in Tight Formations using Learning-based Model Predictive Control
by: Chee, Kong Yao, et al.
Published: (2024)

Domain-decoupled Physics-informed Neural Networks with Closed-form Gradients for Fast Model Learning of Dynamical Systems
by: Krauss, Henrik, et al.
Published: (2024)

Solving Minimum-Cost Reach Avoid using Reinforcement Learning
by: So, Oswin, et al.
Published: (2024)

Actor-Critic Physics-informed Neural Lyapunov Control
by: Wang, Jiarui, et al.
Published: (2024)

Neural Configuration-Space Barriers for Manipulation Planning and Control
by: Long, Kehan, et al.
Published: (2025)

Verification of Neural Network Control Systems in Continuous Time
by: ArjomandBigdeli, Ali, et al.
Published: (2024)

Adaptive Model-Predictive Control of a Soft Continuum Robot Using a Physics-Informed Neural Network Based on Cosserat Rod Theory
by: Licher, Johann, et al.
Published: (2025)

Optimisation of Structured Neural Controller Based on Continuous-Time Policy Gradient
by: Cho, Namhoon, et al.
Published: (2022)

OptiState: State Estimation of Legged Robots using Gated Networks with Transformer-based Vision and Kalman Filtering
by: Schperberg, Alexander, et al.
Published: (2024)

Control-Theoretic Techniques for Online Adaptation of Deep Neural Networks in Dynamical Systems
by: Elkins, Jacob G., et al.
Published: (2024)

APECS: Adaptive Personalized Control System Architecture
by: Juston, Marius F. R., et al.
Published: (2025)

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
by: Lin, Albert, et al.
Published: (2023)

Hardware Neural Control of CartPole and F1TENTH Race Car
by: Paluch, Marcin, et al.
Published: (2024)

AD-NODE: Adaptive Dynamics Learning with Neural ODEs for Mobile Robots Control
by: Yu, Shao-Yi, et al.
Published: (2025)

Learning Local Control Barrier Functions for Hybrid Systems
by: Yang, Shuo, et al.
Published: (2024)

RL-based Control of UAS Subject to Significant Disturbance
by: Chakraborty, Kousheek, et al.
Published: (2025)

Denoising Diffusion-Based Control of Nonlinear Systems
by: Elamvazhuthi, Karthik, et al.
Published: (2024)

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

ORN-CBF: Learning Observation-conditioned Residual Neural Control Barrier Functions via Hypernetworks
by: Derajić, Bojan, et al.
Published: (2025)

Adaptive Gain Scheduling using Reinforcement Learning for Quadcopter Control
by: Timmerman, Mike, et al.
Published: (2024)

Residual Neural Terminal Constraint for MPC-based Collision Avoidance in Dynamic Environments
by: Derajić, Bojan, et al.
Published: (2025)

Learning Efficient Flocking Control based on Gibbs Random Fields
by: Zhang, Dengyu, et al.
Published: (2025)