@第{zbMATH07395148条，作者={Evangelidis，Alexandros和Parker，David}，标题={定量验证{卡尔曼}滤波器}，FJournal＝{计算的形式方面}，日志={正式Asp.Compute.}，ISSN={0934-5043}，体积={33}，数字={4-5}，页码={669--693}，年份={2021}，语言={英语}，DOI={10.1007/s00165-020-00529-w}，关键词={68Q60,62M20,68Q87,93E11}，zbMATH＝{7395148}，Zbl={1519.68134}}