Aller au contenu principal

Débutant

[Texte] Installation ViabLab à partir de GitHub

Niveau de difficulté
Thématique
Présentation formation

How to install and compile ViabLab from GitHub

Contenu
MAC OS
Lire la suite 

Contenu à venir...


LINUX
Lire la suite 

FEDORA : 

Etape 1. Installation des dépendances

  • Mettre à jour le manager de paquets :

sudo dnf update
  • Installer les compilateurs C/C++:   

 Pour vérifier si gcc/g++ sont installés, dans un terminal : 

gcc --version
g++ --version

Si gcc/g++ ne sont pas installés sur votre système :        

sudo dnf install gcc
sudo dnf install g++
  • Installer Cmake (version >= 3.22.1) : 

Pour vérifier si cmake est installé et connaitre sa version, dans un terminal :

cmake --version

Si ce n'est pas la bonne version , supprimer les versions existantes de CMake, dans un terminal :

sudo dnf remove cmake

Puis

sudo dnf install cmake
  • Installer git (optionnel - si on souhaite cloner la dernière version de travail du code)

sudo dnf install git
  • Installer les librairies externes open source

sudo dnf install boost-devel
sudo dnf install spdlog-devel
sudo dnf install libcurl-devel

Etape 2. Copier VIABLAB à partir de GitHub 

Dans FileExplorer, créer un répertoire viablab qui contiendra le programme et les résultats

Pour copier ViabLab, trois possibilités :

      Dézipper VIABLAB-main.zip dans le répertoire viablab. 

  • Ouvrir un terminal dans le répertoire viablab et cloner le dépôt : 

git clone https://github.com/lastre-viab/VIABLAB.git

Etape 3. Compiler VIABLAB 

Vous êtes maintenant prêts à compiler le code de ViabLab. 

D'abord, aller dans le répertoire build (le créer s'il n'existe pas) de VIABLAB-main dans un terminal (le chemin dépend de votre installation). Par exemple : 

cd viablab/VIABLAB-main/build/

Ensuite, exécuter la commande cmake : 

cmake ../source

En cas d'erreur pendant le cmake, aller dans le répertoire build et effacer complètement son contenu avant de relancer la commande cmake.

La commande cmake ne doit être exécutée qu'à la première installation ; ensuite, la commande make ci-dessous sera suffisante pour compiler le code : 

make

Lorsque la compilation est terminée, l'exécutable viabLab.exe est généré dans le répertoire build. 

 

UBUNTU :

Etape 1. Installation des dépendances

  • Mettre à jour le manager de paquets apt :

sudo apt update
  • Installer les compilateurs C/C++:   

 Pour vérifier si gcc/g++ sont installés, dans un terminal : 

gcc --version
g++ --version

Si gcc/g++ ne sont pas installés sur votre système :        

sudo apt install gcc
sudo apt install g++
  • Installer Cmake (version >= 3.22.1) : 

Pour vérifier si cmake est installé et connaitre sa version, dans un terminal :

cmake --version

Si ce n'est pas la bonne version , supprimer les versions existantes de CMake, dans un terminal :

sudo apt remove --purge cmake

Puis

sudo apt install cmake
  • Installer git (optionnel - si on souhaite cloner la dernière version de travail du code)

sudo apt install git
  • Installer les librairies externes open source

sudo apt install libboost-all-dev
sudo apt install libspdlog-dev
sudo apt install libcurl4

Etape 2. Copier VIABLAB à partir de GitHub 

Dans FileExplorer, créer un répertoire viablab qui contiendra le programme et les résultats

Pour copier ViabLab, trois possibilités :

      Dézipper VIABLAB-main.zip dans le répertoire viablab. 

  • Ouvrir un terminal dans le répertoire viablab et cloner le dépôt : 

git clone https://github.com/lastre-viab/VIABLAB.git

Etape 3. Compiler VIABLAB 

Vous êtes maintenant prêts à compiler le code de ViabLab. 

D'abord, aller dans le répertoire build (le créer s'il n'existe pas) de VIABLAB-main dans un terminal (le chemin dépend de votre installation). Par exemple : 

