Accès direct au contenu

Lurpa

Version anglaise

aide

LURPA > Recherche > Équipe ISA

Recherche - Valorisation

Rapport d'activité de l'Equipe ISA (01/2008 - 06/2013)

Documents à télécharger :

Ce document correspond au rapport scientifique de l'Equipe ISA du LURPA pour la période Janvier 2008 à Juin 2013.

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. Dans ce rapport, les résultats de ces recherches pour la période janvier 2008 / juin 2013 sont présentés selon quatre thématiques :
  • Test et vérification formelle des contrôleurs logiques,
  • Approches algébriques pour la synthèse et l'analyse formelles,
  • Identification des SED,
  • Approches SED pour l'analyse de sûreté.
Les trois premières thématiques regroupent des travaux relevant des problématiques classiques de l'Automatique des SED : Analyse, Synthèse et Identification. Dans la quatrième thématique, il s'agit plutôt d'étudier dans quelle mesure l'utilisation des paradigmes, modèles et méthodes des SED permet de formaliser les modèles utilisés en sûreté de fonctionnement et d'en rigoriser la construction et l'analyse.

Ce document a été rédigé en considérant qu'il sera principalement exploité de manière électronique. Différents renvois ont donc été insérés pour permettre d'en prolonger la lecture en offrant la possibilité d'aller plus loin via notre nouveau site WWW. Cela est particulièrement le cas pour les publications dont des liens hypertextes permet d'accéder directement au contenu diffusé sur HAL :


Laboratoires d'accueil

Recherche d'un document

Recherche d'un document