Can I read Quantitative verification of Kalman filters on EtoBox?

Quantitative verification of Kalman filters by Alexandros Evangelidis; David Parker is a Computer Science article available to read on EtoBox.

What is Quantitative verification of Kalman filters about?

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 present a general framework for modelling Kalman filter implementations operating on linear discrete-time stochastic systems, and techniques to systematically construct a Markov model of the filter's operation using truncation and discretisation of the stochastic noise model. Numerical stability and divergence properties are then verified using probabilistic model checking. We evaluate the scalability and accuracy of our approach on two distinct probabilistic kinematic models and four Kalman filter implementations.

Who reads Quantitative verification of Kalman filters?

Author

Alexandros Evangelidis; David Parker

Publisher

Association for Computing Machinery (ACM)

Published

2021

Language

EN

Field

Computer Science (Physical Sciences)