English

On input-to-state stability verification of identified models obtained by Koopman operator

Systems and Control 2024-12-24 v3 Systems and Control

Abstract

This paper proposes a class of basis functions for realizing the input-to-state stability verification of identified models obtained from the true system (assumed to be input-to-state stable) using the Koopman operator. The formulated input-to-state stability conditions are in the form of linear matrix inequalities. Two extensions are presented to relax the imposed restrictions on the basis functions. Several numerical examples are provided to demonstrate the efficacy of the proposed results.

Keywords

Cite

@article{arxiv.2309.01242,
  title  = {On input-to-state stability verification of identified models obtained by Koopman operator},
  author = {Wenjie Mei and Dongzhe Zheng and Yu Zhou and Ahmad Taha and Chengyan Zhao},
  journal= {arXiv preprint arXiv:2309.01242},
  year   = {2024}
}