Cover Image

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Shi, Zhouxing, Li, Haoyu, Hsieh, Cho-Jui, Zhang, Huan
Format:	Preprint
Published:	2024
Subjects:	Machine Learning Artificial Intelligence Robotics Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
by: Yang, Lujie, et al.
Published: (2024)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
by: Wang, Chengxiao, et al.
Published: (2026)

Neural Network Verification with Branch-and-Bound for General Nonlinearities
by: Shi, Zhouxing, et al.
Published: (2024)

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
by: Shen, Keyi, et al.
Published: (2026)

MSACL: Multi-Step Actor-Critic Learning with Lyapunov Certificates for Exponentially Stabilizing Control
by: Zhang, Yongwei, 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)

CBF-RL: Safety Filtering Reinforcement Learning in Training with Control Barrier Functions
by: Yang, Lizhi, et al.
Published: (2025)

Neural-Fly Enables Rapid Learning for Agile Flight in Strong Winds
by: O'Connell, Michael, et al.
Published: (2022)

Lyapunov-Certified Direct Switching Theory for Q-Learning
by: Lee, Donghwan
Published: (2026)

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

Neural-Rendezvous: Provably Robust Guidance and Control to Encounter Interstellar Objects
by: Tsukamoto, Hiroyasu, et al.
Published: (2022)

Temporal Transfer Learning for Traffic Optimization with Coarse-grained Advisory Autonomy
by: Cho, Jung-Hoon, et al.
Published: (2023)

Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions
by: Long, Kehan, et al.
Published: (2025)

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

Decision Transformer as a Foundation Model for Partially Observable Continuous Control
by: Zhang, Xiangyuan, et al.
Published: (2024)

Control-ITRA: Controlling the Behavior of a Driving Model
by: Lioutas, Vasileios, et al.
Published: (2025)

Optimal Control-Based Baseline for Guided Exploration in Policy Gradient Methods
by: Lyu, Xubo, et al.
Published: (2020)

Real Time Control of Tandem-Wing Experimental Platform Using Concerto Reinforcement Learning
by: Minghao, Zhang, et al.
Published: (2025)

Neural Fidelity Calibration for Informative Sim-to-Real Adaptation
by: Yu, Youwei, et al.
Published: (2025)

Provably Bounding Neural Network Preimages
by: Kotha, Suhas, et al.
Published: (2023)

Learning Force Control for Legged Manipulation
by: Portela, Tifanny, et al.
Published: (2024)

A Safe Reinforcement Learning driven Weights-varying Model Predictive Control for Autonomous Vehicle Motion Control
by: Zarrouki, Baha, et al.
Published: (2024)

Dropout MPC: An Ensemble Neural MPC Approach for Systems with Learned Dynamics
by: Syntakas, Spyridon, et al.
Published: (2024)

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

DexterityGen: Foundation Controller for Unprecedented Dexterity
by: Yin, Zhao-Heng, et al.
Published: (2025)

Runtime-Certified Bounded-Error Quantized Attention
by: Calver, Dean
Published: (2026)

Learning Human-to-Humanoid Real-Time Whole-Body Teleoperation
by: He, Tairan, et al.
Published: (2024)

Learning Control Barrier Functions and their application in Reinforcement Learning: A Survey
by: Guerrier, Maeva, et al.
Published: (2024)

Multi-Resolution End-to-End Deep Neural Network for Optimizing Latency-Accuracy Tradeoff in Autonomous Driving
by: Weng, Qitao, et al.
Published: (2026)

Constrained Control for Autonomous Spacecraft Rendezvous: Learning-Based Time Shift Governor
by: Kim, Taehyeun, et al.
Published: (2024)

Robust Recovery Controller for a Quadrupedal Robot using Deep Reinforcement Learning
by: Lee, Joonho, et al.
Published: (2019)

Adaptive Torque Control of Exoskeletons under Spasticity Conditions via Reinforcement Learning
by: Chavarrías, Andrés, et al.
Published: (2025)

MAGICS: Adversarial RL with Minimax Actors Guided by Implicit Critic Stackelberg for Convergent Neural Synthesis of Robot Safety
by: Wang, Justin, et al.
Published: (2024)

Permissive Safety Through Trusted Inference: Verifiable Belief-Space Neural Safety Filters for Assured Interactive Robotics
by: Hu, Haimin
Published: (2026)

Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
by: Hashemi, Navid, et al.
Published: (2024)

Multi-residual Mixture of Experts Learning for Cooperative Control in Multi-vehicle Systems
by: Jayawardana, Vindula, et al.
Published: (2025)

Statistically Assuring Safety of Control Systems using Ensembles of Safety Filters and Conformal Prediction
by: Tabbara, Ihab, et al.
Published: (2025)

Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systems
by: Vincent, Joseph A., et al.
Published: (2022)

Shape-Interpretable Visual Self-Modeling Enables Geometry-Aware Continuum Robot Control
by: Yu, Peng, et al.
Published: (2026)

Deep Reinforcement Learning for Advanced Longitudinal Control and Collision Avoidance in High-Risk Driving Scenarios
by: Chen, Dianwei, et al.
Published: (2024)