Comparison of Nondeterministic Stable Linear Systems by (γ, δ)-Similarity

• 成果类型: Article
• 署名作者: Pirastehzad, Armin; van der Schaft, Arjan; Besselink, Bart
• 署名单位: University of Groningen
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2024.3416322
• 发表日期: 2024
• 页码: 8617-8632
• 关键词: Dynamical systems; trajectory; cognition; control theory; Linear systems; vectors; sensitivity; abstraction; approximation; compositional reasoning; nondeterministic systems; simulation relation

摘要

We introduce ( gamma, delta )-similarity, a notion of system comparison that measures to what extent two stable linear dynamical systems behave similarly in an input-output sense. This behavioral similarity is characterized by measuring the sensitivity of the difference between the two output trajectories in terms of the external inputs to the two potentially nondeterministic systems. As such, ( gamma, delta )-similarity is a notion that characterizes approximation of input-output behavior, whereas existing notions of simulation target equivalence. Next, as this approximation is specified in terms of the L-2 signal norm, ( gamma, delta )-similarity allows for integration with existing methods for analysis and synthesis of control systems, in particular, robust control techniques. We characterize the notion of ( gamma,delta )-similarity as a linear matrix inequality feasibility problem and derive its interpretation in terms of transfer matrices. Our study on the compositional properties of ( gamma, delta )-similarity shows that the notion is preserved through series and feedback interconnections. This highlights its potential application in compositional reasoning, namely abstraction and modular synthesis of large-scale interconnected dynamical systems. We further illustrate our results in an electrical network example.