可观察性测试 swMATH ID: 36921 软件作者: 亚历山大·塞多拉维奇 描述: 可观测性测试:一个maple包,用于测试多项式时间内常微分系统的可观测性/可识别性。参考书目(引用此包):一种概率算法,用于测试多项式时间内的局部代数可观测性。在系统和控制理论中经常会遇到以下问题。给定一个物理过程的代数模型,理论上可以从实验的输入输出行为中推导出哪些变量?为了确定所有其他变量,我们应该假设已知剩余的变量有多少?这些问题是局部代数可观测性问题的一部分,该问题涉及模型对称性的非平凡李子代数的存在性,使得输入和输出不变。我们提出了一种概率半数值算法,该算法在多项式时间内解决了这个问题。给出了有理域上所需算术运算次数的界。这个界限在模型评估的复杂性和变量的数量上是多项式的。此外,我们还证明了计算中涉及的整数的大小在变量数和系统度上是多项式的。最后,我们估计了算法的成功概率。 主页: https://github.com/sedoglavic/Vobservability测试 源代码: https://github.com/sedoglavic/Observability测试 依赖项: 枫树 关键词: 可识别性;可观测性;半数值算法 相关软件: 组合;雏菊;西安;枫树;GenSSI公司;叶片;数学软件;克罗内克;尼莫;赫克;微分代数;DIFFALG公司;差异托马斯;应用的预测建模;MESSI公司;粪便;蟒蛇;Sloppy单元格;万亿;MCS公司 引用于: 22文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 在多项式时间内测试局部代数可观测性的概率算法。 Zbl 1356.93017号亚历山大·塞多拉维奇 2001 全部的 前5名52位作者引用 三 米莲娜·安格洛娃 三 亚历山大·塞多拉维奇 2 加布里埃拉·杰罗尼莫 2 巴勃罗·索勒诺 2 伯恩特·温伯格 1 伯纳黛特·阿尔茨 1 阿兰·贝尔霍兹 1 弗朗索瓦·布利埃 1 爱德华·P·布朗。 1 迈克尔·查佩尔。 1 丽西·达芬索 1 尼尔·D·埃文斯。 1 伊尔达尔·法尔卡蒂诺夫 1 加西亚-加西亚,伊西多罗 1 克里斯托弗·汉恩(Christopher E.Hann)。 1 文森特·海沃德 1 西尔瓦娜·伊利 1 Jiménez-Hornero,Jorge E。 1 Jirstrand,Mats公司 1 莫里茨·朗 1 弗朗索瓦·勒梅尔 1 本杰明·莱瑟姆 1 波蒂亚·莱瑟姆。 1 加布里埃拉·玛格丽亚 1 吉列尔莫·马特拉 1 Michalska,Hannah H。 1 梅赛德斯·佩雷斯·米兰 1 贾普·莫勒纳尔 1 莫扎洛夫斯基。 1 阿列克谢·伊戈列维奇·奥夫钦尼科夫 1 阿南德·皮莱 1 Gleb A.波古丁。 1 Greg J.里德。 1 伊娃·里科马尼奥 1 马库斯·罗森克兰兹 1 辛西娅·鲁丁 1 萨莫蒂洛娃,S.A。 1 Santos-Dueñas,Inés M。 1 托马斯·斯坎隆。 1 哈莎·R·西里塞纳。 1 斯特灵,约尔格 1 约翰·斯蒂格特(Johannes D.Stigter)。 1 瓜博尔·塞德克内伊 1 Gergely,斯洛博德尼克 1 A.Yu Torgashov。 1 罗珊·乌希罗比拉 1 娜塔莉·威尔第 1 亚历杭德罗·费尔南德斯·维拉弗德 1 Lisa J.怀特。 1 Wongvanich,Napasool公司 1 吴文元 1 James W.T.耶茨。 全部的 前5名13篇连载文章中引用 4 Automatica公司 三 数学生物科学 三 符号计算杂志 1 计算机物理通信 1 数学生物学杂志 1 数学生物学通报 1 复杂性杂志 1 SIAM科学计算杂志 1 复杂性 1 混乱 1 Matematicheskoe Modelirovanie公司 1 伦敦皇家学会会刊。A.数学、物理和工程科学 1 SIAM应用代数和几何杂志 全部的 前5名在13个字段中引用 13 系统论;控制(93至XX) 10 生物学和其他自然科学(92-XX) 7 常微分方程(34-XX) 5 计算机科学(68-XX) 三 场论和多项式(12-XX) 1 数学逻辑和基础(03-XX) 1 交换代数(13-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 偏微分方程(35-XX) 1 动力系统和遍历理论(37至XX) 1 积分方程(45-XX) 1 数值分析(65-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文