Buchumschlag

Reachability Analysis for Design Optimization

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Nguyen, Steven, Cortés, Jorge, Kramer, Boris
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Optimization and Control Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Reachability-Based Design Optimization for Aircraft Maneuverability
von: Nguyen, Steven, et al.
Veröffentlicht: (2026)

Sparsity-Promoting Reachability Analysis and Optimization of Constrained Zonotopes
von: Robbins, Joshua A., et al.
Veröffentlicht: (2025)

Probabilistic Reachability Analysis of Stochastic Control Systems
von: Jafarpour, Saber, et al.
Veröffentlicht: (2024)

Input Matrix Optimization for Desired Reachable Set Warping of Linear Systems
von: Das, Hrishav, et al.
Veröffentlicht: (2026)

Control Barrier Function Based Design of Gradient Flows for Constrained Nonlinear Programming
von: Allibhoy, Ahmed, et al.
Veröffentlicht: (2022)

Learning Reachability of Energy Storage Arbitrage
von: Tapia, Tomás, et al.
Veröffentlicht: (2025)

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

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

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

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

Koopman-Hopf Hamilton-Jacobi Reachability and Control
von: Sharpless, Will, et al.
Veröffentlicht: (2023)

Parametric Reachable Sets Via Controlled Dynamical Embeddings
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2025)

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
von: Liu, Zishun, et al.
Veröffentlicht: (2024)

Feasibility Analysis and Regularity Characterization of Distributionally Robust Safe Stabilizing Controllers
von: Mestres, Pol, et al.
Veröffentlicht: (2023)

Reachability-Augmented Dual Dynamic Programming for Optimal Path Parameterization
von: Wang, Yunan, et al.
Veröffentlicht: (2026)

Finite-time Reachability for Constrained, Partially Uncontrolled Nonlinear Systems
von: Padmanabhan, Ram, et al.
Veröffentlicht: (2026)

Uniform Sampling from the Reachable Set Using Optimal Transport
von: Elamvazhuthi, Karthik, et al.
Veröffentlicht: (2025)

On the Reachability of 3-Dimensional Paths with a Prescribed Curvature Bound
von: Bae, Juho, et al.
Veröffentlicht: (2024)

Safe Feedback Optimization through Control Barrier Functions
von: Delimpaltadakis, Giannis, et al.
Veröffentlicht: (2026)

Feedback Optimization with State Constraints through Control Barrier Functions
von: Delimpaltadakis, Giannis, et al.
Veröffentlicht: (2025)

Probabilistic Reachable Set Estimation for Saturated Systems with Unbounded Additive Disturbances
von: Karam, Carlo, et al.
Veröffentlicht: (2025)

Efficient Norm-Based Reachable Sets via Iterative Dynamic Programming
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2025)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
von: Kordabad, Arash Bahari, et al.
Veröffentlicht: (2025)

Conservative Linear Envelopes for Nonlinear, High-Dimensional, Hamilton-Jacobi Reachability
von: Sharpless, Will, et al.
Veröffentlicht: (2024)

Modeling Nonlinear Control Systems via Koopman Control Family: Universal Forms and Subspace Invariance Proximity
von: Haseli, Masih, et al.
Veröffentlicht: (2023)

Converse Theorems for Certificates of Safety and Stability
von: Mestres, Pol, et al.
Veröffentlicht: (2024)

Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
von: Zhang, Yuhao, et al.
Veröffentlicht: (2025)

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
von: Solanki, Prashant, et al.
Veröffentlicht: (2025)

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

Roundabout Constrained Convex Generators: A Unified Framework for Multiply-Connected Reachable Sets
von: Xie, Peng, et al.
Veröffentlicht: (2025)

Tight Remainder-Form Decomposition Functions with Applications to Constrained Reachability and Guaranteed State Estimation
von: Khajenejad, Mohammad, et al.
Veröffentlicht: (2021)

Polyhedral Control Design: Theory and Methods
von: Houska, Boris, et al.
Veröffentlicht: (2024)

Dependent Reachable Sets for the Constant Bearing Pursuit Strategy
von: Makkapati, Venkata Ramana, et al.
Veröffentlicht: (2025)

Invariance Proximity: Closed-Form Error Bounds for Finite-Dimensional Koopman-Based Models
von: Haseli, Masih, et al.
Veröffentlicht: (2023)

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

Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural Networks
von: Sivaramakrishnan, Karthik, et al.
Veröffentlicht: (2023)

State-Augmented Linear Games with Antagonistic Error for High-Dimensional, Nonlinear Hamilton-Jacobi Reachability
von: Sharpless, Will, et al.
Veröffentlicht: (2024)

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2023)

Enhancing network resilience through topological switching
von: Chen, Fei, et al.
Veröffentlicht: (2026)

Reinforcement Learning for Distributed Transient Frequency Control with Stability and Safety Guarantees
von: Yuan, Zhenyi, et al.
Veröffentlicht: (2022)