Tractable higher-order under-approximating AE extensions for non-linear systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IFAC-PapersOnLine Année : 2021

Tractable higher-order under-approximating AE extensions for non-linear systems

Résumé

We consider the problem of under and over-approximating the image of general vector-valued functions over bounded sets, and apply the proposed solution to the estimation of reachable sets of uncertain non-linear discrete-time dynamical systems. Such a combination of under and over-approximations is very valuable for the verification of properties of controlled systems. Over-approximations prove properties correct, while under-approximations can be used for falsification. Coupled, they provide a measure of the conservatism of the analysis. This work introduces a general framework relying on approximations of robust ranges of vector-valued functions, formulated as AE extensions, that can be interpreted as quantified propositions where universal quantifiers (A) precede existential quantifiers (E). This framework allows us to extend for under-approximation many precision refinements that are classically used for over-approximations, such as affine approximations, Taylor models, quadrature formulae and preconditioning methods. We end by evaluating the efficiency and precision of our approach, focusing on the application to the analysis of discrete-time dynamical systems.
Fichier principal
Vignette du fichier
1-s2.0-S2405896321012799-main-2.pdf (787.47 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03800457 , version 1 (06-10-2022)

Identifiants

Citer

Eric Goubault, Sylvie Putot. Tractable higher-order under-approximating AE extensions for non-linear systems. IFAC-PapersOnLine, 2021, 54 (5), pp.235 - 240. ⟨10.1016/j.ifacol.2021.08.504⟩. ⟨hal-03800457⟩
11 Consultations
20 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More