Stability Verification of an Industrial Switched PI Control Systems

Benchmark Proposal: In this paper, we propose a benchmark that addresses the chal- lenge of verifying Global Asymptotic Stability for a switched control of a turbofan engine. The control switches among two Proportional-Integral (PI) controllers and is parametrized by the reference values used to stabilize the output. We formulate the mathematical model as an affine switched system with a parametric affine term. The verification problems are, on one hand, to prove symbolically the stability of the system for specific reference values, and, on the other hand, to synthesize a region of parameters for which the stability is guaranteed. We report on previous works partially solving these problems.