Noyau de viabilité : une contrainte globale pour la modélisation de systèmes dynamiques - Laboratoire d'informatique de l'école polytechnique Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

Noyau de viabilité : une contrainte globale pour la modélisation de systèmes dynamiques

Résumé

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
Fichier principal
Vignette du fichier
jfplc03.pdf (274.01 Ko) Télécharger le fichier

Dates et versions

inria-00000106 , version 1 (11-06-2005)

Identifiants

  • HAL Id : inria-00000106 , version 1

Citer

Juliette Mattioli, Konstantin Artiouchine. Noyau de viabilité : une contrainte globale pour la modélisation de systèmes dynamiques. JFPLC'2003 Douzièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, Jun 2003, Amiens. ⟨inria-00000106⟩
108 Consultations
153 Téléchargements

Partager

Gmail Facebook X LinkedIn More