Control of nonlinear switched systems based on validated simulation

Adrien Le Coent; Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Laurent Fribourg

doi:10.1109/SNR.2016.7479377

Control of nonlinear switched systems based on validated simulation

Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 entirely guaranteed and the induced controllers are correct-by-design.

Original language	English
Title of host publication	Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016 - Held as Part of CPS Week
Editors	Sergiy Bogomolov, Erika Abraham
Publisher	Institute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)	9781509030798
DOIs	https://doi.org/10.1109/SNR.2016.7479377
Publication status	Published - 25 May 2016
Externally published	Yes
Event	2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016 - Vienna, Austria Duration: 11 Apr 2016 → …

Publication series

Name	Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016 - Held as Part of CPS Week

Conference

Conference	2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016
Country/Territory	Austria
City	Vienna
Period	11/04/16 → …

Access to Document

10.1109/SNR.2016.7479377

Cite this

Le Coent, A., Dit Sandretto, J. A., Chapoutot, A., & Fribourg, L. (2016). Control of nonlinear switched systems based on validated simulation. In S. Bogomolov, & E. Abraham (Eds.), Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016 - Held as Part of CPS Week Article 7479377 (Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016 - Held as Part of CPS Week). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SNR.2016.7479377

Le Coent, Adrien ; Dit Sandretto, Julien Alexandre ; Chapoutot, Alexandre et al. / Control of nonlinear switched systems based on validated simulation. Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016 - Held as Part of CPS Week. editor / Sergiy Bogomolov ; Erika Abraham. Institute of Electrical and Electronics Engineers Inc., 2016. (Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016 - Held as Part of CPS Week).

@inproceedings{b9ad2d53551c468ea2bfdb913bf2e5d0,

title = "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 entirely guaranteed and the induced controllers are correct-by-design.",

author = "\{Le Coent\}, Adrien and \{Dit Sandretto\}, \{Julien Alexandre\} and Alexandre Chapoutot and Laurent Fribourg",

note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016 ; Conference date: 11-04-2016",

year = "2016",

month = may,

day = "25",

doi = "10.1109/SNR.2016.7479377",

language = "English",

series = "Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016 - Held as Part of CPS Week",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

editor = "Sergiy Bogomolov and Erika Abraham",

booktitle = "Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016 - Held as Part of CPS Week",

}

Le Coent, A, Dit Sandretto, JA , Chapoutot, A & Fribourg, L 2016, Control of nonlinear switched systems based on validated simulation. in S Bogomolov & E Abraham (eds), Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016 - Held as Part of CPS Week., 7479377, Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016 - Held as Part of CPS Week, Institute of Electrical and Electronics Engineers Inc., 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016, Vienna, Austria, 11/04/16. https://doi.org/10.1109/SNR.2016.7479377

Control of nonlinear switched systems based on validated simulation. / Le Coent, Adrien; Dit Sandretto, Julien Alexandre ; Chapoutot, Alexandre et al.
Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016 - Held as Part of CPS Week. ed. / Sergiy Bogomolov; Erika Abraham. Institute of Electrical and Electronics Engineers Inc., 2016. 7479377 (Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016 - Held as Part of CPS Week).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Control of nonlinear switched systems based on validated simulation

AU - Le Coent, Adrien

AU - Dit Sandretto, Julien Alexandre

AU - Chapoutot, Alexandre

AU - Fribourg, Laurent

PY - 2016/5/25

Y1 - 2016/5/25

N2 - 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 entirely guaranteed and the induced controllers are correct-by-design.

AB - 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 entirely guaranteed and the induced controllers are correct-by-design.

U2 - 10.1109/SNR.2016.7479377

DO - 10.1109/SNR.2016.7479377

M3 - Conference contribution

AN - SCOPUS:84978505021

T3 - Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016 - Held as Part of CPS Week

BT - Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016 - Held as Part of CPS Week

A2 - Bogomolov, Sergiy

A2 - Abraham, Erika

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016

Y2 - 11 April 2016

ER -

Le Coent A, Dit Sandretto JA , Chapoutot A, Fribourg L. Control of nonlinear switched systems based on validated simulation. In Bogomolov S, Abraham E, editors, Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016 - Held as Part of CPS Week. Institute of Electrical and Electronics Engineers Inc. 2016. 7479377. (Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016 - Held as Part of CPS Week). doi: 10.1109/SNR.2016.7479377

Control of nonlinear switched systems based on validated simulation

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this