Reachability Analysis of Nonlinear Discrete-Time Systems Using Polyhedral Relaxations and Constrained Zonotopes
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866915245395542016 |
|---|---|
| author | Rego, Brenner S. Raffo, Guilherme V. Terra, Marco H. Scott, Joseph K. |
| author_facet | Rego, Brenner S. Raffo, Guilherme V. Terra, Marco H. Scott, Joseph K. |
| contents | This paper presents a novel algorithm for reachability analysis of nonlinear discrete-time systems. The proposed method combines constrained zonotopes (CZs) with polyhedral relaxations of factorable representations of nonlinear functions to propagate CZs through nonlinear functions, which is normally done using conservative linearization techniques. The new propagation method provides better approximations than those resulting from linearization procedures, leading to significant improvements in the computation of reachable sets in comparison to other CZ methods from the literature. Numerical examples highlight the advantages of the proposed algorithm. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_11663 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Reachability Analysis of Nonlinear Discrete-Time Systems Using Polyhedral Relaxations and Constrained Zonotopes Rego, Brenner S. Raffo, Guilherme V. Terra, Marco H. Scott, Joseph K. Systems and Control Optimization and Control This paper presents a novel algorithm for reachability analysis of nonlinear discrete-time systems. The proposed method combines constrained zonotopes (CZs) with polyhedral relaxations of factorable representations of nonlinear functions to propagate CZs through nonlinear functions, which is normally done using conservative linearization techniques. The new propagation method provides better approximations than those resulting from linearization procedures, leading to significant improvements in the computation of reachable sets in comparison to other CZ methods from the literature. Numerical examples highlight the advantages of the proposed algorithm. |
| title | Reachability Analysis of Nonlinear Discrete-Time Systems Using Polyhedral Relaxations and Constrained Zonotopes |
| topic | Systems and Control Optimization and Control |
| url | https://arxiv.org/abs/2504.11663 |