Control of Nonlinear Switched Systems Based on Validated Simulation - ENSTA Paris - École nationale supérieure de techniques avancées Paris Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

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. The whole approach is en- tirely guaranteed and the induced controllers are correct-by- design.

Dates et versions

hal-01304292 , version 1 (19-04-2016)

Identifiants

Citer

Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg. Control of Nonlinear Switched Systems Based on Validated Simulation. International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16), Apr 2016, Vienne, Austria. ⟨10.1109/SNR.2016.7479377⟩. ⟨hal-01304292⟩
106 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More