Symbolic Control of Nonlinear Systems: Safety, Optimization and Learning - Archive ouverte HAL Accéder directement au contenu
Cours Année : 2023

Symbolic Control of Nonlinear Systems: Safety, Optimization and Learning

Antoine Girard

Résumé

Symbolic control is a computational approach to control nonlinear systems subject to state and input constraints. It is based on the use of symbolic models that are sound discrete-state approximations of the original dynamics. Symbolic models can be used to synthesize automatically controllers for the original system while providing safety guarantees. In the first part of the talk, I will give a short introduction to the field of symbolic control. The second part of the talk will be devoted to recent developments. I will show how symbolic control and model predictive control can be combined to design controllers with safety guarantees and optimized performance. I will also present recent approaches to compute symbolic models directly from data, paving the way to the development of safe learning approaches for nonlinear systems.
Grenoble-Girard.pdf (3.97 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04410084 , version 1 (22-01-2024)

Identifiants

  • HAL Id : hal-04410084 , version 1

Citer

Antoine Girard. Symbolic Control of Nonlinear Systems: Safety, Optimization and Learning. Doctoral. 44th International Summer School of Automatic Control, Grenoble, France. 2023. ⟨hal-04410084⟩
13 Consultations
3 Téléchargements

Partager

Gmail Facebook X LinkedIn More