Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Convex Optimization-based Static Analysis for Control Systems

Résumé : Les travaux présentés portent, d’une façon générale, sur la preuve automatique de propriétés de systèmes de contrôle-commande à l’aide d’optimisation convexe. Par exemple, pour montrer qu’un système ne va jamais se mettre dans un état indésirable, on va démontrer qu’une certaine propriété, dite invariant inductif, excluant les états indésirables, est vraie à toute étape de calcul par récurrence sur le nombre d’étapes. Ce sont des paramètres numériques de cette propriété qui sont obtenus par optimisation convexe. Les systèmes étudiés peuvent être présentés soit comme des modèles de haut niveau, soit comme des logiciels ; dans ce dernier cas, leur utilisation de nombres en virgule flottante, par opposition à des réels, est prise en compte. Parmi les systèmes de contrôle-commande susceptibles d’être étudiés à l’aide des approches présentées dans le mémoire on trouve notamment ceux de l’avionique, où l’on exige non seulement un haut niveau de sûreté, mais aussi des arguments forts démontrant le bon fonctionnement du système.
Complete list of metadatas

Cited literature [181 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01371978
Contributor : Pierre-Loïc Garoche <>
Submitted on : Monday, September 26, 2016 - 4:40:03 PM
Last modification on : Wednesday, May 20, 2020 - 9:56:10 AM

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : tel-01371978, version 1

Collections

Citation

Pierre-Loïc Garoche. Convex Optimization-based Static Analysis for Control Systems. Computation and Language [cs.CL]. INPT; Université de toulouse, 2016. ⟨tel-01371978⟩

Share

Metrics

Record views

328

Files downloads

813