Accueil

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

contact

Retrouvez nos coordonnées
sur la page
Informations pratiques

Actualité de la délégation de Fontainebleau

Retrouvez toutes les actualités et faits marquants ...

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

Actualité de la délégation de Fontainebleau - MINES ParisTech
Partager

actualité

Le Rapport d'activité 2020 est en ligne

Formation Le Rapport d'activité 2020 est en ligne MINES ParisTech, établissement-composante…
> En savoir +

Une santé de fer !<br>
Minéraux et santé, de l'Antiquité à nos jours

Formation Une santé de fer ! Minéraux et santé, de l'Antiquité à… Sous la plume de Quentin Bollaert, Alexandre Couturier,…
> En savoir +

Pourquoi éclipser le solaire ?

Formation Pourquoi éclipser le solaire ? Le rapport « Electricité : le devoir…
> En savoir +

DigiTraining lance un appel aux musées européens

International DigiTraining lance un appel aux musées européens Innover grâce aux nouvelles technologies Le…
> En savoir +

EcorcAir et les platanes du Quartier latin

Formation EcorcAir et les platanes du Quartier latin Vendredi 2 avril 2021, dernier jour de cours, en…
> En savoir +

Rentrée 2021 du MS MSIT (Mines - Dauphine)

Formation Rentrée 2021 du MS MSIT (Mines - Dauphine) La nouvelle promotion MS MSIT aura sa rentrée…
> En savoir +

+ Toutes les actualités

agenda

Du 20 juillet 2021 au 3 janvier 2022 Rentrée 2021 - 2022

Du 20 juillet 2021 au 3 janvier 2022 Rentrée 2021 - 2022

+ Tous les événements

Plan du site
Contacts Mentions légales efil.fr © 2014 MINES ParisTech