Section outline

    • Ce chapitre 17 présente plusieurs applications des modèles temporisés ou temporel dans les domaines de l'économie circulaire, de transport via des métro, de jumeaux numériques, et de liv-coding - Aide à la décision pour la régénération d'un produit en fonction du contexte et de son état de santé - utilisation des RDP colorés stochastiques

    • Équipe pédagogique

      Contributeurs : Gautier Vanson, Pascale Marangé et Éric Levrat
      Intervenant :  Pascale Marangé

    • Contribution à l'économie circulaire : aide à la décision pour la régénération d'un produit en fonction du contexte et de son état de santé - Utilisation des RdP colorés stochastiques


    • Équipe pédagogique

      Contributeur : Loic Hélouet
      Intervenant :  Loic Hélouet

    • Application des réseaux de Petri pour le contrôle des métros


    • Équipe pédagogique

      Contributeur : Alexandre Philippot
      Intervenant :  Alexandre Philippot

    • Application des SED aux Jumeaux Numériques


    • Équipe pédagogique

      Contributeur : Bérangère Daviaud, Sébastien Lahaye et Mehdi Lhommeau
      Intervenant :  Mehdi Lhommeau

    • Les automates (max,+) - Application au Live Coding


    • Sécurité collaborative intégrée dans le cadre de la norme d'automatisation CEI 61499


    • Vérification formelle des programmes PLC


    • Time Petri Nets


    • Petri Net Formalisms for Attacks Detection in Networked Control Systems


    • Sécurité dans les automates temporisés


    • Méthodes et outils pour le contrôle et la reconfiguration de Systèmes Cyber-Physique de Production


    • Méthodes et outils de maîtrise des risques biologiques des navires militaires


    • Transformation & Simulation of Architecture Models for Dependability Analyses of Complex Systems


    • Projet ANR HeRITAGES - Allocation de tâches et analyse d'ordonnançabilité d'inférences IA sur des plateformes embarquées hautes-performance complexes et hétèrogènes