徐明;陈良玉;曾振兵;李志斌 有理特征值线性系统的可达性分析。 (英语) Zbl 1206.93013号 国际期刊系统。科学。 41,第12期,1411-1419(2010). 摘要:控制系统安全分析的关键问题之一是连续系统可达状态空间的精确计算。与这些系统的能控性和能观性相关的问题在系统理论中得到了很好的研究。然而,关于可达性,即使对于一般线性系统,也没有很多结果。在本研究中,我们提出了一大类具有可判定可达状态空间的线性系统。这是通过将可达性分析简化为指数多项式的实根隔离来实现的。此外,我们在枫树基于符号计算的软件包并成功应用于几个实例。 引用于11文件 MSC公司: 93个B03 可达集,可达性 93C05型 控制理论中的线性系统 93亿B55 极点和零点位置问题 65G40型 区间分析的一般方法 关键词:可达性分析;线性系统;实根隔离;指数多项式;连分数;区间算术 软件:枫树 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人,国际期刊系统。科学。41,第12号,1411--1419(2010;Zbl 1206.93013) 全文: 内政部 参考文献: [1] 内政部:10.1145/1390768.1390799·Zbl 1236.68301号 ·数字对象标识代码:10.1145/1390768.1390799 [2] 内政部:10.1016/0304-3975(94)00202-T·Zbl 0874.68206号 ·文件编号:10.1016/0304-3975(94)00202-T [3] Alur R,LNCS 600,in:实时:实践中的理论第43页–(1992) [4] Anai H,LNCS 2034,载于:HSCC 2001第63页–(2001) [5] 内政部:10.1016/0304-3975(94)00228-B·Zbl 0884.68050号 ·doi:10.1016/0304-3975(94)00228-B [6] Collins,GE。实闭场的量化器消去——圆柱代数分解。自动机理论与形式语言第二届GI会议。1975年,编辑:Brakhage,H.,第134-183页。柏林:施普林格。LNCS 33号机组 [7] DOI:10.1016/S0747-7171(08)80152-6·Zbl 0754.68063号 ·doi:10.1016/S0747-7171(08)80152-6 [8] Dang T,LNCS 1386,in:HSCC 1998第96页–(1998) [9] 内政部:10.1109/TAC.1961.1105183·doi:10.1109/TAC.1961.1105183 [10] Hakan,Y和Pappas,GJ。线性系统可达性的几何规划松弛。美国控制会议,2004年会议记录。2004年,第553-559页。 [11] Hardy GH,《数论导论》,第5页。编辑(1979) [12] 内政部:10.1006/jcss.1998.1581·Zbl 0920.68091号 ·doi:10.1006/jcss.1998.1581 [13] Kamke E,Differentialgleichungen(1967) [14] 内政部:10.1080/00207720902974504·Zbl 1291.93285号 ·网址:10.1080/00207720902974504 [15] Kurzhanski AB,LNCS 1790,in:HSCC 2000第202页–(2000) [16] 内政部:10.1007/PL00009858·Zbl 1059.68073号 ·doi:10.1007/PL00009858 [17] DOI:10.1006/jsco.2001.0472·Zbl 0983.93004号 ·doi:10.1006/jsco.2001.0472 [18] Lambert J.H.,《柏林医学科学》17页265–(1761) [19] DOI:10.1007/BF01446522·doi:10.1007/BF01446522 [20] 米切尔一世,LNCS 1790,in:HSCC 2000 pp 311–(2000) [21] Puri A,LNCS 818,in:CAV 1994第95页–(1994) [22] 内政部:10.1109/TAC.2006.872835·Zbl 1366.93060号 ·doi:10.1109/TAC.2006.872835 [23] 内政部:10.1080/00207729008910401·Zbl 0703.93011号 ·doi:10.1080/0207729008910401 [24] 西格尔CL,超越数(1949) [25] 塔斯基A,初等代数和几何的判定方法(1951) [26] 蒂瓦里A,LNCS 2993,in:HSCC 2004第171页–(2004) [27] DOI:10.1080/0207720802088223·Zbl 1156.93377号 ·doi:10.1080/00207720802088223 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。