1. A Posteriori Probabilistic Bounds of Convex Scenario Programs With Validation Tests
- Author
-
Fengqi You and Chao Shang
- Subjects
FOS: Computer and information sciences ,Computer Science - Machine Learning ,Generality ,Mathematical optimization ,Computer science ,media_common.quotation_subject ,Probabilistic logic ,Systems and Control (eess.SY) ,Electrical Engineering and Systems Science - Systems and Control ,Machine Learning (cs.LG) ,Computer Science Applications ,Optimization and Control (math.OC) ,Control and Systems Engineering ,Robustness (computer science) ,FOS: Mathematics ,FOS: Electrical engineering, electronic engineering, information engineering ,Bernoulli trial ,A priori and a posteriori ,Quality (business) ,Electrical and Electronic Engineering ,Mathematics - Optimization and Control ,Random variable ,Implementation ,media_common - Abstract
Scenario programs have established themselves as efficient tools toward decision-making under uncertainty. To assess the quality of scenario-based solutions a posteriori , validation tests based on Bernoulli trials have been widely adopted in practice. However, to reach a theoretically reliable judgment of risk, one typically needs to collect massive validation samples. In this article, we propose new a posteriori bounds for convex scenario programs with validation tests, which are dependent on both realizations of support constraints, and performance on out-of-sample validation data. The proposed bounds enjoy wide generality in that many existing theoretical results can be incorporated as particular cases. To facilitate practical use, a systematic approach for parameterizing a posteriori probability bounds is also developed, which is shown to possess a variety of desirable properties allowing for easy implementations and clear interpretations. By synthesizing comprehensive information about support constraints and validation tests, improved risk evaluation can be achieved for randomized solutions in comparison with existing a posteriori bounds. Case studies on controller design of aircraft lateral motion are presented to validate the effectiveness of the proposed a posteriori bounds.
- Published
- 2021