An improved algorithm for the control synthesis of nonlinear sampled switched systems |
| |
Authors: | Adrien Le Coënt Julien Alexandre dit Sandretto Alexandre Chapoutot Laurent Fribourg |
| |
Affiliation: | 1.CMLA and LSV, CNRS, ENS Paris-Saclay, INRIA,Université Paris-Saclay,Cachan,France;2.U2IS Department, ENSTA ParisTech,Université Paris-Saclay,Palaiseau Cedex,France |
| |
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: | |
本文献已被 SpringerLink 等数据库收录! |
|