Cover Image

Underapproximating Safe Domains of Attraction for Discrete-Time Systems Using Implicit Representations of Backward Reachable Sets

Fuente: arXiv

Saved in:

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

Similar Items

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)

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 Neural Network Safe Tracking Controllers from Backward Reachable Sets
by: Xu, Yuezhu, et al.
Published: (2025)

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

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
by: Liu, Zishun, et al.
Published: (2024)

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

Time-Delay Systems with Discrete and Distributed delays: Discontinuous Initial Conditions and Reachability Sets
by: Haimovich, Hernan, et al.
Published: (2026)

Reachability Analysis of Nonlinear Discrete-Time Systems Using Polyhedral Relaxations and Constrained Zonotopes
by: Rego, Brenner S., et al.
Published: (2025)

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

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
by: Sivaramakrishnan, Vignesh, et al.
Published: (2024)

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

Uniform Sampling from the Reachable Set Using Optimal Transport
by: Elamvazhuthi, Karthik, 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)

Probabilistic Reachable Set Estimation for Saturated Systems with Unbounded Additive Disturbances
by: Karam, Carlo, et al.
Published: (2025)

Input Matrix Optimization for Desired Reachable Set Warping of Linear Systems
by: Das, Hrishav, et al.
Published: (2026)

Set-Based Reachability for Low-Thrust Spacecraft in Two-Body and Cislunar Dynamical Systems
by: Patel, Jinaykumar, et al.
Published: (2026)

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

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

Efficient Norm-Based Reachable Sets via Iterative Dynamic Programming
by: Harapanahalli, Akash, et al.
Published: (2025)

Dependent Reachable Sets for the Constant Bearing Pursuit Strategy
by: Makkapati, Venkata Ramana, et al.
Published: (2025)

Analog Data-Driven Theory and Estimation of the Region of Attraction Using Sampled-Data
by: Shenoy, Karthik, et al.
Published: (2024)

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

Control of Discrete-Time Linear Systems with Charge-Balanced Inputs
by: Qin, Yuzhen, et al.
Published: (2025)

Roundabout Constrained Convex Generators: A Unified Framework for Multiply-Connected Reachable Sets
by: Xie, Peng, et al.
Published: (2025)

Convex Hulls of Reachable Sets
by: Lew, Thomas, 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)

Over-Approximating Minimizer Sets of Constrained Convex Programs with Parametric Uncertainty via Reachability Analysis
by: Gould, Brendan, et al.
Published: (2026)

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

Finite-time Reachability for Constrained, Partially Uncontrolled Nonlinear Systems
by: Padmanabhan, Ram, et al.
Published: (2026)

Distribution Steering for Discrete-Time Uncertain Ensemble Systems
by: Wu, Guangyu, et al.
Published: (2024)

Interconnection of (Q,S,R)-Dissipative Systems in Discrete Time
by: Martinelli, Andrea, et al.
Published: (2023)

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

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
by: Kordabad, Arash Bahari, et al.
Published: (2025)

On the Reachability of 3-Dimensional Paths with a Prescribed Curvature Bound
by: Bae, Juho, et al.
Published: (2024)

Reachability Analysis for Design Optimization
by: Nguyen, Steven, et al.
Published: (2026)

Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
by: Wang, Han, et al.
Published: (2022)

Unbalanced Optimal Transport and Density Control for Discrete-Time Linear Systems
by: Nakashima, Haruto, et al.
Published: (2026)

Learning Reachability of Energy Storage Arbitrage
by: Tapia, Tomás, et al.
Published: (2025)

Robust Cooperative Output Regulation of Discrete-Time Heterogeneous Multi-Agent Systems
by: Gul, Kursad Metehan, et al.
Published: (2026)

Maximum Entropy Density Control of Discrete-Time Linear Systems with Quadratic Cost
by: Ito, Kaito, et al.
Published: (2023)