Buchumschlag

Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Geng, Yuang, Waite, Thomas, Turnquist, Trevor, Ivanov, Radoslav, Ruchkin, Ivan
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

State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems
von: Waite, Thomas, et al.
Veröffentlicht: (2025)

Verification of Autonomous Systems with Optimal Controllers
von: Le, Dylan, et al.
Veröffentlicht: (2026)

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy
von: Peper, Jordan, et al.
Veröffentlicht: (2025)

What Does It Take to Get Guarantees? Systematizing Assumptions in Cyber-Physical Systems
von: Li, Chengyu, et al.
Veröffentlicht: (2025)

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

Online Slip Detection and Friction Coefficient Estimation for Autonomous Racing
von: Oeltjen, Christopher, et al.
Veröffentlicht: (2025)

TEACar: An Open-Source Autonomous Driving Platform
von: Zhang, Zhongzheng, et al.
Veröffentlicht: (2026)

Carbon Neutral Greenhouse: Economic Model Predictive Control Framework for Education
von: Wadinger, Marek, et al.
Veröffentlicht: (2024)

Conformal Prediction-Based MPC for Stochastic Linear Systems
von: Vogel, Lukas, et al.
Veröffentlicht: (2025)

Repairing Learning-Enabled Controllers While Preserving What Works
von: Lu, Pengyuan, et al.
Veröffentlicht: (2023)

Statistically Assuring Safety of Control Systems using Ensembles of Safety Filters and Conformal Prediction
von: Tabbara, Ihab, et al.
Veröffentlicht: (2025)

Decomposition and Quantification of SOTIF Requirements for Perception Systems of Autonomous Vehicles
von: Yu, Ruilin, et al.
Veröffentlicht: (2025)

Zero-shot Safety Prediction for Autonomous Robots with Foundation World Models
von: Mao, Zhenjiang, et al.
Veröffentlicht: (2024)

Data-Driven Koopman Predictive Control for Frequency Regulation of Power Systems using Black-Box IBRs
von: Rezaei, Sohrab, et al.
Veröffentlicht: (2026)

Symbolic Control for Autonomous Docking of Marine Surface Vessels
von: Dietrich, Elizabeth, et al.
Veröffentlicht: (2025)

Uncertainty-Aware Perception-Based Control for Autonomous Racing
von: Trisovic, Jelena, et al.
Veröffentlicht: (2025)

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

Learning-Based Robust Bayesian Persuasion with Conformal Prediction Guarantees
von: Bang, Heeseung, et al.
Veröffentlicht: (2025)

SPARC: Prediction-Based Safe Control for Coupled Controllable and Uncontrollable Agents with Conformal Predictions
von: Wang, Shuqi, et al.
Veröffentlicht: (2024)

Conformal Prediction for Distribution-free Optimal Control of Linear Stochastic Systems
von: Vlahakis, Eleftherios E., et al.
Veröffentlicht: (2024)

Formation-Aware Adaptive Conformalized Perception for Safe Leader-Follower Multi-Robot Systems
von: Suganda, Richie R., et al.
Veröffentlicht: (2026)

Efficient Safety Verification of Autonomous Vehicles with Neural Network Operator
von: Fan, Lingxiang, et al.
Veröffentlicht: (2025)

Decentralized Stability-Constrained Optimal Power Flow for Inverter-Based Power Systems
von: Wang, Shigeng, et al.
Veröffentlicht: (2026)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
von: Hu, Hanjiang, et al.
Veröffentlicht: (2024)

A Game-Theoretic Predictive Control Framework with Statistical Collision Avoidance Constraints for Autonomous Vehicle Overtaking
von: Yu, Sheng, et al.
Veröffentlicht: (2025)

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
von: Lin, Albert, et al.
Veröffentlicht: (2023)

Nonlinear Model Predictive Control of a Hybrid Thermal Management System
von: Gulewicz, Demetrius, et al.
Veröffentlicht: (2024)

Perceive With Confidence: Statistical Safety Assurances for Navigation with Learning-Based Perception
von: Mei, Zhiting, et al.
Veröffentlicht: (2024)

Information-Based Trajectory Planning for Autonomous Absolute Tracking in Cislunar Space
von: Wolf, Trevor N., et al.
Veröffentlicht: (2024)

Model Predictive Control and Moving Horizon Estimation using Statistically Weighted Data-Based Ensemble Models
von: de Giuli, Laura Boca, et al.
Veröffentlicht: (2025)

Decentralized State Estimation and Opacity Verification Based on Partially Ordered Observation Sequences
von: Sun, Dajiang, et al.
Veröffentlicht: (2025)

Dynamic System Stability Verification Using Numerical Simulator
von: Kim, Jongrae
Veröffentlicht: (2023)

Stabilization of Nonlinear Systems with State-Dependent Representation: From Model-Based to Direct Data-Driven Control
von: Li, Lidong, et al.
Veröffentlicht: (2025)

Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
von: Huang, Junyue, et al.
Veröffentlicht: (2026)

Voltage Stability of Inverter-Based Systems: Impact of Parameters and Irrelevance of Line Dynamics
von: Chatterjee, Sushobhan, et al.
Veröffentlicht: (2025)

Statistical Guarantees in Data-Driven Nonlinear Control: Conformal Robustness for Stability and Safety
von: Hsu, Ting-Wei, et al.
Veröffentlicht: (2025)

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

Who Moved My Distribution? Conformal Prediction for Interactive Multi-Agent Systems
von: Binny, Allen Emmanuel, et al.
Veröffentlicht: (2025)

Analytical Verification of Performance of Deep Neural Network Based Time-Synchronized Distribution System State Estimation
von: Azimian, Behrouz, et al.
Veröffentlicht: (2023)

Stochastic Model Predictive Control of Charging Energy Hubs with Conformal Prediction
von: Fernández-Zapico, Diego, et al.
Veröffentlicht: (2025)