Pick-to-Learn for Systems and Control: Data-driven Synthesis with State-of-the-art Safety Guarantees
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
- 2021A Gentle Introduction to Conformal Prediction and Distribution-Free Uncertainty Quantificationcited by 792
- 2017Computing Nonvacuous Generalization Bounds for Deep (Stochastic) Neural Networks with Many More Parameters than Training Datacited by 533
- 2021User-friendly introduction to PAC-Bayes boundscited by 239
- 2020Tighter risk certificates for neural networkscited by 112
- 2024Formal Verification and Control with Conformal Predictioncited by 26
- 2023Compression, Generalization and Learningcited by 21
- 2023Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractionscited by 16
- 2019Data-Driven Reachable Set Computation using Adaptive Gaussian Process Classification and Monte Carlo Methodscited by 14
- 2021Data-Driven Reachability Analysis from Noisy Datacited by 14
- 2019LMI Properties and Applications in Systems, Stability, and Control Theorycited by 11
- 2024Stochastic Omega-Regular Verification and Control with Supermartingalescited by 11
- 2023Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inferencecited by 9
5 more
- 2024A PAC-Bayesian Framework for Optimal Control with Stability Guaranteescited by 7
- 2023Data-driven Reachability using Christoffel Functions and Conformal Predictioncited by 6
- 2024What Are the Odds? Improving the foundations of Statistical Model Checkingcited by 5
- 2024Closed-loop Performance Optimization of Model Predictive Control with Robustness Guaranteescited by 2
- 2025Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systemscited by 2
Built on by
Citing papers per year: 2026: 5.
5 papers.
- 2026Bound to Disagree: Generalization Bounds via Certifiable Surrogatescited by 2
- 2026Learning Decision-Sufficient Representations for Linear Optimizationcited by 1
- 2026Pick-to-Learn Calibration of an MPC Policy for an Origin-to-Destination Flight Problemcited by 0
- 2026Preferent Compression Bounds Are Tightcited by 0
- 2026Learning by Compression: Risk Estimates Attain the Law-of-Large-Numbers Ratecited by 0
- 2026Learning by Compression: Risk Estimates Attain the Law-of-Large-Numbers Rate9 Oct 2026
- 2026Preferent Compression Bounds Are Tight28 Sep 2026
- 2026Pick-to-Learn Calibration of an MPC Policy for an Origin-to-Destination Flight Problem17 Jul 2026
- 2026Learning Decision-Sufficient Representations for Linear Optimization19 Mar 2026
- 2026Bound to Disagree: Generalization Bounds via Certifiable Surrogates26 Feb 2026