L'actualité partagée

Recherche

13/02/2015

Analyse statique de systèmes de contrôle-commande

Étude des invariants en nombres entiers et flottants

Analyse statique de systèmes de contrôle-commande Vivien Maisonneuve

Vivien Maisonneuve a soutenu sa thèse intitulée "Analyse statique des systèmes de contrôle-commande : invariants entiers et flottants" le 6 février 2015 à MINES ParisTech. Encadré par François Irigoin et Olivier Hermant du Centre de recherche en informatique (CRI) de MINES ParisTech, ce travail de recherche propose une approche innovante pour l'analyse statique des systèmes de contrôle-commande, et en particulier sur la découverte et la preuve d'invariants liés aux nombres entiers et flottants. Une comparaison détaillée avec les systèmes automatiques de détection d'invariants entiers est proposée, ainsi que de nombreuses techniques permettant d'améliorer la performance de l'outil de compilation et d'analyse PIPS. Une étude fouillée de l'analyse d'invariants en nombres flottants, en particulier pour des systèmes prouvés à l'aide d'invariants de type Lyapunov, a également été réalisée.

Static analysis of control-command systems - MINES ParisTech

L'actualité partagée - MINES ParisTech
Partager

contactez-nous

Des questions sur le musée ou la collection ? Contactez-nous

venir au musée

Retrouvez toutes les informations pour vous rendre au Musée de Minéralogie

Musée de Minéralogie

60 boulevard Saint Michel

75006 Paris

Ouvert :

Mardi - vendredi : 13h30 - 18h

Samedi : 10h - 12h30 et 14h - 17h

 

ATTENTION : FERMETURE EXCEPTIONNELLE LE SAMEDI 8 DECEMBRE 2018

 

Fermé les dimanches, lundis et jours fériés.

Prochaine fermeture :

du 23 décembre 2018 au 1er janvier 2019

 

 

Contact Mentions légales efil.fr © 2014 MINES ParisTech