Buchumschlag

PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hashemi, Navid, Lindemann, Lars, Deshmukh, Jyotirmoy
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Robotics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift
von: Hashemi, Navid, et al.
Veröffentlicht: (2024)

When Environments Shift: Safe Planning with Generative Priors and Robust Conformal Prediction
von: Rahaman, Kaizer, et al.
Veröffentlicht: (2026)

Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
von: Hashemi, Navid, et al.
Veröffentlicht: (2024)

Formal Verification and Control with Conformal Prediction
von: Lindemann, Lars, et al.
Veröffentlicht: (2024)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
von: Zhao, Yiqi, et al.
Veröffentlicht: (2023)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
von: Zhao, Yiqi, et al.
Veröffentlicht: (2025)

Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods
von: Balakrishnan, Anand, et al.
Veröffentlicht: (2024)

PerceMon: Online Monitoring for Perception Systems
von: Balakrishnan, Anand, et al.
Veröffentlicht: (2021)

Sample-Efficient Expert Query Control in Active Imitation Learning via Conformal Prediction
von: Firouzkouhi, Arad, et al.
Veröffentlicht: (2025)

Nonconvex Obstacle Avoidance using Efficient Sampling-Based Distance Functions
von: Lutkus, Paul, et al.
Veröffentlicht: (2025)

Multi-Agent Path Finding Among Dynamic Uncontrollable Agents with Statistical Safety Guarantees
von: Strawn, Kegan J., et al.
Veröffentlicht: (2025)

Enhancing Safety and Robustness of Vision-Based Controllers via Reachability Analysis
von: Chakraborty, Kaustav, et al.
Veröffentlicht: (2024)

RAnGE: Reachability Analysis for Guaranteed Ergodicity
von: Berger, Henry, et al.
Veröffentlicht: (2024)

Robust STL Control Synthesis under Maximal Disturbance Sets
von: Verhagen, Joris, et al.
Veröffentlicht: (2024)

Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions
von: Borquez, Javier, et al.
Veröffentlicht: (2023)

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis
von: Wang, Hao, et al.
Veröffentlicht: (2025)

Safe Planning in Interactive Environments via Iterative Policy Updates and Adversarially Robust Conformal Prediction
von: Mirzaeedodangeh, Omid, et al.
Veröffentlicht: (2025)

Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
von: Ladner, Tobias, et al.
Veröffentlicht: (2026)

Generalizing Safety Beyond Collision-Avoidance via Latent-Space Reachability Analysis
von: Nakamura, Kensuke, et al.
Veröffentlicht: (2025)

Game-Theoretic Safe Multi-Agent Motion Planning with Reachability Analysis for Dynamic and Uncertain Environments (Extended Version)
von: Mai, Wenbin, et al.
Veröffentlicht: (2025)

Coordinating Spinal and Limb Dynamics for Enhanced Sprawling Robot Mobility
von: Atasever, Merve, et al.
Veröffentlicht: (2025)

Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic
von: Bonin, Lorenzo, et al.
Veröffentlicht: (2026)

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

UMBRELLA: Uncertainty-aware Multi-robot Reactive Coordination under Dynamic Temporal Logic Tasks
von: Zhao, Qisheng, et al.
Veröffentlicht: (2026)

Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis
von: Lin, Yuanfei, et al.
Veröffentlicht: (2024)

PCA-RAG: Principal Component Analysis for Efficient Retrieval-Augmented Generation
von: Khaledian, Arman, et al.
Veröffentlicht: (2025)

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

Deep Equivariant Multi-Agent Control Barrier Functions
von: Bousias, Nikolaos, et al.
Veröffentlicht: (2025)

eCP: Equivariant Conformal Prediction with pre-trained models
von: Bousias, Nikolaos, et al.
Veröffentlicht: (2026)

SCRAMPPI: Efficient Contingency Planning for Mobile Robot Navigation via Hamilton-Jacobi Reachability
von: Srirangam, Raj Harshit, et al.
Veröffentlicht: (2026)

TL-PCA: Transfer Learning of Principal Component Analysis
von: Hendy, Sharon, et al.
Veröffentlicht: (2024)

Enhancing Security in Multi-Robot Systems through Co-Observation Planning, Reachability Analysis, and Network Flow
von: Yang, Ziqi, et al.
Veröffentlicht: (2024)

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

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

Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
von: Lin, Albert, et al.
Veröffentlicht: (2025)

ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees
von: Sundarsingh, David Smith, et al.
Veröffentlicht: (2025)

Latent Activation Editing: Inference-Time Refinement of Learned Policies for Safer Multirobot Navigation
von: Das, Satyajeet, et al.
Veröffentlicht: (2025)

Dynamically Feasible Path Planning in Cluttered Environments via Reachable Bezier Polytopes
von: Csomay-Shanklin, Noel, et al.
Veröffentlicht: (2024)

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

Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis
von: Mahesh, Karan, et al.
Veröffentlicht: (2024)