Noyau de viabilité : une contrainte globale pour la modélisation de systèmes dynamiques
Abstract
L'objectif de ce papier est de décrire une approche pour aborder la problématique induite par la nature hybride (statique $+$ dynamique) des systèmes. En effet, étant donné un système dynamique, discret ou continu, et un ensemble $K$ défini par un système de contraintes indépendantes du temps, il n'est pas certain qu'à partir d'un point initial $x_0$, il existe une solution du système dynamique qui reste toujours dans $K$. On s'intéresse alors à l'ensemble des valeurs initiales de $K$ à partir lesquels est issu au moins une solution qui ne sort jamais de $K$. Le plus grand sous-ensemble obtenu est appelé le ``noyau de viabilité'' de $K$ et la transformation de $K$ en $Viab(K)$ est en fait un opérateur de propagation. Grâce à l'introduction de cette notion au travers d'une contrainte globale dans un solveur de contraintes en domaine fini, nous pouvons aborder certains problèmes hybrides définis par la combination d'un système de contraintes (classiques) et d'un système dynamique