Interval Methods for Model Qualification: Methodology and Advanced Application

Julien Alexandre Dit Sandretto 1 Gilles Trombettoni 1 David Daney 1
1 COPRIN - Constraints solving, optimization and robust interval analysis
CRISAM - Inria Sophia Antipolis - Méditerranée , ENPC - École des Ponts ParisTech
Abstract : It is often too complex to use, and sometimes impossible to obtain, an actual model in simulation or command field . To handle a system in practice, a simplification of the real model is then necessary. This simplification goes through some hypotheses made on the system or the modeling approach. In this paper, we deal with all models that can be expressed by real-valued variables involved in analytical relations and depending on parameters. We propose a method that qualifies the simplification validity by verifying a quality threshold on the hypothesis relevance. This method, based on interval analysis, can check the acceptance of the hypothesis in a full range of the whole model space, and can give bounds to the quality threshold and to the model parameters.% to keep the simplified model acceptable. Our approach is experimentally validated on a robotic application.
Document type :
Reports
Liste complète des métadonnées

Cited literature [2 references]  Display  Hide  Download

https://hal.inria.fr/hal-00668950
Contributor : Julien Alexandre Dit Sandretto <>
Submitted on : Friday, February 10, 2012 - 5:03:30 PM
Last modification on : Monday, July 16, 2018 - 3:42:06 PM
Document(s) archivé(s) le : Thursday, November 22, 2012 - 12:00:56 PM

File

RR-7880.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00668950, version 1

Collections

Citation

Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney. Interval Methods for Model Qualification: Methodology and Advanced Application. [Research Report] RR-7880, INRIA. 2012, pp.23. ⟨hal-00668950⟩

Share

Metrics

Record views

427

Files downloads

176