Stability Verification of an Industrial Switched PI Control Systems

8 pages•Published: October 10, 2024

Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta and Vassilios Tsachouridis

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.

Keyphrases: aerospace design, formal methods, hybrid systems, lyapunov functions, stability

In: Goran Frehse and Matthias Althoff (editors). Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems, vol 103, pages 145-152.

Links:	https://easychair.org/publications/paper/WCdZ
	https://doi.org/10.29007/nxhj

BibTeX entry

@inproceedings{ARCH-COMP24:Stability_Verification_Industrial_Switched,
  author    = {Stylianos Basagiannis and Ludovico Battista and Anna Becchi and Alessandro Cimatti and Georgios Giantamidis and Sergio Mover and Alberto Tacchella and Stefano Tonetta and Vassilios Tsachouridis},
  title     = {Stability Verification of an Industrial Switched PI Control Systems},
  booktitle = {Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {103},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/WCdZ},
  doi       = {10.29007/nxhj},
  pages     = {145-152},
  year      = {2024}}

Download PDF Open PDF in browser