Image de couverture de livre

Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Nath, Devesh, Yin, Haoran, Chou, Glen
Format:	Preprint
Publié:	2026
Sujets:	Systems and Control Artificial Intelligence Machine Learning Robotics Optimization and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
par: Nath, Devesh, et autres
Publié: (2025)

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
par: Shen, Keyi, et autres
Publié: (2026)

Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU
par: Fang, Jeffrey, et autres
Publié: (2026)

Safety Beyond the Training Data: Robust Out-of-Distribution MPC via Conformalized System Level Synthesis
par: Srinivasan, Anutam, et autres
Publié: (2026)

Active Constraint Learning in High Dimensions from Demonstrations
par: Qiu, Zheng, et autres
Publié: (2025)

Local Linearity of LLMs Enables Activation Steering via Model-Based Linear Optimal Control
par: Skifstad, Julian, et autres
Publié: (2026)

Multi-CALF: A Policy Combination Approach with Statistical Guarantees
par: Malaniya, Georgiy, et autres
Publié: (2025)

Blending Data-Driven Priors in Dynamic Games
par: Lidard, Justin, et autres
Publié: (2024)

Neural-Rendezvous: Provably Robust Guidance and Control to Encounter Interstellar Objects
par: Tsukamoto, Hiroyasu, et autres
Publié: (2022)

Koopman Data-Driven Predictive Control with Robust Stability and Recursive Feasibility Guarantees
par: de Jong, Thomas, et autres
Publié: (2024)

Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
par: Yang, Lujie, et autres
Publié: (2024)

Convex Hulls of Reachable Sets
par: Lew, Thomas, et autres
Publié: (2023)

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
par: Lin, Albert, et autres
Publié: (2023)

Multi-Step Deep Koopman Network (MDK-Net) for Vehicle Control in Frenet Frame
par: Abtahi, Mohammad, et autres
Publié: (2025)

Hierarchical Reinforcement Learning with Low-Level MPC for Multi-Agent Control
par: Studt, Max, et autres
Publié: (2025)

A Tricycle Model to Accurately Control an Autonomous Racecar with Locked Differential
par: Raji, Ayoub, et autres
Publié: (2023)

Direct Data Driven Control Using Noisy Measurements
par: Esmzad, Ramin, et autres
Publié: (2025)

DASA: Delay-Adaptive Multi-Agent Stochastic Approximation
par: Fabbro, Nicolò Dal, et autres
Publié: (2024)

Adaptive Smooth Tchebycheff Attention for Multi-Objective Policy Optimization
par: Murillo-Gonzalez, Alejandro, et autres
Publié: (2026)

Enhanced-FQL($λ$), an Efficient and Interpretable RL with novel Fuzzy Eligibility Traces and Segmented Experience Replay
par: Jalaeian-Farimani, Mohsen, et autres
Publié: (2026)

A universal policy wrapper with guarantees
par: Bolychev, Anton, et autres
Publié: (2025)

Probabilistic Safety Guarantee for Stochastic Control Systems Using Average Reward MDPs
par: Omidi, Saber, et autres
Publié: (2025)

Conformal Prediction in The Loop: A Feedback-Based Uncertainty Model for Trajectory Optimization
par: Wang, Han, et autres
Publié: (2025)

Model Predictive Control of Hybrid Dynamical Systems
par: Sanfelice, Ricardo G., et autres
Publié: (2026)

VISION-SLS: Safe Perception-Based Control from Learned Visual Representations via System Level Synthesis
par: Leeman, Antoine P., et autres
Publié: (2026)

ViSTR-GP: Online Cyberattack Detection via Vision-to-State Tensor Regression and Gaussian Processes in Automated Robotic Operations
par: Aftabi, Navid, et autres
Publié: (2025)

Density-Driven Optimal Control: Convergence Guarantees for Stochastic LTI Multi-Agent Systems
par: Lee, Kooktae
Publié: (2026)

Safe Guaranteed Exploration for Non-linear Systems
par: Prajapat, Manish, et autres
Publié: (2024)

Koopman-Hopf Hamilton-Jacobi Reachability and Control
par: Sharpless, Will, et autres
Publié: (2023)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
par: Vertovec, Nikolaus, et autres
Publié: (2025)

Aero-Promptness: Drag-Aware Aerodynamic Manipulability for Propeller-driven Vehicles
par: Franchi, Antonio
Publié: (2026)

Who Plays First? Optimizing the Order of Play in Stackelberg Games with Many Robots
par: Hu, Haimin, et autres
Publié: (2024)

Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systems
par: Vincent, Joseph A., et autres
Publié: (2022)

Passive iFIR Filters for Data-Driven Control
par: Wang, Zixing, et autres
Publié: (2024)

Data-Driven Motion Planning for Uncertain Nonlinear Systems
par: Esmaeili, Babak, et autres
Publié: (2025)

Guaranteed Robust Nonlinear MPC via Disturbance Feedback
par: Leeman, Antoine P., et autres
Publié: (2025)

Dependent Reachable Sets for the Constant Bearing Pursuit Strategy
par: Makkapati, Venkata Ramana, et autres
Publié: (2025)

Dynamics Harmonic Analysis of Robotic Systems: Application in Data-Driven Koopman Modelling
par: Ordoñez-Apraez, Daniel, et autres
Publié: (2023)

A Data-Driven Algorithm for Model-Free Control Synthesis
par: Bowerfind, Sean, et autres
Publié: (2026)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
par: Hafez, Ahmad, et autres
Publié: (2025)