Stability Analysis and Stabilization of Semi-Markov Jump Linear Systems With Improved Efficiency of Probabilistic Information Utilization

• 成果类型: Article
• 署名作者: Ning, Zepeng; Colaneri, Patrizio; Yin, Xunyuan
• 署名单位: Nanyang Technological University; Polytechnic University of Milan; Nanyang Technological University
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2024.3475421
• 发表日期: 2025
• 页码: 1835-1850
• 关键词: Probabilistic logic; Stability criteria; switches; Linear systems; Symmetric matrices; Stochastic processes; Numerical stability; Lyapunov methods; Biological system modeling; indexes; Incomplete transition and sojourn information; polyhedral approximation; probabilistic information utilization; semi-Markov jump linear systems (SMJLSs); time-dependent control

摘要

This article establishes a systematic methodology to improve the utilization efficiency of probabilistic information for the stability analysis and stabilizing control of discrete-time semi-Markov jump linear systems (SMJLSs). The transition and sojourn information is incompletely known, and the coupling between the known (or unknown) transition and unknown (or known) sojourn information renders the known probabilistic information difficult to be fully leveraged, which can lead to conservative results in system analysis and synthesis. To approximate the unknown transition and sojourn information, a polyhedral approach is developed, which facilitates the incorporation of the known probabilistic information coupled with unknown information. Accordingly, novel vertex-based Lyapunov functions are proposed to establish stability conditions. New criteria are established for the stability analysis and control of SMJLSs by incorporating all the jointly known transition and sojourn information, all the known probabilistic information, and both the known and the approximation of unknown probabilistic information, respectively. The effectiveness and superiority of the theoretical results are illustrated by a numerical example and a simulated continuous stirred tank reactor process.