Buchumschlag

Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kochdumper, Niklas, Althoff, Matthias
Format:	Preprint
Veröffentlicht:	2019
Schlagworte:	Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets
von: Wetzlinger, Mark, et al.
Veröffentlicht: (2022)

Hybrid Polynomial Zonotopes: A Set Representation for Reachability Analysis in Hybrid Nonaffine Systems
von: Xie, Peng, et al.
Veröffentlicht: (2025)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
von: Kochdumper, Niklas, et al.
Veröffentlicht: (2023)

Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
von: Alanwar, Amr, et al.
Veröffentlicht: (2023)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
von: Hafez, Ahmad, et al.
Veröffentlicht: (2024)

Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
von: Huang, Yushen, et al.
Veröffentlicht: (2024)

Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation
von: Wetzlinger, Mark, et al.
Veröffentlicht: (2023)

Adaptive Parameter Tuning for Reachability Analysis of Linear Systems
von: Wetzlinger, Mark, et al.
Veröffentlicht: (2020)

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

Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition
von: Siefert, Jacob A., et al.
Veröffentlicht: (2023)

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

Inner-approximate Reachability Computation via Zonotopic Boundary Analysis
von: Ren, Dejin, et al.
Veröffentlicht: (2024)

Online Data-Driven Reachability Analysis using Zonotopic Recursive Least Squares
von: Akhormeh, Alireza Naderi, 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)

A Comparison of Set-Based Observers for Nonlinear Systems
von: Holzinger, Nico, 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)

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

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
von: Thompson, Andrew F., et al.
Veröffentlicht: (2026)

Zono-Conformal Prediction: Zonotope-Based Uncertainty Quantification for Regression and Classification Tasks
von: Lützow, Laura, et al.
Veröffentlicht: (2025)

Inclusion conditions for the Constrained Polynomial Zonotopic case
von: Gheorghe, Bogdan, et al.
Veröffentlicht: (2026)

Approximability of the Containment Problem for Zonotopes and Ellipsotopes
von: Kulmburg, Adrian, et al.
Veröffentlicht: (2024)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
von: Hadjiloizou, Loizos, et al.
Veröffentlicht: (2024)

Sharp Hybrid Zonotopes: Set Operations and the Reformulation-linearization Technique
von: Glunt, Jonah J., et al.
Veröffentlicht: (2025)

Sparse Spectrahedral Shadows for State Estimation and Reachability Analysis: Set Operations, Validations and Order Reductions
von: Wang, Chengrui, et al.
Veröffentlicht: (2025)

Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks
von: Tang, Chencheng, et al.
Veröffentlicht: (2024)

The Invariant Zonotopic Set-Membership Filter for State Estimation on Groups
von: Li, Tao, et al.
Veröffentlicht: (2025)

Comparing Parameterizations and Objective Functions for Maximizing the Volume of Zonotopic Invariant Sets
von: Zhou, Chenliang, et al.
Veröffentlicht: (2025)

Provably-Correct Safety Protocol for Cooperative Platooning
von: Mair, Sebastian, et al.
Veröffentlicht: (2023)

Divide and Discard: Fast Tightening of Guaranteed State Bounds for Nonlinear Systems
von: Holzinger, Nico, et al.
Veröffentlicht: (2026)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
von: Kranzlmüller, Miriam, et al.
Veröffentlicht: (2026)

Reachset-Conformant System Identification
von: Lützow, Laura, et al.
Veröffentlicht: (2024)

Data-Driven Nonconvex Reachability Analysis using Exact Set Propagation
von: Zhang, Zhen, et al.
Veröffentlicht: (2026)

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

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

Convex Hulls of Reachable Sets
von: Lew, Thomas, et al.
Veröffentlicht: (2023)

To Learn or Not to Learn: A Litmus Test for Using Reinforcement Learning in Control
von: Schulte, Victor, et al.
Veröffentlicht: (2026)

Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
von: Wendl, Manuel, et al.
Veröffentlicht: (2024)

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

Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea
von: Krasowski, Hanna, et al.
Veröffentlicht: (2024)

JuliaReach: a Toolbox for Set-Based Reachability
von: Bogomolov, Sergiy, et al.
Veröffentlicht: (2019)