Proper Lumping for Positive Bilinear Control Systems

• 成果类型: Article
• 署名作者: Jimenez-Pastor, Antonio; Toller, Daniele; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
• 署名单位: Aalborg University; IMT School for Advanced Studies Lucca; Technical University of Denmark
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2024.3410153
• 发表日期: 2024
• 页码: 8120-8127
• 关键词: Control systems; reduced order systems; Linear systems; COSTS; POLYNOMIALS; optimal control; mathematical models; Modeling; Robust control; system verification; system analysis and design

摘要

Positive systems naturally arise in situations where the model tracks physical quantities. Although the linear case is well understood, analysis and controller design for nonlinear positive systems remain challenging. Model reduction methods can help tame this problem. Here, we propose a notion of model reduction for a class of positive bilinear systems with (bounded) matrix and exogenous controls. Our reduction, called proper positive lumping, aggregates the original system such that states of the corresponding reduced model represent nonnegative linear combinations of original state variables. In this article, we prove a characterization result showing that the reductions by proper positive lumping are exactly those preserving the optimality of a suitable class of value functions. Moreover, we provide an efficient polynomial-time algorithm for the computation of the minimal lumping. We numerically evaluate our approach by applying it to a number of benchmark case studies.