Stability Verification of an Industrial Switched PI Control Systems

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

doi:10.29007/nxhj

Stability Verification of an Industrial Switched PI Control Systems

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

Research output: Contribution to journal › Conference article › peer-review

Abstract

Benchmark Proposal: In this paper, we propose a benchmark that addresses the challenge 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.

Original language	English
Pages (from-to)	145-152
Number of pages	8
Journal	EPiC Series in Computing
Volume	103
DOIs	https://doi.org/10.29007/nxhj
Publication status	Published - 1 Jan 2024
Externally published	Yes
Event	11th International Workshop on Applied Verification for Continuous and Hybrid Systems, ARCH-COMP 2024 - Boulder, United States Duration: 3 Jul 2024 → 3 Jul 2024

Keywords

aerospace design
formal methods
hybrid systems
lyapunov functions
stability

Access to Document

10.29007/nxhj

Cite this

@article{a3403f024e22478a81735d4fcc694bbc,

title = "Stability Verification of an Industrial Switched PI Control Systems",

abstract = "Benchmark Proposal: In this paper, we propose a benchmark that addresses the challenge 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.",

keywords = "aerospace design, formal methods, hybrid systems, lyapunov functions, stability",

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",

note = "Publisher Copyright: {\textcopyright} 2024, EasyChair. All rights reserved.; 11th International Workshop on Applied Verification for Continuous and Hybrid Systems, ARCH-COMP 2024 ; Conference date: 03-07-2024 Through 03-07-2024",

year = "2024",

month = jan,

day = "1",

doi = "10.29007/nxhj",

language = "English",

volume = "103",

pages = "145--152",

journal = "EPiC Series in Computing",

issn = "2398-7340",

}

TY - JOUR

T1 - Stability Verification of an Industrial Switched PI Control Systems

AU - Basagiannis, Stylianos

AU - Battista, Ludovico

AU - Becchi, Anna

AU - Cimatti, Alessandro

AU - Giantamidis, Georgios

AU - Mover, Sergio

AU - Tacchella, Alberto

AU - Tonetta, Stefano

AU - Tsachouridis, Vassilios

PY - 2024/1/1

Y1 - 2024/1/1

N2 - Benchmark Proposal: In this paper, we propose a benchmark that addresses the challenge 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.

AB - Benchmark Proposal: In this paper, we propose a benchmark that addresses the challenge 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.

KW - aerospace design

KW - formal methods

KW - hybrid systems

KW - lyapunov functions

KW - stability

U2 - 10.29007/nxhj

DO - 10.29007/nxhj

M3 - Conference article

AN - SCOPUS:85207840142

SN - 2398-7340

VL - 103

SP - 145

EP - 152

JO - EPiC Series in Computing

JF - EPiC Series in Computing

T2 - 11th International Workshop on Applied Verification for Continuous and Hybrid Systems, ARCH-COMP 2024

Y2 - 3 July 2024 through 3 July 2024

ER -

Stability Verification of an Industrial Switched PI Control Systems

Abstract

Keywords

Access to Document

Fingerprint

Cite this