Accès direct au contenu

Lurpa

Version anglaise

aide

LURPA > Historique > Équipe ISA

Équipe "Ingénierie des Systèmes Automatisés"

Thème de Recherche


Le thème général des recherches de l'Équipe ISA est la commande sûre des Systèmes à Événements Discrets (SED) ou Dependable Control of Discrete event Systems.

Nos recherches visent à développer des méthodes, techniques et outils permettant d'améliorer la conception, l'implantation et l'exploitation des systèmes de commande majoritairement discrets, afin d'en accroître la sûreté de fonctionnement. Elles sont structurées selon quatre thématiques :
  • Test et vérification formelle des contrôleurs logiques
    • Test de conformité des contrôleurs logiques
    • Vérification des systèmes temporisés et/ou multi-échelles

  • Approches algébriques pour la synthèse et l'analyse formelles
    • Approches algébriques pour la synthèse formelle des contrôleurs logiques
    • Evaluation de performance par algèbre (Max,+)

  • Identification des SED
    • Identification des SED par Automates finis
    • Identification des SED par Réseaux de Petri

  • Approches SED pour l'analyse de sûreté
    • Formalisation des outils pour l'analyse de sûreté
    • Analyse de sûreté des architectures de contrôle/commande



Actualités

Responsable

  • Jean-Marc FAURE

Rapport d'activité de l'Équipe

Principaux projets

Master Recherche associé

Publications de l'équipe ISA