Post-Design Verification in the Scenario Approach

The scenario approach is an established data-driven design framework equipped with a powerful theory that links design complexity to generalization properties. A key feature of this method is that training data are used both for design and for certifying the design's reliability, without resorting to additional data points. This paper takes a step further: the goal is not only to certify the properties considered at the design stage, but also to guarantee new properties of interest in post-design usage. To this end, we introduce a two-level framework of appropriateness: baseline appropriateness, which guides the design process, and post-design appropriateness, which serves as a criterion for a posteriori evaluation. The paper fully develops a post-design verification framework that works without resorting to additional test data and illustrates it on an H2 problem.