mlsanityData to 14 Oct 2026

Pick-to-Learn for Systems and Control: Data-driven Synthesis with State-of-the-art Safety Guarantees

arXiv 2512.04781 ↗First posted 4 Dec 2025eess.SY cs.LG cs.SYcited by 5

Not on the map. Why?

Abstract (arXiv)

Data-driven methods have become paramount in modern systems and control problems characterized by growing levels of complexity. In safety-critical environments, deploying these methods requires rigorous guarantees, a need that has motivated much recent work at the interface of statistical learning and control. However, many existing approaches achieve this goal at the cost of sacrificing valuable data for testing and calibration, or by constraining the choice of learning algorithm, thus leading to suboptimal performances. In this paper, we describe Pick-to-Learn (P2L) for Systems and Control, a framework that allows any data-driven control method to be equipped with state-of-the-art safety and performance guarantees. P2L enables the use of all available data to jointly synthesize and certify the design, eliminating the need to set aside data for calibration or validation purposes. In presenting a comprehensive version of P2L for systems and control, this paper demonstrates its effectiveness across a range of core problems, including optimal control, reachability analysis, safe synthesis, and robust control. In many of these applications, P2L delivers designs and certificates that outperform commonly employed methods, and shows strong potential for broad applicability in diverse practical settings.

Key facts. Cited by 5 papers in the map (data through 14 Oct 2026). Builds on 17 of its 58 references that are in the map. First posted on arXiv 4 Dec 2025.

Builds on

17 of 58 references.

References · 17

  1. 2021A Gentle Introduction to Conformal Prediction and Distribution-Free Uncertainty Quantificationcited by 792
  2. 2017Computing Nonvacuous Generalization Bounds for Deep (Stochastic) Neural Networks with Many More Parameters than Training Datacited by 533
  3. 2021User-friendly introduction to PAC-Bayes boundscited by 239
  4. 2020Tighter risk certificates for neural networkscited by 112
  5. 2024Formal Verification and Control with Conformal Predictioncited by 26
  6. 2023Compression, Generalization and Learningcited by 21
  7. 2023Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractionscited by 16
  8. 2019Data-Driven Reachable Set Computation using Adaptive Gaussian Process Classification and Monte Carlo Methodscited by 14
  9. 2021Data-Driven Reachability Analysis from Noisy Datacited by 14
  10. 2019LMI Properties and Applications in Systems, Stability, and Control Theorycited by 11
  11. 2024Stochastic Omega-Regular Verification and Control with Supermartingalescited by 11
  12. 2023Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inferencecited by 9
5 more
  1. 2024A PAC-Bayesian Framework for Optimal Control with Stability Guaranteescited by 7
  2. 2023Data-driven Reachability using Christoffel Functions and Conformal Predictioncited by 6
  3. 2024What Are the Odds? Improving the foundations of Statistical Model Checkingcited by 5
  4. 2024Closed-loop Performance Optimization of Model Predictive Control with Robustness Guaranteescited by 2
  5. 2025Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systemscited by 2

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 5.

5 papers.