Journée "calcul ensembliste "

Formation IBEX 2.0

Groupe de travail MEA (méthodes ensemblistes pour l’automatique), GDR MACS.

 

ENSTA-Bretagne,  OSM,  Lab-STICC,  IHSEV.

 

 

Contexte. Dans le cadre des journées du groupe de travail MEA (méthodes  ensembliste pour l'automatique) du GDR MACS.

Nous organisons avec Gilles Chabert une formation IBEX 2.0 (qui vient juste de sortir). En bref, IBEX 2.0 une bibliothèque C++ qui permet la création et la manipulation de contracteurs.  Ces contracteurs utilisent  essentiellement l'arithmétique des intervalles et permettent la résolution efficace et garantie de problèmes non-linéaires comme ceux rencontrés en automatique et en robotique. Cette formation est programmée le mardi 18 décembre 2012 à  l'ENSTA-Bretagne, 2, rue François Verny, 29200, Brest. Elle est gratuite ; Il est préférable d’amener votre PC mais des ordinateurs seront mis à votre disposition.

Vous pouvez amener vos ordinateurs portables. Le cours/TD/TP commencent à 9h et terminent à 17h.

Pour ceux qui n’ont pas de portables, ça n’est pas grave : cela se passera en salle info et on des PC pour vous. La salle est la E202.

Les connections internet sont réservées.

 

Le lundi 17 décembre après midi, il y a aussi une journée de rappel sur les contracteurs de 15h à 17h (voir ci-dessous) en salle F206.

 

 

 

 

Comment venir à l’ENSTA : http://www.ensta-bretagne.fr/index.php/plan-d-acces/

       Vous demandez au gardien la salle E202. N’oubliez pas votre pièce d’identité.

 

Plus d’infos sur Ibex :  http://www.emn.fr/z-info/ibex/

     Quelques slides sur la théorie des intervalles.

 

Repas, café

Le repas du midi est offert. Il faudra juste que je pense à prendre au bureau de Martine INIZAN.
Nous avons prévu des pauses café du mardi 18/12. Un percolateur a été réservé. Il faudra aller chercher tout ça  lundi dans la journée ou mardi matin.

 

Inscrits

Aubry Clément, Nat. Francaise, IRENav

Bethencourt Aymeric - Nationalité Française  - ENSTA-Bretagne/OSM/LAB-STICC

Le Bars Fabrice - Nationalité Française - ENSTA-Bretagne/OSM/LAB-STICC

Ninin Jordan - Nationalité Française –ENSTA-Bretagne/OSM/LAB-STICC

Vincent Drevelle- Nationalité Française - ENSTA-Bretagne/OSM/LAB-STICC

Reynet Olivier, Nat Française, ENSTA-Bretagne/OSM/LAB-STICC.

Rui Yang, Nationalité Chinoise, ENSTA-Bretagne/OSM/LAB-STICC, formation du lundi aussi

Alan Picard - Nationalité Française – ENSTA-Bretagne/OSM/LAB-STICC, formation du lundi aussi

Luc Jaulin, Nationalité Française, ENSTA-Bretagne/OSM/LAB-STICC, formation du lundi aussi

Saifallah Ben Saad, Nationalité Algérienne, ENSTA-Bretagne/OSM/LAB-STICC, formation du lundi aussi

Guillaume Jubelin - Nationalité Française - ENSTA-Bretagne/OSM/LAB-STICC, formation du lundi aussi

Gilles Chabert, Nationalité Française,

Tao  Zui, Nationalité: Chinoise,  Laboratoire: HEUDIASYC UMR CNRS 7253

LI Qiaochu, nationalité : Chinoise, email : laboratoire aux adresses : LMAC, Laboratoire de Mathématiques Appliquées de Compiègne.

MAIGA  Moussa, Nationalité : Burkianbé, Laboratoire : Prisme & Laas. Chambre à l’ENSTA, lundi et mardi soir, formation du lundi aussi.

TOUHAMI Ahmed, Nationalité : Marocaine, CIRIMAT et LAAS, Toulouse, formation du lundi aussi.

AUFRAY Maëlenn, nationalité Française, Laboratoire CIRIMAT, Toulouse. Chambre à l’ENSTA, lundi soir.

POMES Mickaël, nationalité Française, Laboratoire CIRIMAT, Toulouse. Chambre à l’ENSTA, lundi soir.

Travé-Massuyès Louise, Nationalité : Française, LAAS-CNRS, Toulouse Chambre à l’ENSTA, lundi soir.

JAUBERTHIE, Carine, française, LAAS-CNRS, Toulouse.

BORSALI, Salima, Nationalité : Algérienne, Université Abou Bekr Belkaid, Tlemcen Algérie. Chambre à l’ENSTA, lundi et mardi soir. formation du lundi aussi.

DANDACH Hoda, Libanaise, Heudiasyc UMR CNRS 7253 Université de Technologie de Compiègne.

OUAFAE Bennis. Nationalité : Française. Laboratoire : Prisme. Chambre à l’ENSTA, lundi et mardi soir. formation du lundi aussi.

LE MENEC Stéphane. Nationalité : Française.  MBDA.

Marhic Bruno, Nat Française, Laboratoire LTI, EA3899, Univ Picardie Jules Verne. Chambre à l’ENSTA, lundi et mardi soir.

Alexandra Fronville. Nationalité : Française. Université de Bretagne Occidentale, Lab-Sticc.

Abdoulaye Sarr, Nationalité sénégalaise, Université de Bretagne Occidentale, Lab-Sticc, formation du lundi aussi.

Zoe Drey –formation du lundi uniquement

Jean-Christophe Le Lann –formation du lundi uniquement

 

 

 

 

Résidence

Il y a possibilité de dormir à la résidence des élèves pour moins de 12 euros le lundi 17 et/ou le mardi 18 au soir.

Pour cela, il faudra juste m'envoyer un mail de réservation avant le 10 décembre.

Les chambres sont retenues, les factures sont à régler auprès d'Hélène Kerjean, à l'agence comptable.

Yvan a déposé les clés au poste de garde et les 7 chambres seront prêtes lundi en fin de matinée.

 

Petite formation du lundi

Je propose le lundi 17, entre 15h et 17h en salle F206, un petit rappel théorique sur les contracteurs qui vous permettra

de plus facilement appréhender IBEX.

Je propose aussi entre 17h et 18h, une visite du labo de robotique.

 

 

 

Inscription. Pour l'inscription, il faudrait nous envoyer les informations suivantes :  Nom, prénom, nationalité, email, laboratoire aux adresses
luc.jaulin@ensta-bretagne.fr,
nacim.ramdani@univ-orleans.fr, 
gilles.chabert@mines-nantes.fr

La formation est gratuite mais il vous faudra payer vos transports, hôtel, repas.

 

 

Technique

1) Pour ceux qui veulent prendre un peu d’avance (et qui sont sous windows), installer QT-creator (C++)  http://www.ensta-bretagne.fr/jaulin/qt.html

