Formal Verification and Validation of Convex Optimization Algorithms For model Predictive Control

L’efficacité des méthodes d’optimisation modernes, associée à l’augmentation des ressources informatiques, a conduit à la possibilité d’utiliser ces algorithmes d’optimisation en temps réel agissant dans des rôles critiques. Cependant, cela ne peut se produire sans porter une certaine attention à la...

Full description

Bibliographic Details
Main Author: Cohen, Raphaël P.
Other Authors: Toulouse, ISAE
Language:en
Published: 2018
Subjects:
Online Access:http://www.theses.fr/2018ESAE0030/document