Welcome to IAMACS
IAMACS (Interval Analysis: Methods, Applications, Contractors and Sets) is a
two-days summer school
that will take place July 8-9 during the
IFAC Congres in Toulouse
All courses and conversations will be in English.
During this school, you will have several speakers and some practices. This page is mainly related to the practice.
We believe that it is better if you arrive with your own computer. If you cannot, please, let us know and we will find a solution.
Before arriving to the school, please, install Python, PyIbex, Vibes.
The procedure is described in Exercise 0. The install should be easy but in case of problems, we will be here to help you,
now (lucjaulin@gmail.com) or later in Toulouse.
In this school, you will also have some exercises to do. They will be taken from Exercises 8,9,10,11 in this pdf file.
More details can be found on the website of Nacim Ramdani at this link
this link.
Venue : Toulouse, Pierre Baudis Congress center, Room : Ariane 2.
Day 1. Saturday 8 July 2017, 9h-17h30
9h-10h30, 11h-12h30. Luc Jaulin (Lab-STICC, France): Interval methods.
14h-15h30. Nacim Ramdani (Université d'Orléans, France) Reachability computation with hybrid dynamical systems. Application to state estimation.
16h-17h30. Nacim Meslem (Grenoble-INP, France) and Nacim Ramdani (Université d'Orléans, France): Reachability for control synthesis and validation.
Day 2. Sunday 9 July 2017, 9h-17h30
9h-10h30. Michel Kieffer (Université Paris-Sud, IUF, France) : Guaranteed characterization of confidence sets: Application to distributed localisation.
11h-12h30. Tarek Raïssi (CNAM, Paris, France) Interval observers and fault tolerant control.
14h-15h30, 16h-17h30. Luc Jaulin (ENSTA Bretagne, France) and Benoît Desrochers (DGA-TN)
Slides
Luc Jaulin
Chapter 1: Intervals
Chapter 2: Subpavings
Chapter 3: Contractors
Chapter 4: Separators
Chapter 5: Robust estimation
Michel Kieffer
Slides Part 1
Slides Part 2
Nacim Meslem
Slides
Nacim Ramdani
Slides
Tarek Raissi
Slides
People
| Name |
Town |
Country |
| BALUGANI Elia | Modena | Italy |
| FERGANI SOHEIB Fergani | Toulouse | France |
| HAMMOUCHE Mounir | Besancon | France |
| LICHTENBERG Gerwald | Hamburg | Germany |
| MAHATO Nisha Rani | Rourkela | India |
| REITERER Florian Linz | Linz | Austria |
| Vencatasamy Khadimoullah | Paris/Brest | France |
| VERDIER Cees Ferdinand | Delft | Netherland |
| BHIRI Bassem | Longwy | France |
| BOUKAL Yassine | Longwy | France |
| CUNIS Torbjørn | Toulouse | France |
| DALMAS Violaine | Grenoble | France |
| GASMI Noussaiba | LONGWY | France |
| BORSALI Salima | Tlemcen | Algeria |
| TRAN Tuan Anh | Toulouse | France |
| HADJ HENNI Abderraouf | Bourges | France |
| ARKHIPOV Dmitry | Toulouse | France |
| MEYER Luc | Evry | France |
Exercise 0. Install all you need
Errata
In the last version of PyIbex (2017), few things have changed in the Python
code and the code written in the videos is not always exactly consistent with the latest version of
PyIbex. Below are listed the changes.
from pyIbex import * should be replaced by from pyibex import *
SepQInterProjF should be replaced by SepQInter
Moreover, to start Vibes from your terminal, write
Vibes-viewer instead of vibes.
Some other modifications are described in the PyIbex documentation. (in magenta)
Install
The goal of Exercise 0 is to help you to install all what you need to follow IAMACS.
You need Vibes for graphics.
Method
If you already use Python and you feel confortable with the installation, you probably do not need to install all tools.
It suffices to go to the PyIbex site.
If Python is not installed in your computer, the best is to follow the following procedure:
1) Install Conda as described at http://conda.pydata.org/docs/install/.
2) Install pyibex
conda install -c benensta pyibex
3) Install Vibes
conda install -c benensta vibes vibes-bin
4) Install Spyder
conda install spyder
A video to help you for the install is available for Windows and also
for Linux (Ubuntu).
Proxy problems. In your institute, you may have a proxy which blocks some access to
conda packages. In this case, the install can be done from your home, or from any internet environment
without any proxy.
Exercise 1. Contractors and separators
This corresponds to Exercice 8 found in this this pdf file.
A separator is a pair of two contractors: an inner contractor and an outer contractor.
This exercise illustrates how Pybex (which is a Python extension of Ibex) can be used to
build easily separators for sets defined as union, intersection and complements of primitive sets.
You can use the second part of the following video in case of problems.
