Skip to Main content Skip to Navigation
Conference papers

Control of Nonlinear Switched Systems Based on Validated Simulation

Abstract : 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.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01304292
Contributor : Alexandre Chapoutot <>
Submitted on : Tuesday, April 19, 2016 - 3:11:19 PM
Last modification on : Friday, April 30, 2021 - 9:58:21 AM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

241