Cover Image

Learning Neural Network Safe Tracking Controllers from Backward Reachable Sets

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Xu, Yuezhu, Serry, Mohamed, Liu, Jun, Sivaranjani, S.
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Underapproximating Safe Domains of Attraction for Discrete-Time Systems Using Implicit Representations of Backward Reachable Sets
by: Serry, Mohamed, et al.
Published: (2024)

Set-Based Value Function Characterization and Neural Approximation of Stabilization Domains for Input-Constrained Discrete-Time Systems
by: Serry, Mohamed, et al.
Published: (2026)

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

ECLipsE: Efficient Compositional Lipschitz Constant Estimation for Deep Neural Networks
by: Xu, Yuezhu, et al.
Published: (2024)

Learning Neural Koopman Operators with Dissipativity Guarantees
by: Xu, Yuezhu, et al.
Published: (2025)

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)

Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
by: Serry, Mohamed, et al.
Published: (2024)

Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation
by: Serry, Mohamed, et al.
Published: (2025)

Control-Oriented System Identification: Classical, Learning, and Physics-Informed Approaches
by: Sivaranjani, S., et al.
Published: (2025)

Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes
by: Zhang, Yuhao, et al.
Published: (2026)

On the Computation of Backward Reachable Sets for Max-Plus Linear Systems with Disturbances
by: Li, Yuda, et al.
Published: (2026)

Safe Navigation using Neural Radiance Fields via Reachable Sets
by: Thapliyal, Omanshu, et al.
Published: (2026)

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

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

On the Computation and Approximation of Backward Reachable Sets for Max-Plus Linear Systems using Polyhedras
by: Li, Yuda, et al.
Published: (2026)

ECLipsE-Gen-Local: Efficient Compositional Local Lipschitz Estimates for Deep Neural Networks
by: Xu, Yuezhu, et al.
Published: (2025)

Safe and Nonconservative Contingency Planning for Autonomous Vehicles via Online Learning-Based Reachable Set Barriers
by: Yang, Rui, et al.
Published: (2025)

Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation
by: Wetzlinger, Mark, et al.
Published: (2023)

Learning Safe-by-Design Neural Network Controllers
by: Zhao, Yang, et al.
Published: (2026)

Parametric Reachable Sets Via Controlled Dynamical Embeddings
by: Harapanahalli, Akash, et al.
Published: (2025)

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems
by: Sidrane, Chelsea, et al.
Published: (2025)

SDP Synthesis of Distributionally Robust Backward Reachable Trees for Probabilistic Planning
by: Aggarwal, Naman, et al.
Published: (2024)

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

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
by: Solanki, Prashant, et al.
Published: (2025)

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

Efficient Probabilistic Planning with Maximum-Coverage Distributionally Robust Backward Reachable Trees
by: Rose, Alex, et al.
Published: (2025)

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

Active Calibration of Reachable Sets Using Approximate Pick-to-Learn
by: Deglurkar, Sampada, et al.
Published: (2026)

Viscosity CBFs: Bridging the Control Barrier Function and Hamilton-Jacobi Reachability Frameworks in Safe Control Theory
by: Hirsch, Dylan, et al.
Published: (2025)

Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis
by: Mahesh, Karan, et al.
Published: (2024)

Reinforcement Learning Based Minimum State-flipped Control for the Reachability of Boolean Control Networks
by: Ni, Jingjie, et al.
Published: (2023)

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls
by: Liu, Jun
Published: (2025)

Traffic-Aware Microgrid Planning for Dynamic Wireless Electric Vehicle Charging Roadways
by: Ghose, Dipanjan, et al.
Published: (2025)

Uniform Sampling from the Reachable Set Using Optimal Transport
by: Elamvazhuthi, Karthik, et al.
Published: (2025)

Convex Hulls of Reachable Sets
by: Lew, Thomas, et al.
Published: (2023)

Safe Reinforcement Learning-based Automatic Generation Control
by: Mohamed, Amr S., et al.
Published: (2025)

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

Probabilistic Reachability Analysis of Stochastic Control Systems
by: Jafarpour, Saber, et al.
Published: (2024)

JuliaReach: a Toolbox for Set-Based Reachability
by: Bogomolov, Sergiy, et al.
Published: (2019)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
by: Hafez, Ahmad, et al.
Published: (2025)