自动筛选 swMATH ID: 32268 软件作者: 美国国家航空航天局;乔恩·惠特尔(Jon Whittle)、约翰·舒曼(Johann Schumann) 描述: AUTOFILTER是一种工具,它可以生成使用卡尔曼滤波器解决状态估计问题的实现。根据状态估计问题的高级、基于数学的描述,AUTOFILTER自动生成代码,该代码使用卡尔曼滤波算法的一个或多个已知变体计算统计最优估计。问题描述可以根据连续或离散、线性或非线性过程和测量动力学给出。根据这一描述,AUTOFILTER自动化了许多常见的求解方法(例如线性化、离散化),并完全自动生成C或Matlab代码。对于卡尔曼滤波器,AUTOFILTER超越了基于工具箱的编程方法,因为它不需要低级编程技能(例如,将库函数调用“粘合”在一起)。AUTOFILTER将讨论水平提升到手头问题的数学,而不是实现它所需的算法、数据结构、优化等细节。本文概述了AUTOFILLER,并给出了其在深空姿态估计中的实际应用示例。 主页: https://ti.arc.nasa.gov/tech/rse/synthesis项目-applications/autofilter/ 相关软件: SciNapse公司;莫德;Specware(特殊软件);简化;Nuprl公司;AutoBayes/CC;Coq公司;ReBEL公司;卡尔曼滤波器工具箱;卡尔姆托尔;倍频程;Matlab公司 引用于: 3文件 更多出版物: https://ti.arc.nasa.gov/tech/rse/publications/program-syn/#filter 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 实现卡尔曼滤波算法的自动化。 Zbl 1097.93037号乔恩·惠特尔;约翰·舒曼 2004 全部的 前5名6位作者引用 2 拉姆·普拉萨德·文凯特桑 2 乔恩·惠特尔 1 丹尼·埃文 1 Leuştean,Laurenţiu 1 格里高·罗什乌 1 Schumann,Johann M.博士。 连载1篇 1 ACM数学软件汇刊 在2个字段中引用 2 计算机科学(68至XX) 2 系统论;控制(93至XX) 按年份列出的引文