Control of nonlinear switched systems based on validated simulation - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2017

Control of nonlinear switched systems based on validated simulation

Résumé

We present an algorithm of control synthesis for nonlinear switched systems, based on an existing procedure of state-space bisection and made available for nonlinear systems with the help of validated simulation. The use of validated simulation also permits to take bounded perturbations and varying parameters into account. It is particularly interesting for safety critical applications, such as in aeronautical, military or medical fields. The whole approach is entirely guaranteed and the induced controllers are correct-by-design.
Fichier principal
Vignette du fichier
minimator_nl2.pdf (638.75 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01399337 , version 1 (18-11-2016)
hal-01399337 , version 2 (09-11-2017)

Licence

Domaine public

Identifiants

  • HAL Id : hal-01399337 , version 1

Citer

Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg. Control of nonlinear switched systems based on validated simulation. 2017. ⟨hal-01399337v1⟩
318 Consultations
441 Téléchargements

Partager

Gmail Facebook X LinkedIn More