Reachability Analysis for Black-Box Dynamical Systems
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Chilakamarri, Vamsi Krishna, Feng, Zeyuan, Bansal, Somil |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis
par: Feng, Zeyuan, et autres
Publié: (2025)
par: Feng, Zeyuan, et autres
Publié: (2025)
Exact Imposition of Safety Boundary Conditions in Neural Reachable Tubes
par: Singh, Aditya, et autres
Publié: (2024)
par: Singh, Aditya, et autres
Publié: (2024)
Neural Backward Reach-Avoid Tubes with MPC Supervision for High-Dimensional Systems: An Application to Safe Spacecraft Docking
par: Thorup, Santiago, et autres
Publié: (2026)
par: Thorup, Santiago, et autres
Publié: (2026)
Linear Supervision for Nonlinear, High-Dimensional Neural Control and Differential Games
par: Sharpless, William, et autres
Publié: (2024)
par: Sharpless, William, et autres
Publié: (2024)
Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions
par: Borquez, Javier, et autres
Publié: (2023)
par: Borquez, Javier, et autres
Publié: (2023)
Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis
par: Wang, Hao, et autres
Publié: (2025)
par: Wang, Hao, et autres
Publié: (2025)
On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis
par: Borquez, Javier, et autres
Publié: (2023)
par: Borquez, Javier, et autres
Publié: (2023)
Parameter-Conditioned Reachable Sets for Updating Safety Assurances Online
par: Borquez, Javier, et autres
Publié: (2022)
par: Borquez, Javier, et autres
Publié: (2022)
Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
par: Lin, Albert, et autres
Publié: (2025)
par: Lin, Albert, et autres
Publié: (2025)
Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
par: Lin, Albert, et autres
Publié: (2023)
par: Lin, Albert, et autres
Publié: (2023)
Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis
par: Chakraborty, Kaustav, et autres
Publié: (2022)
par: Chakraborty, Kaustav, et autres
Publié: (2022)
Safety Evaluation of Motion Plans Using Trajectory Predictors as Forward Reachable Set Estimators
par: Chakraborty, Kaustav, et autres
Publié: (2025)
par: Chakraborty, Kaustav, et autres
Publié: (2025)
Providing Safety Assurances for Systems with Unknown Dynamics
par: Wang, Hao, et autres
Publié: (2024)
par: Wang, Hao, et autres
Publié: (2024)
SAFE-GIL: SAFEty Guided Imitation Learning for Robotic Systems
par: Ciftci, Yusuf Umut, et autres
Publié: (2024)
par: Ciftci, Yusuf Umut, et autres
Publié: (2024)
DualGuard MPPI: Safe and Performant Optimal Control by Combining Sampling-Based MPC and Hamilton-Jacobi Reachability
par: Borquez, Javier, et autres
Publié: (2025)
par: Borquez, Javier, et autres
Publié: (2025)
MADR: MPC-guided Adversarial DeepReach
par: Teoh, Ryan, et autres
Publié: (2025)
par: Teoh, Ryan, et autres
Publié: (2025)
An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments
par: Bajcsy, Andrea, et autres
Publié: (2019)
par: Bajcsy, Andrea, et autres
Publié: (2019)
Cooptimizing Safety and Performance with a Control-Constrained Formulation
par: Wang, Hao, et autres
Publié: (2024)
par: Wang, Hao, et autres
Publié: (2024)
Gait Switching and Enhanced Stabilization of Walking Robots with Deep Learning-based Reachability: A Case Study on Two-link Walker
par: Xia, Xingpeng, et autres
Publié: (2024)
par: Xia, Xingpeng, et autres
Publié: (2024)
Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability
par: Chung, Long Kiu, et autres
Publié: (2024)
par: Chung, Long Kiu, et autres
Publié: (2024)
A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems
par: Tayal, Manan, et autres
Publié: (2025)
par: Tayal, Manan, et autres
Publié: (2025)
Detecting and Mitigating System-Level Anomalies of Vision-Based Controllers
par: Gupta, Aryaman, et autres
Publié: (2023)
par: Gupta, Aryaman, et autres
Publié: (2023)
One Filter to Deploy Them All: Robust Safety for Quadrupedal Navigation in Unknown Environments
par: Lin, Albert, et autres
Publié: (2024)
par: Lin, Albert, et autres
Publié: (2024)
Parameterized Fast and Safe Tracking (FaSTrack) using Deepreach
par: Jeong, Hyun Joe, et autres
Publié: (2024)
par: Jeong, Hyun Joe, et autres
Publié: (2024)
Predictive Monitoring of Black-Box Dynamical Systems
par: Henzinger, Thomas A., et autres
Publié: (2024)
par: Henzinger, Thomas A., et autres
Publié: (2024)
Probabilistic Reachability Analysis of Stochastic Control Systems
par: Jafarpour, Saber, et autres
Publié: (2024)
par: Jafarpour, Saber, et autres
Publié: (2024)
Cooptimizing Safety and Performance Using Safety Value-Constrained Model Predictive Control
par: Wang, Hao, et autres
Publié: (2026)
par: Wang, Hao, et autres
Publié: (2026)
Data-Driven Reachability Analysis for Piecewise Affine Systems
par: Xie, Peng, et autres
Publié: (2025)
par: Xie, Peng, et autres
Publié: (2025)
Reachability Analysis for Design Optimization
par: Nguyen, Steven, et autres
Publié: (2026)
par: Nguyen, Steven, et autres
Publié: (2026)
Reachability and Controllability Analysis of the State Covariance for Linear Stochastic Systems
par: Liu, Fengjiao, et autres
Publié: (2024)
par: Liu, Fengjiao, et autres
Publié: (2024)
Set-Based Reachability for Low-Thrust Spacecraft in Two-Body and Cislunar Dynamical Systems
par: Patel, Jinaykumar, et autres
Publié: (2026)
par: Patel, Jinaykumar, et autres
Publié: (2026)
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
par: Huang, Yushen, et autres
Publié: (2024)
par: Huang, Yushen, et autres
Publié: (2024)
Reachability Analysis of the State Transition and State Covariance Matrices for an LTV System
par: Liu, Fengjiao, et autres
Publié: (2026)
par: Liu, Fengjiao, et autres
Publié: (2026)
Probabilistic Reachability Analysis of Multi-scale Voltage Dynamics Using Reinforcement Learning
par: Hashima, Naoki, et autres
Publié: (2026)
par: Hashima, Naoki, et autres
Publié: (2026)
A Forward Reachability Perspective on Control Barrier Functions and Discount Factors in Reachability Analysis
par: Choi, Jason J., et autres
Publié: (2023)
par: Choi, Jason J., et autres
Publié: (2023)
Boundary Sampling to Learn Predictive Safety Filters via Pontryagin's Maximum Principle
par: Dallas, James, et autres
Publié: (2026)
par: Dallas, James, et autres
Publié: (2026)
Reachability Analysis of Nonlinear Discrete-Time Systems Using Polyhedral Relaxations and Constrained Zonotopes
par: Rego, Brenner S., et autres
Publié: (2025)
par: Rego, Brenner S., et autres
Publié: (2025)
Parametric Reachable Sets Via Controlled Dynamical Embeddings
par: Harapanahalli, Akash, et autres
Publié: (2025)
par: Harapanahalli, Akash, et autres
Publié: (2025)
Sparsity-Promoting Reachability Analysis and Optimization of Constrained Zonotopes
par: Robbins, Joshua A., et autres
Publié: (2025)
par: Robbins, Joshua A., et autres
Publié: (2025)
Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models
par: Zhang, Hang, et autres
Publié: (2023)
par: Zhang, Hang, et autres
Publié: (2023)
Documents similaires
-
Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis
par: Feng, Zeyuan, et autres
Publié: (2025) -
Exact Imposition of Safety Boundary Conditions in Neural Reachable Tubes
par: Singh, Aditya, et autres
Publié: (2024) -
Neural Backward Reach-Avoid Tubes with MPC Supervision for High-Dimensional Systems: An Application to Safe Spacecraft Docking
par: Thorup, Santiago, et autres
Publié: (2026) -
Linear Supervision for Nonlinear, High-Dimensional Neural Control and Differential Games
par: Sharpless, William, et autres
Publié: (2024) -
Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions
par: Borquez, Javier, et autres
Publié: (2023)