2021
DOI: 10.1007/s00165-020-00529-w
|View full text |Cite
|
Sign up to set email alerts
|

Quantitative verification of Kalman filters

Abstract: Kalman filters are widely used for estimating the state of a system based on noisy or inaccurate sensor readings, for example in the control and navigation of vehicles or robots. However, numerical instability or modelling errors may lead to divergence of the filter, leading to erroneous estimations. Establishing robustness against such issues can be challenging. We propose novel formal verification techniques and software to perform a rigorous quantitative analysis of the effectiveness of Kalman filters. We… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2024
2024
2024
2024

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(1 citation statement)
references
References 24 publications
0
1
0
Order By: Relevance
“…The calibration of standard and specific Q were based on consistency tests, specifically the innovation magnitude bound (IMB) test and the normalized innovations squared (NIS) Chi-square test [ 61 ]. These two tests are used to check that the NSEs are performing correctly with Q and R selected [ 50 , 62 ].…”
Section: Empirical Evaluationmentioning
confidence: 99%
“…The calibration of standard and specific Q were based on consistency tests, specifically the innovation magnitude bound (IMB) test and the normalized innovations squared (NIS) Chi-square test [ 61 ]. These two tests are used to check that the NSEs are performing correctly with Q and R selected [ 50 , 62 ].…”
Section: Empirical Evaluationmentioning
confidence: 99%