Bienvenue aux Mines Paristech
Bienvenue à MINES ParisTech
Newsletter International
Website
Théorie & Pratique
Vous êtes

rechercher
une actualité

Ecole
Entreprise
Formation
International
Recherche
Sciences de la terre et
de l'environnement
Energétique et procédés
Mécanique et matériaux
Mathématiques et systèmes
Economie, management
et société
Partager

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-commandeVivien 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

webTV

Lecture

Conférence éthique et intelligence artificielle : Elise Berlinski

Lecture

Certificat exécutif : digital native, 3 questions à...

Lecture

Carlos Adrian Correa Florez, MINES ParisTech PhD, PERSEE center

Lecture

Certificat exécutif : digital native, 3 questions à...

Lecture

Lancement de la Chaire industrielle ANR TOPAZE

+ TOUS

actus / Sciences de la terre et l'environnement

Consulter les actus de cette thématique

actus / Énergétique et procédés

Consulter les actus de cette thématique

actus / Mécanique et matériaux

Consulter les actus de cette thématique

actus / Mathématique et systèmes

Consulter les actus de cette thématique

actus / Économie, management et société

Consulter les actus de cette thématique
Plan du site
MINES
ParisTech

60, Boulevard Saint-Michel
75272 PARIS Cedex 06
Tél. : +33 1 40 51 90 00

Implantations
Mentions légales | efil.fr | ©2012 MINES ParisTech | +33 1 40 51 90 00 |