cd viablab/VIABLAB-main/build/

Ensuite, exécuter la commande cmake : 

cmake ../source

En cas d'erreur pendant le cmake, aller dans le répertoire build et effacer complètement son contenu avant de relancer la commande cmake.

La commande cmake ne doit être exécutée qu'à la première installation ; ensuite, la commande make ci-dessous sera suffisante pour compiler le code : 

make

Lorsque la compilation est terminée, l'exécutable viabLab.exe est généré dans le répertoire build. 

 


WINDOWS 
Lire la suite 

 

Etape 1. Installer MSYS2 

Suivre les instructions https://www.msys2.org/

Télécharger et lancer l'installateur :

Welcome to the MSYS2 Setup 

Choisir le répertoire d'installation :

Installation folder

 

Suivre les étapes d'installation : 

Installation steps

Patienter jusqu'à la fin du processus d'installation : 

Wait...

 

Cliquer sur Finish : 

Finish

Une fois installé, le script bash MinGW64 peut être lancé depuis le menu Windows :

Windows menu

MinGW64

 

Etape 2. Installer les outils de compilation et les dépendances

Msys fournit un gestionnaire de paquets, appelé pacman, qui peut être utilisé pour installer tous les outils de compilation et les dépendances nécessaires. La documentation est ici : https://www.msys2.org/docs/package-management/

