Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00000106
Contributor : Konstantin Artiouchine <>
Submitted on : Saturday, June 11, 2005 - 4:03:15 PM
Last modification on : Friday, October 2, 2020 - 9:40:03 AM
Long-term archiving on: : Thursday, April 1, 2010 - 9:40:31 PM

Identifiers

  • HAL Id : inria-00000106, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

183

Files downloads

317