Buchumschlag

Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gould, Brendan, Harapanahalli, Akash, Coogan, Samuel
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

Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2024)

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

Efficient Norm-Based Reachable Sets via Iterative Dynamic Programming
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2025)

linrax: A JAX Compatible, Simplex Method Linear Program Solver
von: Gould, Brendan, et al.
Veröffentlicht: (2025)

$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2024)

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2023)

Learning Certified Neural Network Controllers Using Contraction and Interval Analysis
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2026)

Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
von: Jafarpour, Saber, et al.
Veröffentlicht: (2023)

A Global Coordinate-Free Approach to Invariant Contraction on Homogeneous Manifolds
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2024)

A Linear Differential Inclusion for Contraction Analysis to Known Trajectories
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2024)

Certified Robust Invariant Polytope Training in Neural Controlled ODEs
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2024)

Forward Invariance in Neural Network Controlled Systems
von: Harapanahalli, Akash, et al.
Veröffentlicht: (2023)

Differentiable Invariant Sets for Hybrid Limit Cycles with Application to Legged Robots
von: Madabushi, Varun, et al.
Veröffentlicht: (2026)

Over-Approximating Minimizer Sets of Constrained Convex Programs with Parametric Uncertainty via Reachability Analysis
von: Gould, Brendan, et al.
Veröffentlicht: (2026)

Monotonicity and Contraction on Polyhedral Cones
von: Jafarpour, Saber, et al.
Veröffentlicht: (2022)

From Global to Local: Hierarchical Probabilistic Verification for Reachability Learning
von: Smith, Ebonye, et al.
Veröffentlicht: (2026)

Quantum Deception: Honey-X Deception using Quantum Games
von: Reppas, Efstratios, et al.
Veröffentlicht: (2025)

Disturbance-Robust Backup Control Barrier Functions: Safety Under Uncertain Dynamics
von: van Wijk, David E. J., et al.
Veröffentlicht: (2024)

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

Uniform Sampling from the Reachable Set Using Optimal Transport
von: Elamvazhuthi, Karthik, et al.
Veröffentlicht: (2025)

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
von: Ajeyemi, Damola, et al.
Veröffentlicht: (2025)

Reachability-based Temporal Logic Verification for Reliable LLM-guided Human-Autonomy Teaming
von: Choi, Joonwon, et al.
Veröffentlicht: (2026)

Lightweight Tracking Control for Computationally Constrained Aerial Systems with the Newton-Raphson Method
von: Morales-Cuadrado, Evanns, et al.
Veröffentlicht: (2025)

Newton-Raphson Flow for Aggressive Quadrotor Tracking Control
von: Morales-Cuadrado, Evanns, et al.
Veröffentlicht: (2024)

pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
von: Arfvidsson, Kaj Munhoz, et al.
Veröffentlicht: (2025)

Deep QP Safety Filter: Model-free Learning for Reachability-based Safety Filter
von: Kim, Byeongjun, et al.
Veröffentlicht: (2026)

Signal Temporal Logic Verification and Synthesis Using Deep Reachability Analysis and Layered Control Architecture
von: Choi, Joonwon, et al.
Veröffentlicht: (2026)

On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis
von: Borquez, Javier, et al.
Veröffentlicht: (2023)

Exact Imposition of Safety Boundary Conditions in Neural Reachable Tubes
von: Singh, Aditya, et al.
Veröffentlicht: (2024)

Parameter-Conditioned Reachable Sets for Updating Safety Assurances Online
von: Borquez, Javier, et al.
Veröffentlicht: (2022)

Output Feedback Backup Control Barrier Functions: Safety Guarantees Under Input Bounds and State Estimation Error
von: van Wijk, David E. J., et al.
Veröffentlicht: (2026)

A Hamilton-Jacobi Reachability Framework with Soft Constraints for Safety-Critical Systems
von: Mballo, Chams Eddine, et al.
Veröffentlicht: (2025)

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis
von: Feng, Zeyuan, et al.
Veröffentlicht: (2025)

Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis
von: Yang, Yujie, et al.
Veröffentlicht: (2024)

Finite Sample Analysis of Subspace Identification for Stochastic Systems
von: Sun, Shuai, et al.
Veröffentlicht: (2025)

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
von: Arfvidsson, Kaj Munhoz, et al.
Veröffentlicht: (2024)

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics
von: Prajapat, Manish, et al.
Veröffentlicht: (2025)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
von: Gu, Chao, et al.
Veröffentlicht: (2020)

GreenEVT: Greensboro Electric Vehicle Testbed
von: Nilsson, Gustav, et al.
Veröffentlicht: (2023)

Finite Sample Analysis of Open-loop Subspace Identification Methods
von: He, Jiabao, et al.
Veröffentlicht: (2025)