Control of nonlinear switched systems based on validated simulation
It provides a correct-by-design control method for nonlinear switched systems, which is crucial for safety-critical applications in fields like aeronautics and medicine.
The paper presents an algorithm for control synthesis of nonlinear switched systems using validated simulation, enabling guaranteed controllers for safety-critical applications with bounded perturbations and varying parameters.
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.