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

International audienc

Control of Nonlinear Switched Systems Based on Validated Simulation

International audienceWe 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