Control of nonlinear switched systems based on validated simulation

TL;DR

This paper introduces a guaranteed control synthesis algorithm for nonlinear switched systems using validated simulation, enabling safety-critical applications with bounded uncertainties.

Contribution

It extends existing state-space bisection methods to nonlinear systems with validated simulation, ensuring correctness and robustness for safety-critical control.

Findings

Algorithm guarantees correct-by-design controllers

Handles bounded perturbations and parameter variations

Applicable to safety-critical domains like aeronautics and medicine

Abstract

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.