Installer les paquets suivants (utiliser les commandes ci-dessous ou chercher dans https://packages.msys2.org/queue en choisissant Mingw64 binaries) : 

  • GCC: 

    pacman -S mingw-w64-x86_64-gcc
  • CMake: 

    pacman -S mingw-w64-x86_64-ccmake
  • Make: 

    pacman -S mingw-w64-x86_64-make
  • Boost: 

    pacman -S mingw-w64-x86_64-boost
  • Dlfcn: 

    pacman -S mingw-w64-x86_64-dlfcn
  • Spdlog: 

    pacman -S mingw-w64-x86_64-spdlog

Pour finir l'installation, ajouter à la variable System Path le chemin d'accès aux binaires Mingw64

C:\msys64\mingw64\bin :

Add path variable

Cette opération peut nécessiter le redémarrage de votre ordinateur pour s'assurer que les modifications de la variable System Path ont bien été enregistrées.


Etape 3. Copier VIABLAB dans le répertoire de MSyS 

A l'adresse https://github.com/lastre-viab/VIABLAB, cliquer sur le bouton Code et télécharger le fichier .zip VIABLAB-main.zip. 

Par défaut, l'interpréteur de commandes MSyS est ouvert dans le dossier /home/nom_utilisateur. Vous pouvez le voir dans l'explorateur de fichiers. 



 

Ouvrir ce dossier dans FileExplorer, créer le dossier dev-cpp qui contiendra le program et les fichiers de sorties et y dézipper VIABLAB-main.zip. Example : 


Etape 5. Compiler VIABLAB dans le dossier MSyS 

Retourner dans l'interface MSyS MINGW64 (le script bash MinGW64 peut être lancé depuis le menu Windows). Vous êtes prêt pour compiler le code de ViabLab. 

First, go to the build folder (create it if it doesn't exist) of VIABLAB in bash (depending on your personal installation). With the example folder shown above : 

cd dev-cpp/VIABLAB-main/build/

Then cmake command : 

  • cmake -G"MinGW Makefiles" -D BUILD_LIB=OFF ../source

  • If you use Eclipse C++ IDE, you can use the cmake command below to generate Eclipse project settings and enable debugging in Eclipse :

    cmake -G"Eclipse CDT4 - MinGW Makefiles" -D CMAKE_BUILD_TYPE=Debug -D BUILD_LIB=OFF ../source

    After running CMake, the project is ready to be imported into Eclipse: the build directory (initially empty) contains the data generated by CMake.

    In Eclipse, go to the File menu => Import and select the Existing Projects into Workspace option.

    Click Next.

    Then, in the following window, select the build directory.

    Click Finish.

    After the import, you will see the project tree in the left panel.

Note that cmake command must be executed only once, on first installation; further, only the make command below will be sufficient to build the code : 

mingw32-make

Once the compilation process finished, the executable viabLab.exe is created in build folder. 

 

[Texte] Fichiers de sortie de ViabLab

Niveau de difficulté
Thématique
Présentation formation

Les fichiers de sortie de ViabLab

Les fichiers sorties de ViabLab se trouvent dans le répertoire ~/ViabLabGui/bin/VIABLAB/OUTPUT.

Un calcul génère plusieurs fichiers qui sont nommés avec le même préfixe.

Le fichier <prefixe>-grid_data.dat contient les informations sur le grille régulière sur laquelle est basée le calcul, ci-dessous un exemple :

2  ---- nombre de dimensions de l'espace des états
-2 ---- première coordonnée du point inférieur (dans toutes les dimensions) de la grille 
-2 ---- deuxième (ici seconde puisqu'on est en dimension 2) coordonnée du point inférieur (dans toutes les dimensions) de la grille
2  ---- première coordonnée du point supérieur (dans toutes les dimensions) de la grille
2  ---- deuxième (ici seconde puisqu'on est en dimension 2) coordonnée du point inférieur (dans toutes les dimensions) de la grille
4001 -- nombre de points de la grille selon le premier axe
4001 -- nombre de points de la grille selon le second axe
0
0     Anya HELP !
1
1

Le fichier <prefixe>-viab.dat contient les coordonnées des points de la grille suivies de 0.0 si le point n'appartient pas au noyau calculé et 1.0 s'il y appartient ; le nombre de colonnes est donc égale au nombre de dimensions de l'espace des états plus 1.

Le fichier <prefixe>-viab-bound.dat contient la liste des coordonnées des points de la grille qui ont au moins un voisin qui n'appartient pas au noyau calculé. Ils représentant la frontière de ce noyau.

[Texte] Installation ViabLab with Gui v3.0

Niveau de difficulté
Thématique
Présentation formation

Sous MAC

Pas possible pour le moment, le fichier binaire n'est disponible que pour Linux et Windows, il faut cloner à partir d'un dépôt.

 

Sous LINUX

Prérequis : 

  • Avoir installé g++ :   

 Pour vérifier si g++ est installé, dans un terminal : 

g++ --version

Si g++ n'est pas encore installé sur votre système :        

sudo apt install g++
  • Avoir installé cmake version 3.22.1 : 

Pour vérifier si cmake est installé et connaitre sa version, dans un terminal :

cmake --version

Si ce n'est pas la bonne version , supprimer les versions existantes de CMake, dans un terminal :

sudo apt remove --purge cmake

Vérifier la version de votre Ubuntu, dans un terminal : 

lsb_release -a

 Si votre version est 22.04, installer CMake 3.22.1 automatiquement :

    sudo apt update
    sudo apt install cmake

Si votre version n’est pas 22.04, installer les dépendances nécessaires :
 

    sudo apt update
    sudo apt install -y build-essential libssl-dev

 Télécharger CMake 3.22.1 :

       wget https://github.com/Kitware/CMake/releases/download/v3.22.1/cmake-3.22.1.tar.gz

  Extraire l'archive :

    tar -zxvf cmake-3.22.1.tar.gz
    cd cmake-3.22.1

    Construire et installer :

    ./bootstrap
    make -j$(nproc)      # Compiles using all available CPU cores
    sudo make install

Vérifier la version de cmake, dans un terminal :

cmake --version

Doit afficher  cmake version 3.22.1.

  • Avoir installé l'IDE Eclipse (facultatif)

    sudo apt-get install -y eclipse-cdt

 

Installation de Viablab :

chmod +x InstallerViabLabGui_v1_linux.run
  • Pour exécuter l'installeur
./InstallerViabLabGui_v1_linux.run
  • Next - Next - Next - Install - Finish
  • Puis se placer à l’aide de la commande cd dans le répertoire build : ~/ViabLabGui/bin/VIABLAB/build  
  • puis, pour une utilisation sans l'IDE Eclipse :
cmake -G "Unix Makefiles" ../source
make

 L'exécutable viabLabExe apparaît dans le répertoire build ! 

  • ou, pour une utilisation avec Eclipse :
cmake -D_ECLIPSE_VERSION=4.5 -DCMAKE_BUILD_TYPE=Debug ../source -G"Eclipse CDT4 - Unix Makefiles" -DCMAKE_ECLIPSE_GENERATE_SOURCE_PROJECT=TRUE

 

Sous WINDOWS :

Prérequis : 

  • Avoir installé MinGW, une distribution de compilateurs C/C++ GNU pour Windows :   

 A l'adresse https://sourceforge.net/projects/mingw/files/latest/download , téléchargez l'application MinGW Installation Manager.

Ouvrir cette application 

Dans le panneau gauche, développer All packages => MinGW, sélectionner MinGW Base System. Sélectionner dans la liste des packages tous les packages dont le nom contient « pthread », choisir Mark For Installation. Faire de même pour les packages gcc, omp, g++, libstd, mingw s’ils ne sont pas sélectionnés.

Une fois les packages sélectionnés, dans le menu Installation, cliquer sur Apply changes et attendre la fin d’installation.

Ajouter l’emplacement de l’installation MinGW dans la variable PATh du système :

Dans paramètres/settings du système, on cherche environmental/environnement et on clique dans «edit environment variables for your account »

Aller dans Path, edit, new et on copie colle : C:\MinGW\bin

Eteindre et redémarrer l'ordinateur.
 

  • Avoir installé cmake version 3.31.7:

Pour vérifier si cmake est installé et connaitre sa version, dans un terminal :

??

Si ce n'est pas la bonne version , supprimer les versions existantes de CMake, dans un terminal :

??

 Aller à l'adresse https://github.com/Kitware/CMake/releases/download/v3.31.7/cmake-3.31.7-windows-x86_64.msi pour télécharger le Windows x64 installer.

Vérifier la version de cmake, dans un terminal :

????

Doit afficher  cmake version 3.31.7.

  • Avoir installé Eclipse Environnement de développement intégré) (facultatif) :  

Aller à l'adresse  https://www.eclipse.org/downloads/packages/release/kepler/sr2/eclipse-ide-cc-developers

Cliquer sur download, à nouveau sur download.

Une fois téléchargé, cliquer sur l’installeur et chosir  Eclipse IDE for C/C++ developers

On ‘’launch’’ par la suite (première exécution pour voir que tout fonctionne)

On ‘’launch’’ de nouveau.

 

Installation de Viablab :

??
  • Pour exécuter l'installeur
??
  • Next - Next - Next - Install - Finish
  • Puis ouvrir un PowerShell, se placer à l’aide de la commande cd dans le répertoire build : ~/ViabLabGui/bin/VIABLAB/build  
  • puis, pour une utilisation sans l'IDE Eclipse :
cmake -G "MinGW Makefiles" ../source
make

 L'exécutable viabLabExe apparaît dans le répertoire build

  • ou, pour une utilisation avec Eclipse :
cmake -G"Eclipse CDT4 - MinGW Makefiles" -D CMAKE_BUILD_TYPE=Debug ../source

Après l’exécution de cmake le projet est prêt pour être importé dans Eclipse : le répertoire build ( vide au début) contient les données générées par cmake.

Dans Eclipse, aller dans le menu File => Import et sélectionner l’option Existing Projects into Workspace

Cliquer sur Next

Ensuite dans le fenêtre suivante sélectionner le répertoire build

Cliquer sur Finish

Après l’import on voit l’arborescence du projet dans le panneau gauche

Viability Theory

Type de document
Editeur
Birkhäuser
Revue
NON NON
Volume
NON NON
Collection
NON NON
Lieu
Boston
Année de publication
1991
Sous titre
Systems & Control: Formations & Applications
Auteur(s)
Jean-Pierre Aubin
Niveau de difficulté
Identifiant
ISBN : 978-1-4612-0451-8
photo

Ce livre fondateur développe les outils mathématiques de la théorie de la viabilité, utilisés pour étudier des systèmes dynamiques sous contraintes.

Algorithmes de viabilité pour la robotique autonome

Lieu
CNRS Toulouse
Date
28-06-2023
Langue de la conférence
Niveau de difficulté
Description

Utilisation d’algorithmes de viabilité pour garantir la sécurité et la performance des robots évoluant dans des environnements incertains.

Intervenant(s)
Eng. Thomas Bernard (CNRS-LAAS), Contenu à venir !

Théorie mathématique de la viabilité

Université des Antilles, Pôle Martinique
27-04-2026
20
Niveau de difficulté
Présentation de l'atelier

Cet atelier propose une introduction appliquée à la théorie de la viabilité, notamment dans le cadre des écosystèmes soumis à des contraintes environnementales. Les participants exploreront comment formaliser des politiques durables de gestion à l’aide d’algorithmes de viabilité, et comment modéliser la résilience d’un système via des cas concrets comme l’eutrophisation d’un lac ou la gestion d'une population.

Pour consulter un compte-rendu de cet atelier : ici

Objectifs de l'atelier
  • Comprendre les bases mathématiques de la viabilité dynamique.
  • Utiliser des modèles simples pour représenter des contraintes écologiques.
  • Manipuler un simulateur interactif pour visualiser les trajectoires viables.
  • Favoriser les échanges entre chercheurs, étudiants et praticiens.
Programme

LUNDI 27 AVRIL

8h15 - Rendez-vous de l’ensemble des participants devant la Bibliothèque Universitaire

 

SESSION 1 : POSER UN PROBLEME EN VIABILITE

Animateurs : Bates - Lavallée - De Lapparent 

8h30 - 8h50 La viabilité mathématique en question ? (Samuel Bates)
8h50 - 9h50 Formuler mathématiquement un problème de viabilité (François Lavallée)

Pause & discussion

10h00-10h30 Exercice sur l'art de poser un problème de viabilité (François Lavallée)
10h30-11h15 Cas de résolution analytique de la viabilité (François Lavallée)
11h15-12h00 Exercice sur la résolution analytique de la viabilité (François Lavallée)

Déjeuner

13h30-14h00 Cas de résolution numérique de la viabilité (François Lavallée)
14h00-15h15 Cas de résolution de viabilité en situation d’incertitude (François Lavallée)

Pause & discussion

15h30-16h00 Cas de résolution de viabilité avec cible terminale (François Lavallée)
16h00-17h00  Viabilité individuelle et collective : cas de résolution de viabilité multi-agent (François Lavallée)
17h00-17h45 Illustration d'un cas de viabilité multi-agent (Alice De Lapparent)
19h00 Diner d'accueil sur inscription (Fort-de-France)

 MARDI 28 AVRIL

SESSION 2 : L’INFORMATIQUE DE LA VIABILITE

Animateur : Désilles - Lavallée - Gloglo - Andres-Domenech

 

 

8h00-9h00 Préparation à l’informatique de la viabilité (Anya Désilles)
9h00-10h30 Présentation du logiciel Viablab (Anya Désilles)

Pause & discussion

10h45-11h15 Enjeux informatiques sur les noyaux de viabilité (Anya Désilles)
11h15-12h00 Enjeux informatiques sur les trajectoires de viabilité (Anya Désilles)

Déjeuner

13h30-15h30 Atelier de manipulation du Logiciel autour d’un cas d’étude (1/2) 
(François Lavallée & Anya Désilles)

Pause & discussion

15h45-17h45 Atelier de manipulation du Logiciel autour d’un cas d’étude (2/2) 
(François Lavallée & Anya Désilles)
18h00-19h00 Introduction à la Théorie Mathématique de la Viabilité 
(à destination du Master MBFA : Pablo Andres Domenech, Samuel Bates, Beringer Gloglo)

 


MERCREDI 29 AVRIL

SESSION 3 : ATELIERS THEMATIQUES D’APPLICATION

Animateurs Désilles - Bates - Gloglo - Andres-Domenech

 

8h00-10h00 Atelier autour de AgroViablab : Illustration vers une montée en complexité 
(Anya Désilles & Samuel Bates)

Pause & discussion

10h15-12h15 Brainstorming autour d’AgroViablab (collectif)

Déjeuner

13h45-15h30 Atelier d’application sur un système monétaire : Illustration vers une simplification 
de complexité (Beringer Gloglo)
15h30-17h30 Brainstorming sur les applications (collectif)
18h00-19h00 Viabilité d'une union monétaire : le cas de l'UEMOA (à destination du Master MBFA : Béringer Gloglo, Pablo Andres Domenech, Samuel Bates)

JEUDI 30 AVRIL



 

SESSION 4 : MODELISATION EN VIABILITE

8h00-9h00

Brainstroming autour d’un 1er sujet de modélisation (collectif)

9h00-10h00  Brainstroming autour d’un 2e sujet de modélisation (collectif)

 Pause & discussion

10h15-11h15 Brainstroming autour d’un 3e sujet de modélisation (collectif)
11h15-12h00 Brainstroming autour d’un 4e sujet de modélisation (collectif)

 13h30           Déjeuner & clôture hors les murs sur inscription (Saint-Pierre)

Description localisation

L'atelier aura lieu à l'Université des Antilles, Pôle Martinique

14.620041056675, -61.0940054

Intervenant(s)
M. Samuel Bates, Contenu à venir !
De Lapparent Alice
François Lavallée
Anya Désilles
Béringer Gloglo
Liste des participants
Science économique

- Pablo Andres-Domenech
- Valérie Angeon
- Samuel Bates
- Abdoul Cisse
- Issaka Dialga
- Beringer Gloglo
- Thaly Janloup
- Eric Kamwa
- Kevin Spinassou

Mathématique

- Severine Andouze/Bernard
- James Larrouy
- François Lavallée
- Loïc Louison
- Paul Silvere Nuiro

Géographie

- Etienne Delay
- Pastel Audrey

Agronomie

- Alice De-Lapparent

Informatique

- Anya Désilles

Modélisation des capacités des agrosystèmes diversifiés à faire face à l’incertitude

Type de document
Lieu
Avignon
Année de publication
2025
Sous titre
Dossier de candidature à l’Habilitation à Diriger des recherches
Auteur(s)
Rodolphe Sabatier
Niveau de difficulté
schéma

En remettant les processus écologiques au cœur des dynamiques de production, les systèmes agricoles écologisés doivent composer avec de nombreuses incertitudes. La résilience, l’adaptabilité et la flexibilité deviennent alors des propriétés clefs de ces systèmes. En m’appuyant sur les développements récents du cadre mathématique de la Théorie de la viabilité que j’applique à neuf cas d’étude en productions végétales et animales, je propose ici un cadre formel pour l’évaluation de ces propriétés via des méthodes numériques. Ces travaux montrent en quoi se détacher d’une logique d’optimisation monocritère est d’autant plus pertinent que l’on s’intéresse à des systèmes écologisés, c’est-à-dire complexes, évolutifs et aux dynamiques incertaines par nature. Appréhender la viabilité de ces systèmes, demande alors non seulement de considérer leur structure (les états) mais aussi la gamme d’options de pilotage disponibles (les contrôles) permettant de se maintenir dans une gamme de situations jugées acceptables (viables) par l’agriculteur. 

Cela peut impliquer d’élargir le regard porté sur le système étudié en prenant en compte l’ensemble des composantes embarquées par les objectifs de l’agriculteur, quitte à dépasser le cadre agricole strict. De la même manière cet élargissement de point de vue amène à considérer le système agricole dans son environnement en intégrant les interactions avec les autres acteurs du territoire. Ces changements d’échelle que j’envisagerai dans la suite de mes recherches engagent des questions méthodologiques pour continuer à appliquer le cadre de la viabilité à des systèmes plus vastes (de plus grandes dimensions), mais aussi pour en transposer les concepts principaux à des approches plus qualitatives.