:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Geng, Yuang, Waite, Thomas, Turnquist, Trevor, Ivanov, Radoslav, Ruchkin, Ivan
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2512.02893
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems
by: Waite, Thomas, et al.
Published: (2025)

Verification of Autonomous Systems with Optimal Controllers
by: Le, Dylan, et al.
Published: (2026)

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy
by: Peper, Jordan, et al.
Published: (2025)

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

Formal Verification and Control with Conformal Prediction
by: Lindemann, Lars, et al.
Published: (2024)

Online Slip Detection and Friction Coefficient Estimation for Autonomous Racing
by: Oeltjen, Christopher, et al.
Published: (2025)

TEACar: An Open-Source Autonomous Driving Platform
by: Zhang, Zhongzheng, et al.
Published: (2026)

Repairing Learning-Enabled Controllers While Preserving What Works
by: Lu, Pengyuan, et al.
Published: (2023)

Carbon Neutral Greenhouse: Economic Model Predictive Control Framework for Education
by: Wadinger, Marek, et al.
Published: (2024)

Zero-shot Safety Prediction for Autonomous Robots with Foundation World Models
by: Mao, Zhenjiang, et al.
Published: (2024)

Statistically Assuring Safety of Control Systems using Ensembles of Safety Filters and Conformal Prediction
by: Tabbara, Ihab, et al.
Published: (2025)

Conformal Prediction-Based MPC for Stochastic Linear Systems
by: Vogel, Lukas, et al.
Published: (2025)

Decomposition and Quantification of SOTIF Requirements for Perception Systems of Autonomous Vehicles
by: Yu, Ruilin, et al.
Published: (2025)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
by: Zhao, Yiqi, et al.
Published: (2023)

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

Uncertainty-Aware Perception-Based Control for Autonomous Racing
by: Trisovic, Jelena, et al.
Published: (2025)

Symbolic Control for Autonomous Docking of Marine Surface Vessels
by: Dietrich, Elizabeth, et al.
Published: (2025)

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
by: Lin, Albert, et al.
Published: (2023)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
by: Hu, Hanjiang, et al.
Published: (2024)

Information-Based Trajectory Planning for Autonomous Absolute Tracking in Cislunar Space
by: Wolf, Trevor N., et al.
Published: (2024)

Learning-Based Robust Bayesian Persuasion with Conformal Prediction Guarantees
by: Bang, Heeseung, et al.
Published: (2025)

Decentralized Stability-Constrained Optimal Power Flow for Inverter-Based Power Systems
by: Wang, Shigeng, et al.
Published: (2026)

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

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

Conformal Prediction for Distribution-free Optimal Control of Linear Stochastic Systems
by: Vlahakis, Eleftherios E., et al.
Published: (2024)

Perceive With Confidence: Statistical Safety Assurances for Navigation with Learning-Based Perception
by: Mei, Zhiting, et al.
Published: (2024)

Nonlinear Model Predictive Control of a Hybrid Thermal Management System
by: Gulewicz, Demetrius, et al.
Published: (2024)

Efficient Safety Verification of Autonomous Vehicles with Neural Network Operator
by: Fan, Lingxiang, et al.
Published: (2025)

Dynamic System Stability Verification Using Numerical Simulator
by: Kim, Jongrae
Published: (2023)

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

Decentralized State Estimation and Opacity Verification Based on Partially Ordered Observation Sequences
by: Sun, Dajiang, et al.
Published: (2025)

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

Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
by: Huang, Junyue, et al.
Published: (2026)

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

Voltage Stability of Inverter-Based Systems: Impact of Parameters and Irrelevance of Line Dynamics
by: Chatterjee, Sushobhan, et al.
Published: (2025)

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

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

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

Conformal Predictive Programming for Chance Constrained Optimization
by: Zhao, Yiqi, et al.
Published: (2024)

Learning-Based Shrinking Disturbance-Invariant Tubes for State- and Input-Dependent Uncertainty
by: Ramadan, Abdelrahman, et al.
Published: (2026)