Buchumschlag

Inner-approximate Reachability Computation via Zonotopic Boundary Analysis

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ren, Dejin, Liang, Zhen, Wu, Chenyu, Ding, Jianqiang, Wu, Taoran, Xue, Bai
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Systems and Control Computational Complexity
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Efficient Verification and Falsification of ReLU Neural Barrier Certificates
von: Ren, Dejin, et al.
Veröffentlicht: (2025)

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization
von: Wu, Taoran, et al.
Veröffentlicht: (2025)

Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems
von: Wu, Taoran, et al.
Veröffentlicht: (2025)

The Reachability Problem for Neural-Network Control Systems
von: Schilling, Christian, et al.
Veröffentlicht: (2024)

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

A direct optimization algorithm for input-constrained MPC
von: Wu, Liang, et al.
Veröffentlicht: (2023)

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

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

Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems
von: Li, Yonghan, et al.
Veröffentlicht: (2024)

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

Optimal Sensor and Actuator Selection for Factored Markov Decision Processes: Complexity, Approximability and Algorithms
von: Bhargav, Jayanth, et al.
Veröffentlicht: (2024)

Query-Efficient Zeroth-Order Algorithms for Nonconvex Constrained Optimization
von: Jin, Ruiyang, et al.
Veröffentlicht: (2025)

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

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

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

Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
von: Kochdumper, Niklas, et al.
Veröffentlicht: (2019)

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

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)

Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives
von: Asadi, Ali, et al.
Veröffentlicht: (2025)

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

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

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty
von: Ding, Jianqiang, et al.
Veröffentlicht: (2025)

Möbius Transformations and the Analytic--Geometric Reconstruction of the Induction--Machine Circle Diagram
von: Gupta, Anubhav
Veröffentlicht: (2025)

The Complexity of Computing KKT Solutions of Quadratic Programs
von: Fearnley, John, et al.
Veröffentlicht: (2023)

Data-driven Power Loss Identification through Physics-Based Thermal Model Backpropagation
von: Scarpa, Mattia, et al.
Veröffentlicht: (2025)

Tight Time Complexities in Parallel Stochastic Optimization with Arbitrary Computation Dynamics
von: Tyurin, Alexander
Veröffentlicht: (2024)

A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems
von: Wu, Taoran, et al.
Veröffentlicht: (2024)

PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions
von: Wu, Taoran, et al.
Veröffentlicht: (2026)

A New Framework for Bounding Reachability Probabilities of Continuous-time Stochastic Systems
von: Xue, Bai
Veröffentlicht: (2023)

Benchmarking of Quantum and Classical Computing in Large-Scale Dynamic Portfolio Optimization Under Market Frictions
von: Chen, Ying, et al.
Veröffentlicht: (2025)

Subgradient Method for System Identification with Non-Smooth Objectives
von: Yalcin, Baturalp, et al.
Veröffentlicht: (2025)

(Sub)Exponential Quantum Speedup for Optimization
von: Leng, Jiaqi, et al.
Veröffentlicht: (2025)

Avoiding Deadlocks via Weak Deadlock Sets
von: Oriolo, Gianpaolo, et al.
Veröffentlicht: (2024)

Robust Nonlinear Data-Driven Predictive Control for Mixed Vehicle Platoons via Koopman Operator and Reachability Analysis
von: Li, Shuai, et al.
Veröffentlicht: (2025)

Automated Functional Decomposition for Hybrid Zonotope Over-approximations with Application to LSTM Networks
von: Glunt, Jonah J., et al.
Veröffentlicht: (2025)

PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
von: Wu, Taoran, et al.
Veröffentlicht: (2025)

Complex Frequency as Generalized Eigenvalue
von: Sofos, Nikolas, et al.
Veröffentlicht: (2026)

Transformer-Accelerated Interpolated Data-Driven Reachability Analysis from Noisy Data
von: Zhang, Zhen, et al.
Veröffentlicht: (2026)