Communication Dans Un Congrès Année : 2023

SMT-Based Stability Verification of an Industrial Switched PI Control Systems

Résumé

The control of complex systems is typically designed describing the physical system with differential equations. The standard approach to their verification employs numerical analysis, which is suitable to prove stability properties, but is susceptible of numerical errors. On the other side, symbolic techniques give precise analysis results but typically do not scale to industrial size problems. In this paper, we consider the control design of an aircraft engine. The engine model is represented by a linear state space model of 18 internal state variables, 4 outputs, and 3 inputs. The control switches between two PI controllers, one for thrust control and another for low-pressure compressor spool speed control, based on the engine state and pilot commands. After reformulating the PI controllers in terms of differential equations, we obtain a hybrid system with 21 state variables and two modes, for which we want to prove with symbolic techniques the robustness of the stable states to perturbation. We achieved the verification with standard methods to synthesize quadratic Lyapunov functions and SMT techniques to synthesize neighborhoods of the stable states for which we have symbolic proof of stability.

Fichier principal
Vignette du fichier
main.pdf (665.78 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04184368 , version 1 (21-08-2023)

Licence

Identifiants

Citer

Ludovico Battista, Anna Becchi, Stylianos Basagiannis, Alessandro Cimatti, Georgios Giantamidis, et al.. SMT-Based Stability Verification of an Industrial Switched PI Control Systems. 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Jun 2023, Porto, Portugal. pp.243-250, ⟨10.1109/DSN-W58399.2023.00063⟩. ⟨hal-04184368⟩
95 Consultations
328 Téléchargements

Altmetric

Partager

  • More