Buchumschlag

Data-Driven Reachability with Scenario Optimization and the Holdout Method

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dietrich, Elizabeth, Devonport, Rosalyn, Tu, Stephen, Arcak, Murat
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

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
von: Sivaramakrishnan, Vignesh, et al.
Veröffentlicht: (2024)

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison
von: Dietrich, Elizabeth, et al.
Veröffentlicht: (2026)

Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural Networks
von: Sivaramakrishnan, Karthik, et al.
Veröffentlicht: (2023)

Importance Sampling for Statistical Certification of Viable Initial Sets
von: Dietrich, Elizabeth, et al.
Veröffentlicht: (2026)

Learning Neural Network Controllers with Certified Robust Performance via Adversarial Training
von: Junnarkar, Neelay, et al.
Veröffentlicht: (2026)

Stability Margins of Neural Network Controllers
von: Junnarkar, Neelay, et al.
Veröffentlicht: (2024)

Solving Monotone Variational Inequalities with Best Response Dynamics
von: Chen, Yu-Wen, et al.
Veröffentlicht: (2024)

On Exact Solutions to the Linear Bellman Equation
von: Ohlin, David, et al.
Veröffentlicht: (2025)

Characterizing Human Feedback-Based Control in Naturalistic Driving Interactions via Gaussian Process Regression with Linear Feedback
von: DiPirro, Rachel, et al.
Veröffentlicht: (2025)

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

Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees
von: Junnarkar, Neelay, et al.
Veröffentlicht: (2024)

Hierarchical Decision-Making in Population Games
von: Chen, Yu-Wen, et al.
Veröffentlicht: (2025)

Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
von: Sibai, Hussein, et al.
Veröffentlicht: (2024)

Intelligent Sailing Model for Open Sea Navigation
von: Krasowski, Hanna, et al.
Veröffentlicht: (2025)

Finite Horizon Robustness Analysis of LTV Systems Using Integral Quadratic Constraints
von: Seiler, Peter, et al.
Veröffentlicht: (2017)

Evolutionary Games on Infinite Strategy Sets: Convergence to Nash Equilibria via Dissipativity
von: Anderson, Brendon G., et al.
Veröffentlicht: (2023)

Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning with Asymmetric Rewards
von: Sonmez, Yasin, et al.
Veröffentlicht: (2024)

Certifying Stability and Performance of Uncertain Differential-Algebraic Systems: A Dissipativity Framework
von: Jensen, Emily, et al.
Veröffentlicht: (2023)

Fast Assignment in Asset-Guarding Engagements using Function Approximation
von: Junnarkar, Neelay, et al.
Veröffentlicht: (2024)

Grouping of $N-1$ Contingencies for Controller Synthesis: A Study for Power Line Failures
von: Junnarkar, Neelay, et al.
Veröffentlicht: (2024)

Controlled Invariant Sets for Gaussian Process State Space Models
von: Griffioen, Paul, et al.
Veröffentlicht: (2024)

Hierarchical Control for Continuous-time Systems via General Approximate Alternating Simulation Relations
von: Huang, Zhiyuan, et al.
Veröffentlicht: (2026)

Data-Driven Reachability Analysis for Piecewise Affine Systems
von: Xie, Peng, et al.
Veröffentlicht: (2025)

Data-Driven Reachability Analysis with Optimal Input Design
von: Xie, Peng, et al.
Veröffentlicht: (2026)

Conformalized Data-Driven Reachability Analysis with PAC Guarantees
von: Huang, Yanliang, et al.
Veröffentlicht: (2026)

Orthogonal Transformations for Efficient Data-Driven Reachability Analysis
von: Xie, Peng, et al.
Veröffentlicht: (2026)

Data-Driven Nonconvex Reachability Analysis using Exact Multiplication
von: Zhang, Zhen, et al.
Veröffentlicht: (2025)

Data-Driven Reachability Analysis Using Matrix Perturbation Theory
von: Xie, Peng, et al.
Veröffentlicht: (2026)

Transformer-Accelerated Interpolated Data-Driven Reachability Analysis from Noisy Data
von: Zhang, Zhen, et al.
Veröffentlicht: (2026)

Incentive Designs for Learning Agents to Stabilize Coupled Exogenous Systems
von: Certório, Jair, et al.
Veröffentlicht: (2024)

Reachability Analysis for Design Optimization
von: Nguyen, Steven, et al.
Veröffentlicht: (2026)

Transformer-Enhanced Data-Driven Output Reachability with Conformal Coverage Guarantees
von: Zhang, Zhen, et al.
Veröffentlicht: (2026)

Data-Driven Nonconvex Reachability Analysis using Exact Set Propagation
von: Zhang, Zhen, et al.
Veröffentlicht: (2026)

Set Invariance with Probability One for Controlled Diffusion: Score-based Approach
von: Wang, Wenqing, et al.
Veröffentlicht: (2025)

Falsification-driven reinforcement learning for maritime motion planning
von: Müller, Marlon, et al.
Veröffentlicht: (2025)

Symplectic Inductive Bias for Data-Driven Target Reachability in Hamiltonian Systems
von: Ouyang, Zhuo, et al.
Veröffentlicht: (2026)

Online Data-Driven Reachability Analysis using Zonotopic Recursive Least Squares
von: Akhormeh, Alireza Naderi, et al.
Veröffentlicht: (2025)

Data-Driven Reachability of Nonlinear Lipschitz Systems via Koopman Operator Embeddings
von: Akhormeh, Alireza Naderi, et al.
Veröffentlicht: (2026)

Synthesis of Stabilizing Recurrent Equilibrium Network Controllers
von: Junnarkar, Neelay, et al.
Veröffentlicht: (2022)

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