Buchumschlag

Online Data-Driven Reachability Analysis using Zonotopic Recursive Least Squares

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Akhormeh, Alireza Naderi, Hegazy, Amr, Alanwar, Amr
Format:	Preprint
Veröffentlicht:	2025
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

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
von: Hafez, Ahmad, et al.
Veröffentlicht: (2025)

Data-Driven Reachability of Nonlinear Lipschitz Systems via Koopman Operator Embeddings
von: Akhormeh, Alireza Naderi, et al.
Veröffentlicht: (2026)

Orthogonal Transformations for Efficient Data-Driven Reachability Analysis
von: Xie, Peng, et al.
Veröffentlicht: (2026)

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

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

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
von: Oumer, Mohammed Adib, et al.
Veröffentlicht: (2025)

Data-Driven Reachability Analysis Using Matrix Perturbation Theory
von: Xie, Peng, et al.
Veröffentlicht: (2026)

Data-Driven Reachability Analysis for Piecewise Affine Systems
von: Xie, Peng, et al.
Veröffentlicht: (2025)

Data-Driven Reachability Analysis with Optimal Input Design
von: Xie, Peng, et al.
Veröffentlicht: (2026)

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

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

Conformalized Data-Driven Reachability Analysis with PAC Guarantees
von: Huang, Yanliang, 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)

Bridging Data-Driven Reachability Analysis and Statistical Estimation via Constrained Matrix Convex Generators
von: Xie, Peng, et al.
Veröffentlicht: (2026)

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

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

Robust Data-Driven Tube-Based Zonotopic Predictive Control with Closed-Loop Guarantees
von: Farjadnia, Mahsa, et al.
Veröffentlicht: (2024)

Data-Driven Reachability Analysis via Diffusion Models with PAC Guarantees
von: Huang, Yanliang, et al.
Veröffentlicht: (2026)

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

Transformer-Enhanced Data-Driven Output Reachability with Conformal Coverage Guarantees
von: Zhang, Zhen, 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)

Data-Driven Tube-Based Zonotopic Predictive Control With Nonconvex Layered Terminal Sets
von: Zhang, Zhen, et al.
Veröffentlicht: (2026)

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

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

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

Guiding Giants: Lightweight Controllers for Weighted Activation Steering in LLMs
von: Hegazy, Amr, et al.
Veröffentlicht: (2025)

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

Secure Set-based State Estimation for Safety-Critical Applications under Adversarial Attacks on Sensors
von: Niazi, M. Umar B., et al.
Veröffentlicht: (2023)

Inverter Output Impedance Estimation in Power Networks: A Variable Direction Forgetting Recursive-Least-Square Algorithm Based Approach
von: Park, Jaesang, et al.
Veröffentlicht: (2024)

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)

Reachability Analysis of Nonlinear Discrete-Time Systems Using Polyhedral Relaxations and Constrained Zonotopes
von: Rego, Brenner S., 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)

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)

Certified Set Convergence for Piecewise Affine Systems via Neural Lyapunov Functions
von: Huang, Yanliang, et al.
Veröffentlicht: (2026)

Generalized Forgetting Recursive Least Squares: Stability and Robustness Guarantees
von: Lai, Brian, et al.
Veröffentlicht: (2023)

SIFt-RLS: Subspace of Information Forgetting Recursive Least Squares
von: Lai, Brian, et al.
Veröffentlicht: (2024)

Efficient Batch and Recursive Least Squares for Matrix Parameter Estimation
von: Lai, Brian, et al.
Veröffentlicht: (2024)

Differentially Private Recursive Least Squares Estimation for ARX Systems with Multi-Participants
von: Tan, Jianwei, et al.
Veröffentlicht: (2025)