An improved algorithm for the control synthesis of nonlinear sampled switched systems

Adrien Le Coënt; Julien Alexandre dit Sandretto; Alexandre Chapoutot; Laurent Fribourg

doi:10.1007/s10703-017-0305-8

An improved algorithm for the control synthesis of nonlinear sampled switched systems

Adrien Le Coënt, Julien Alexandre dit Sandretto, Alexandre Chapoutot, Laurent Fribourg

Université Paris-Saclay

Research output: Contribution to journal › Article › peer-review

Abstract

A novel algorithm for the control synthesis for nonlinear switched systems is presented in this paper. Based on an existing procedure of state-space bisection and made available for nonlinear systems with the help of guaranteed integration, the algorithm has been improved to be able to consider longer patterns of modes with a better pruning approach. Moreover, the use of guaranteed integration 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. Some experimentations are performed to show the important gain of the new algorithm.

Original language	English
Pages (from-to)	363-383
Number of pages	21
Journal	Formal Methods in System Design
Volume	53
Issue number	3
DOIs	https://doi.org/10.1007/s10703-017-0305-8
Publication status	Published - 1 Dec 2018
Externally published	Yes

Keywords

Control system synthesis
Formal methods
Nonlinear control systems
Numerical simulation
Reachability

Access to Document

10.1007/s10703-017-0305-8

Cite this

@article{8be925f50e2745a18a973f97e7a10001,

title = "An improved algorithm for the control synthesis of nonlinear sampled switched systems",

abstract = "A novel algorithm for the control synthesis for nonlinear switched systems is presented in this paper. Based on an existing procedure of state-space bisection and made available for nonlinear systems with the help of guaranteed integration, the algorithm has been improved to be able to consider longer patterns of modes with a better pruning approach. Moreover, the use of guaranteed integration 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. Some experimentations are performed to show the important gain of the new algorithm.",

keywords = "Control system synthesis, Formal methods, Nonlinear control systems, Numerical simulation, Reachability",

author = "\{Le Co{\"e}nt\}, Adrien and \{Alexandre dit Sandretto\}, Julien and Alexandre Chapoutot and Laurent Fribourg",

note = "Publisher Copyright: {\textcopyright} 2017, Springer Science+Business Media, LLC, part of Springer Nature.",

year = "2018",

month = dec,

day = "1",

doi = "10.1007/s10703-017-0305-8",

language = "English",

volume = "53",

pages = "363--383",

journal = "Formal Methods in System Design",

issn = "0925-9856",

number = "3",

}

TY - JOUR

T1 - An improved algorithm for the control synthesis of nonlinear sampled switched systems

AU - Le Coënt, Adrien

AU - Alexandre dit Sandretto, Julien

AU - Chapoutot, Alexandre

AU - Fribourg, Laurent

PY - 2018/12/1

Y1 - 2018/12/1

N2 - A novel algorithm for the control synthesis for nonlinear switched systems is presented in this paper. Based on an existing procedure of state-space bisection and made available for nonlinear systems with the help of guaranteed integration, the algorithm has been improved to be able to consider longer patterns of modes with a better pruning approach. Moreover, the use of guaranteed integration 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. Some experimentations are performed to show the important gain of the new algorithm.

AB - A novel algorithm for the control synthesis for nonlinear switched systems is presented in this paper. Based on an existing procedure of state-space bisection and made available for nonlinear systems with the help of guaranteed integration, the algorithm has been improved to be able to consider longer patterns of modes with a better pruning approach. Moreover, the use of guaranteed integration 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. Some experimentations are performed to show the important gain of the new algorithm.

KW - Control system synthesis

KW - Formal methods

KW - Nonlinear control systems

KW - Numerical simulation

KW - Reachability

U2 - 10.1007/s10703-017-0305-8

DO - 10.1007/s10703-017-0305-8

M3 - Article

AN - SCOPUS:85033462243

SN - 0925-9856

VL - 53

SP - 363

EP - 383

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 3

ER -

An improved algorithm for the control synthesis of nonlinear sampled switched systems

Abstract

Keywords

Access to Document

Fingerprint

Cite this