Lecteur vidéo en cours de chargement.
Temps actuel 0:00
Durée 0:00
Chargé: 0%
Type de flux EN DIRECT
Temps restant 0:00
 
1x
  • Chapitres
  • descriptions désactivées, sélectionné
  • Sous-titres désactivés, sélectionné
    • Quality

    Licence Creative Commons Approches computationnelles pour l'analyse et le contrôle des systèmes hybrides

    19 novembre 2013
    Durée : 00:51:51
    Nombre de vues 17
    Nombre d’ajouts dans une liste de lecture 0
    Nombre de favoris 0
    Antoine Girard / LJK

    Un système hybride est un système dynamique exhibant à la fois des comportements de nature discrète et continue. Motivée par la multiplication de composants informatiques embarqués ``discrets'' interagissant avec le monde physique ``continu'', la recherche sur les systèmes hybrides s'est développée rapidement depuis les années 90 à l'intersection de l'informatique, de l'automatique et des mathématiques appliquées. Cet exposé présentera nos contributions, théoriques ou méthodologiques, à ce domaine. Dans une première partie, nous introduisons un cadre d'approximation qui s'applique aux systèmes dynamiques continus, discrets et hybrides; des applications dans le domaine du contrôle symbolique sont présentées. La deuxième partie est consacrée à l'analyse d'atteignabilité, une technique computationnelle très utile pour l'analyse des systèmes hybrides. Enfin, la troisième partie porte sur les systèmes dynamiques multi-agents.

    Mots clés : hdr soutenance

     Informations

    • Ajouté par : Gricad Vidéos
    • Mis à jour le : 1 janvier 2021 00:00
    • Chaîne :
    • Type : Autres
    • Langue principale : Français
    Les commentaires ont été désactivés pour cette vidéo.