Et lancer le programme mer_sivia_simple.zip  (sans IBEX, mais avec une petite bibliothèque intervalle simple).

2) SIVIA with IBEX 2.0 (qui tourne avec QT creator) sous Windows et sous Linux.

3) Slides et énoncés TP.

4) IBEX_PACK_LINUX64.tar.gz

5) Un projet QT (projet.pro) type :

QT       += core
QT       -= gui
TARGET = ex1
CONFIG   += console
CONFIG   -= app_bundle
TEMPLATE = app
SOURCES += main.cpp
win32 {
 INCLUDEPATH += C:/jaulin/QT/ibex-2.0/include/ibex C:/jaulin/QT/soplex-1.7.0/src
 LIBS += -Lc:/jaulin/QT/ibex-2.0/bin -Lc:/jaulin/QT/soplex-1.7.0/lib -libex_mingw_x86 -lsoplex_mingw_x86 -lz
}
else {
 INCLUDEPATH += C:/jaulin/QT/ibex-2.0/include/ibex C:/jaulin/QT/soplex-1.7.0/src
 LIBS += -Lc:/jaulin/QT/ibex-2.0/bin  -Lc:/jaulin/QT/soplex-1.7.0/lib -libex_linux_x86 -lsoplex_linux_x86 -lz

}

 

 



Organisateurs : Gilles Chabert, Nacim Ramdani et Luc Jaulin.