› Comment choisir son outil d'analyse de systèmes à événements discrets ? - Pascal Andre, Aurélien Pageot, Orlann Cailleau, Charbel Bedran
10:00-10:30 (30min)
› De la modélisation par intension du problème de commande logique à la génération de code ST (IEC 61131-3) - Mathieu Roisin, Dimitri Renard, David Annebicque, Pierre-Alain Yvars, Bernard Riera
10:30-11:00 (30min)
› Spécification de la synchronisation des jumeaux numériques à l'aide d'automates temporisés et stochastiques - Pascale Marange, William Derigent
11:00-11:30 (30min)
› Filtre logique et Théorie du Contrôle Supervisé - Dimitri Renard, David Annebicque, Ramla Saddem, Bernard Riera
11:30-12:00 (30min)
› Estimation d'état pour les réseaux de Petri synchronisés temporisés labellisés - Mouna Gaouar, Rabah Ammour, Isabel Demongodin, Dimitri LEFEBVRE
14:30-15:00 (30min)
› Méthode active pour l'identification de réseaux de Petri saufs - Manon Le Moigne, Rémi Parrot, Olivier Roux
15:00-15:30 (30min)
› Pronostic en ligne des fautes des Systèmes Industriels modélisés par Réseaux de Petri Etiquetés - Armand Toguyeni, Braian Igreja de Freitas, João Carlos Dos Santos Basílio
15:30-16:00 (30min)