东北大学学报:自然科学版 ›› 2018, Vol. 39 ›› Issue (7): 954-958.DOI: 10.12068/j.issn.1005-3026.2018.07.009

• 信息与控制 • 上一篇    下一篇

具预警状态的单模块可修复系统的指数稳定性

刘东旭1,2, 王兰豪1, 贾瑶1, 张菁雯1   

  1. (1. 东北大学 流程工业综合自动化国家重点实验室, 辽宁 沈阳110819; 2. 延边大学 理学院, 吉林 延吉133002)
  • 收稿日期:2017-03-10 修回日期:2017-03-10 出版日期:2018-07-15 发布日期:2018-07-11
  • 通讯作者: 刘东旭
  • 作者简介:刘东旭(1984-) ,男,吉林省吉林市人,东北大学博士研究生,延边大学讲师.冯明杰(1971-), 男, 河南禹州人, 东北大学副教授; 王恩刚(1962-), 男, 辽宁沈阳人, 东北大学教授,博士生导师.
  • 基金资助:
    国家自然科学基金资助项目(11461074).国家自然科学基金资助项目(51171041).

Exponential Stability of Single-Module Repairable System with Warning State

LIU Dong-xu1,2, WANG Lan-hao1, JIA Yao1, ZHANG Jing-wen1   

  1. 1. State Key Laboratory of Synthetical Automation for Process Industries, Northeastern University, Shenyang 110819, China; 2. College of Science, Yanbian University, Yanji 133002, China.
  • Received:2017-03-10 Revised:2017-03-10 Online:2018-07-15 Published:2018-07-11
  • Contact: LIU Dong-xu
  • About author:-
  • Supported by:
    -

摘要: 研究了具有预警状态的单模块可修复系统,将其动态变化过程用一组微分方程描述.通过选取适当的状态空间和系统算子的定义域,将方程化为Banach空间中的抽象柯西问题.利用泛函分析和线性算子半群理论证明了系统具有严格占优的单重的0本征值,说明系统的解满足渐近稳定性,并求出其稳态解.随后通过研究系统主算子的谱分布,证明了系统主算子的本质谱界为负.最后讨论了系统主算子在紧扰动下的本质谱界变化情况,结果表明系统的动态解是指数稳定的.

关键词: C0半群, 指数稳定性, 本质谱界, 紧算子, 扰动

Abstract: A kind of single-module repairable system with warning state was investigated, which can be expressed as a set of differential equations. By selecting the appropriate state space and the definition domain of the system operator, the equations were transformed into an abstract Cauchy problem in a Banach space. With the functional analysis method and linear operator semigroup theory, the eigenvalue 0 was proved to be the strictly dominant simple eigenvalue of the system. It shows the solution of the system is asymptotically stable. Then by studying the spectrum distribution of the main operator of the system, it was proved that the essential spectrum bound of the main operator of the system is negative. Finally, the variation of essential spectrum bound of the main operator under compact perturbation were discussed. The results demonstrate that the dynamic solution of the system is exponentially stable.

Key words: C0 semigroup, exponential stability, essential spectrum bound, compact operator, perturbation

中图分类号: