Image de couverture de livre

Reachability Analysis of Nonlinear Discrete-Time Systems Using Polyhedral Relaxations and Constrained Zonotopes

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Rego, Brenner S., Raffo, Guilherme V., Terra, Marco H., Scott, Joseph K.
Format:	Preprint
Publié:	2025
Sujets:	Systems and Control Optimization and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

ZETA: a library for Zonotope-based EsTimation and fAult diagnosis of discrete-time systems
par: Rego, Brenner S., et autres
Publié: (2025)

Set-based state estimation of nonlinear discrete-time systems using constrained zonotopes and polyhedral relaxations
par: Rego, Brenner S., et autres
Publié: (2025)

Sparsity-Promoting Reachability Analysis and Optimization of Constrained Zonotopes
par: Robbins, Joshua A., et autres
Publié: (2025)

Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models
par: Zhang, Hang, et autres
Publié: (2023)

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
par: Liu, Zishun, et autres
Publié: (2024)

Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
par: Zhang, Yuhao, et autres
Publié: (2025)

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
par: Sivaramakrishnan, Vignesh, et autres
Publié: (2024)

Finite-time Reachability for Constrained, Partially Uncontrolled Nonlinear Systems
par: Padmanabhan, Ram, et autres
Publié: (2026)

Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes
par: Zhang, Yuhao, et autres
Publié: (2026)

Constrained Optimization on Matrix Lie Groups via Interior-Point Method
par: Santos, Aclécio J., et autres
Publié: (2026)

Underapproximating Safe Domains of Attraction for Discrete-Time Systems Using Implicit Representations of Backward Reachable Sets
par: Serry, Mohamed, et autres
Publié: (2024)

Time-Delay Systems with Discrete and Distributed delays: Discontinuous Initial Conditions and Reachability Sets
par: Haimovich, Hernan, et autres
Publié: (2026)

Joint State-Parameter Observer-Based Robust Control of a UAV for Heavy Load Transportation
par: Rego, Brenner S., et autres
Publié: (2025)

Control Lyapunov Function Design via Configuration-Constrained Polyhedral Computing
par: Houska, Boris, et autres
Publié: (2025)

Probabilistic Reachability Analysis of Stochastic Control Systems
par: Jafarpour, Saber, et autres
Publié: (2024)

Over-Approximating Minimizer Sets of Constrained Convex Programs with Parametric Uncertainty via Reachability Analysis
par: Gould, Brendan, et autres
Publié: (2026)

Reachability Analysis for Design Optimization
par: Nguyen, Steven, et autres
Publié: (2026)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
par: Hafez, Ahmad, et autres
Publié: (2024)

A Nonlinear Perron-Frobenius Approach for Stability and Consensus of Discrete-Time Multi-Agent Systems
par: Deplano, Diego, et autres
Publié: (2019)

Conservative Linear Envelopes for Nonlinear, High-Dimensional, Hamilton-Jacobi Reachability
par: Sharpless, Will, et autres
Publié: (2024)

Sufficient Conditions for Detectability of Approximately Discretized Nonlinear Systems
par: Siriya, Seth, et autres
Publié: (2025)

Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU
par: Fang, Jeffrey, et autres
Publié: (2026)

Sharp Hybrid Zonotopes: Set Operations and the Reformulation-linearization Technique
par: Glunt, Jonah J., et autres
Publié: (2025)

Monotonicity and Contraction on Polyhedral Cones
par: Jafarpour, Saber, et autres
Publié: (2022)

Discrete Homogeneity and Quantizer Design for Nonlinear Homogeneous Control Systems
par: Zhou, Yu, et autres
Publié: (2026)

Compatibility of Multiple Control Barrier Functions for Constrained Nonlinear Systems
par: Cohen, Max H., et autres
Publié: (2025)

Roundabout Constrained Convex Generators: A Unified Framework for Multiply-Connected Reachable Sets
par: Xie, Peng, et autres
Publié: (2025)

Tight Remainder-Form Decomposition Functions with Applications to Constrained Reachability and Guaranteed State Estimation
par: Khajenejad, Mohammad, et autres
Publié: (2021)

Invariant, Viability and Discriminating Kernel Under-Approximation via Zonotope Scaling
par: Mitchell, Ian M., et autres
Publié: (2019)

Analysis of Discrete-Time Switched Linear Systems under Logic Dynamic Switchings
par: Zhang, Xiao, et autres
Publié: (2022)

Polyhedral Control Design: Theory and Methods
par: Houska, Boris, et autres
Publié: (2024)

Gradient Dominance in the Linear Quadratic Regulator: A Unified Analysis for Continuous-Time and Discrete-Time Systems
par: Watanabe, Yuto, et autres
Publié: (2026)

On the Boundary of the Robust Admissible Set in State and Input Constrained Nonlinear Systems
par: Rußwurm, Franz, et autres
Publié: (2025)

An ANN-Enhanced Approach for Flatness-Based Constrained Control of Nonlinear Systems
par: Do, Huu-Thinh, et autres
Publié: (2025)

State-Augmented Linear Games with Antagonistic Error for High-Dimensional, Nonlinear Hamilton-Jacobi Reachability
par: Sharpless, Will, et autres
Publié: (2024)

Provably Safe Control for Constrained Nonlinear Systems with Bounded Input
par: Kumar, Saurabh, et autres
Publié: (2025)

Uniform Sampling from the Reachable Set Using Optimal Transport
par: Elamvazhuthi, Karthik, et autres
Publié: (2025)

A Semi-smooth Newton Method for the Constrained Optimal Control of Continuous-Time Linear Systems
par: Jones, Simon J., et autres
Publié: (2026)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
par: Mestres, Pol, et autres
Publié: (2025)

Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems
par: Li, Haoyu, et autres
Publié: (2025)