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.

中文翻译：

---

非线性采样切换系统控制综合的改进算法

本文提出了一种用于非线性切换系统控制综合的新算法。基于现有的状态空间二分过程，并在保证积分的帮助下可用于非线性系统，该算法得到了改进，能够以更好的修剪方法考虑更长的模式模式。此外，保证积分的使用还允许考虑有界扰动和变化的参数。它对于安全关键应用尤其有趣，例如在航空、军事或医疗领域。整个方法是完全有保证的，诱导控制器是设计正确的。进行了一些实验以显示新算法的重要增益。