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.
5) Uy;mso-layout-grid-align: none;text-autospace:none'>4) IBEX_PACK_LINUX64.tar.gz
5) U