×

关于可解系统可达性的一些可判定结果。 (英语) Zbl 1278.93046号

摘要:可达性分析在验证现代控制系统的安全性方面发挥着重要作用。在现有的工作中,有许多关于离散系统可达性的可判定结果。然而,对于连续系统,已知的可判定结果仅针对线性系统建立。在本文中,我们提出了一类非线性系统(称为可解系统)扩展线性系统。我们首先证明了它们的解是封闭形式的。在此基础上,我们研究了可解系统各子类的一系列可达性问题。我们的主要结果是,这些可达性问题可以通过数论中的操作、实根隔离和量词消除来判定。最后,在Maple包REACH中实现了决策过程,以解决几个非平凡的示例。

MSC公司:

93个B03 可达集,可达性
93立方厘米 控制理论中的非线性系统
93立方 由微分方程以外的函数关系控制的控制/观测系统(如混合系统和开关系统)

软件:

枫树;到达
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Achatz M.,ISSAC 2008第215页–(2008)
[2] Alur R.,《理论计算机科学》138(1)pp 3-(1995)·Zbl 0874.68206号 ·文件编号:10.1016/0304-3975(94)00202-T
[3] Anai H.,LNCS 2034,in:HSCC 2001第63页–(2001)
[4] Asarin E.,《理论计算机科学》138(1),第35页–(1995)·Zbl 0884.68050号 ·doi:10.1016/0304-3975(94)00228-B
[5] Aziz A.,《ACM计算逻辑汇刊》1(1)第162页–(2000)·Zbl 1365.68313号 ·doi:10.1145/343369.343402
[6] 贝克A.,先验数论(1975)·Zbl 0297.10013号 ·doi:10.1017/CBO9780511565977
[7] 计算机代数:符号和代数计算,2。编辑(1983)·Zbl 0894.68086号
[8] Chatterjee D.,《系统与控制快报》61(2),第375页–(2012年)·Zbl 1238.93117号 ·doi:10.1016/j.sysconle.2011.12.002
[9] Collins G.E.,LNCS 33,摘自:自动机理论和形式语言1975,第134页–(1975)
[10] Dolzmann A.,ACM SIGSAM公告31(2)第2页–(1997)·doi:10.1145/261320.261324
[11] Gargantini I.,数字数学18(4),第305页–(1972)·Zbl 0228.65038号 ·doi:10.1007/BF01404681
[12] 哈代·G·H。《数论导论》,第5页。编辑(1979)·兹比尔0423.10001
[13] Henzinger T.A.,《计算机与系统科学杂志》57(1),第94页–(1998)·兹布尔0920.68091 ·doi:10.1006/jcss.1998.1581
[14] Kailath T.,线性系统(1980)·Zbl 0454.93001号
[15] Kamke E.,Differentialgleichungen(1967)
[16] Lafferriere G.,《符号计算杂志》32(3)第231页–(2001)·Zbl 0983.93004号 ·doi:10.1006/jsco.2001.0472
[17] Liu P.L.,《国际通用系统杂志》40(3),第301页–(2011)·Zbl 1210.93063号 ·doi:10.1080/030081079.2010.542414
[18] Liu J.,EMSOFT 2011第97页–(2011)
[19] Manna Z.,LNCS 736,in:混合系统第4页–(1993)·doi:10.1007/3-540-57318-6_22
[20] Mitchell I.M.,《科学计算杂志》19(1),第323页–(2003)·Zbl 1045.93008号 ·doi:10.1023/A:1025364227563
[21] Olds C.D.,续分数(1963)
[22] Platzer A.,LNCS 5123,in:CAV 2008第176页–(2008)
[23] Prajna S.,自动化42(1)第117页–(2006)·Zbl 1121.93007号 ·doi:10.1016/j.automatica.2005.08.007
[24] Ratschan S.,SIAM控制与优化杂志48(7),第4377页–(2010)·Zbl 1215.65188号 ·doi:10.1137/090749955
[25] Rebiha R.,2012年HSCC第25页–(2012年)
[26] Rodríguez-Carbonell E.,ISSAC 2004第266页–(2004)
[27] Rodríguez-Carbonell E.,《符号计算杂志》42(4)第443页–(2007)·Zbl 1121.13034号 ·doi:10.1016/j.jsc.2007.01.002
[28] 塔斯基A.,初等代数和几何的判定方法,2。编辑(1951)·Zbl 0044.25102号
[29] Tiwari A.,LNCS 2993,in:HSCC 2004第600页–(2004)
[30] 王忠,《国际通用系统杂志》34(5),第523页–(2005)·Zbl 1112.93053号 ·网址:10.1080/03081070500229678
[31] Xu M.,《国际系统科学杂志》41(12)pp 1411–(2010)·Zbl 1206.93013号 ·网址:10.1080/00207720903480691
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。