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.
Stability Verification of an Industrial Switched PI Control Systems
Ludovico Battista;Anna Becchi;Alessandro Cimatti;Alberto Tacchella;Stefano Tonetta;
2024-01-01
Abstract
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
