Aller au contenuAller au menuAller à la rechercheAller à la page d'actualités

Laboratoire Angevin de Recherche en Ingénierie des Systèmes


Navigation principale

    Recherche

    Fil d'ariane

    Soutenance de thèse de Monsieur Aiwen LAI

    Soutenance de thèse de Monsieur Aiwen LAI

    • Partager la page sur les réseaux sociaux
    • Envoyer cette page par mail

      Envoyer par mail


      Séparés par des virgules
    • Imprimer cette page

    Soutenance de thèse de Monsieur Aiwen LAI

    10h00 | Amphi E | Polytech Angers | 62, avenue Notre-Dame du Lac 49000 ANGERS

    Le 30 septembre 2019

    Sujet : State estimation, verification of detectability and opacity in weighted automata

    Directeur de thèse : Monsieur Sébastien LAHAYE

    Résumé

    Cette thèse porte sur l’estimation d’état, le diagnostic d’erreur et la vérification de la détectabilité de l’état actuel, de la détectabilité de l’état initial et de l’opacité de l’état initial dans le cadre des automates pondérés.