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  

jeudi 23 novembre 2023

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 ##