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

3 Sep 2023  ·  Wenjie Mei, Yu Zhou, Ahmad Taha, Chengyan Zhao ·

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. We also present extensions to relax the imposed restrictions on the basis functions. A numerical example is provided to demonstrate the efficacy of the proposed results.

PDF Abstract
No code implementations yet. Submit your code now

Tasks


Datasets


  Add Datasets introduced or used in this paper

Results from the Paper


  Submit results from this paper to get state-of-the-art GitHub badges and help the community compare results to other papers.

Methods


No methods listed for this paper. Add relevant methods here