|
|||||||||||
|
|
Calcul d'atteignabilité pour des systèmes hybrides non linéaires par approximations affines garanties 1LRI, Université de Paris Sud 11, CNRS & INRIA Saclay Ile-de-France 2SUPELEC/IETR, Rennes - UMR 6164 – Université de Rennes 1, CNRS Nous présentons dans ce papier une approche permettant l`analyse d'atteignabilité des systèmes hybrides non linéaires. L'idée sur laquelle elle se base consiste à construire une approximation de systèmes non-linéaires, sous forme de systèmes affines par morceaux avec incertitudes, pour laquelle des approches efficaces de calcul d'atteignabilité ont été proposées. Pour ce faire, nous commençons par générer une partition de l'espace d'état du système non-linéaire. Ensuite, nous approchons localement, dans chaque élément de cette partition, le système non-linéaire par un système affine. Nous rajoutons à la fin l'erreur d'approximation au modèle affine. De cette manière, au lieu d'étudier un système non-linéaire complexe, nous étudions localement un système affine avec incertitudes. |
||||||||||