Programme
mercredi 22 novembre 2023
| Heures |
événement |
(+)
|
|
09:00 - 09:30
|
## Accueil (café, viennoiseries) ## |
|
|
09:30 - 10:00
|
Session d'ouverture |
(+)
|
|
09:30 - 10:00 |
› Session d'ouverture - Euriell Le Corronc, LAAS-CNRS |
|
|
10:00 - 11:30
|
Session régulière 1 |
(+)
|
|
10:00 - 10:30 |
› Identification de système à un automate hybride - revue des travaux récents - Yan Monier, Gregory Faraut, Bruno Denis, Nabil Anwer |
|
|
10:30 - 11:00 |
› Benchmarking formalisms for dynamic structure system Modeling and Simulation - Aya Attia, Clément Foucher, Luiz Fernando Lavado Villa |
|
|
11:00 - 11:30 |
› Abstraction qualitative pour l'optimisation de la surveillance des systèmes cyber-physiques. - Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger |
|
|
11:45 - 13:45
|
## Déjeuner ## |
|
|
14:00 - 15:00
|
Exposé invité - Claire Pagetti (Directeur de recherche ONERA Toulouse) Implantation d'algorithmes d'apprentissage automatique dans des systèmes critiques. Où en est-on ? |
|
|
15:00 - 16:30
|
Session régulière 2 |
(+)
|
|
15:00 - 15:30 |
› SAM : un outil de vérification de propriétés d'atteignabilité sur des classificateurs neuronaux - Arthur Clavière, Eric Asselin, Christophe Garion, Claire Pagetti |
|
|
15:30 - 16:00 |
› Synthèse de contrôleur pour les réseaux de Petri temporels basée sur les classes d'états - Loriane Leclercq, Didier Lime, Olivier H. Roux |
|
|
16:00 - 16:30 |
› Non-interference temporisée avec observation partielle et mémoire bornée - Anthony Spriet, Didier Lime, Olivier H. Roux |
|
|
16:30 - 17:00
|
## Pause ## |
|
|
17:00 - 18:00
|
Exposé invité - Florence Sèdes (Professeure des Universités, Chercheuse IRIT, Université Toulouse 3) Association Femmes & Sciences - femmesetsciences.fr |
|
| Heures |
événement |
(+)
|
|
09:30 - 10:00
|
## Accueil (café, viennoiseries) ## |
|
|
10:00 - 11:30
|
Session régulière 3 |
(+)
|
|
10:00 - 10:30 |
› Invariance causale contrôlée pour les systèmes max-plus linéaires - Veronica Bartolucci, Jean-Jacques Loiseau, Claude Martinez, David Scaradozzi |
|
|
10:30 - 11:00 |
› Description et Analyse de Performances des Réseaux de Petri Colorés Temporisés à l'aide du Dioïde des Séries Formelles Colorées. - Louis Bal dit Sollier, Alain Ourghanlian, Saïd Amari |
|
|
11:00 - 11:30 |
› Le contrôle supervisé des automates d'intervalles - Jan Komenda, Sébastien Lahaye |
|
|
11:45 - 13:45
|
## Déjeuner ## |
|
|
14:00 - 15:00
|
Exposé invité - Jan Komenda (Chercheur à l'Institut des Mathématiques, Académie Tchèque des Sciences, Prague) Théorie et applications du contrôle supervisé modulaire des systèmes à événements discrets sous observations partielles. |
|
|
15:00 - 16:00
|
Session "poster/démonstration" - Aperçu des travaux (courtes présentations) |
(+)
|
|
15:00 - 16:00 |
› Session poster/démonstration - Liste des participants à la session : titre des travaux, noms des auteurs, affiliations |
|
|
16:00 - 16:30
|
## Pause ## |
|
|
16:30 - 18:30
|
Session "poster/démonstration" - Déambulation parmi les stands |
(+)
|
|
16:30 - 18:30 |
› Session poster/démonstration - Liste des participants à la session : titre des travaux, noms des auteurs, affiliations |
|
|
19:45 - 23:00
|
## Dîner de gala ## |
|
vendredi 24 novembre 2023
| Heures |
événement |
(+)
|
|
09:30 - 10:00
|
## Accueil (café, viennoiseries) ## |
|
|
10:00 - 11:30
|
Session régulière 4 |
(+)
|
|
10:00 - 10:30 |
› Cybersécurité des Systèmes de Surveillance des Appareils de Voie Ferroviaires - Sara Abdellaoui, Dinh Duy Kha Nguyen, Emil Dumitrescu, Cedric Escudero, Eric Zamai |
|
|
10:30 - 11:00 |
› Data-driven MPC applied to non-linear systems for real-time applications - Daniel Martin Xavier, Ludovic Chamoin, Laurent Fribourg |
|
|
11:00 - 11:30 |
› Convergence and robustness of the Hopf oscillator applied to an ABLE exoskeleton: reachability analysis and experimentation - Abdelwaheb Hafs, Dorian Verdel, Jawher Jerray, Olivier Bruneau, Nicolas Vignais, Bastien Berret, Laurent Fribourg |
|
|
11:30 - 12:00
|
Session de clôture |
(+)
|
|
11:30 - 12:00 |
› Session de clôture - Euriell Le Corronc, LAAS-CNRS |
|
|
12:00 - 14:00
|
## Déjeuner ## |
|
|
