  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. 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.
