Buchumschlag

From Points to Sets: Set-Based Safety Verification in the Latent Space

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wu, Wenyuan, Xie, Peng, Zhang, Zhen, Huang, Yanliang, Johansson, Karl H., Alanwar, Amr
Format:	Preprint
Veröffentlicht:	2026
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

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

Transformer-Enhanced Data-Driven Output Reachability with Conformal Coverage Guarantees
von: Zhang, Zhen, et al.
Veröffentlicht: (2026)

Transformer-Accelerated Interpolated Data-Driven Reachability Analysis from Noisy Data
von: Zhang, Zhen, 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)

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

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

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

Data-Driven Nonconvex Reachability Analysis using Exact Set Propagation
von: Zhang, Zhen, 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)

Roundabout Constrained Convex Generators: A Unified Framework for Multiply-Connected Reachable Sets
von: Xie, Peng, et al.
Veröffentlicht: (2025)

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

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

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

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

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

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

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

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

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

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

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

Online Data-Driven Reachability Analysis using Zonotopic Recursive Least Squares
von: Akhormeh, Alireza Naderi, et al.
Veröffentlicht: (2025)

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

Safety Verification of Stochastic Systems: A Set-Erosion Approach
von: Liu, Zishun, et al.
Veröffentlicht: (2024)

Approximate Simulation-Based Verification of Compatibility of the Friedkin-Johnsen Model with Binary Observations
von: Xing, Yu, 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)

Set-Based Adaptive Safety Control
von: Akella, Prithvi, et al.
Veröffentlicht: (2019)

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)

From Raw Data to Safety: Reducing Conservatism by Set Expansion
von: Bajelani, Mohammad, et al.
Veröffentlicht: (2024)

Privacy-Preserving Set-Based Estimation Using Differential Privacy and Zonotopes
von: Dawoud, Mohammed M., et al.
Veröffentlicht: (2024)

Contributions to Semialgebraic-Set-Based Stability Verification of Dynamical Systems with Neural-Network-Based Controllers
von: Detailleur, Alvaro, et al.
Veröffentlicht: (2025)

Set-Based Control Barrier Functions for Scalable Safety Filter Design
von: Wabersich, Kim P., et al.
Veröffentlicht: (2025)

GNN-DIP: Neural Corridor Selection for Decomposition-Based Motion Planning
von: Xie, Peng, et al.
Veröffentlicht: (2026)

Memory-Based Set Point Modulation for Improved Transient Response of Distributed Energy Resources
von: Beikbabaei, Milad, et al.
Veröffentlicht: (2024)

Safety-Critical Control of Discontinuous Systems with Nonsmooth Safe Sets
von: Alyaseen, Mohammed, et al.
Veröffentlicht: (2024)

Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination
von: Arfvidsson, Kaj Munhoz, et al.
Veröffentlicht: (2024)

Feasible-Set Reshaping for Constraint Qualification in Optimization-Based Control
von: Wu, Si, et al.
Veröffentlicht: (2025)

Efficient Planning in Large-scale Systems Using Hierarchical Finite State Machines
von: Stefansson, Elis, et al.
Veröffentlicht: (2025)

From Noisy Data to Hierarchical Control: A Model-Order-Reduction Framework
von: Samari, Behrad, et al.
Veröffentlicht: (2026)