Quantitative verification of numerical stability for Kalman filters

DOI10.1007/978-3-030-30942-8_26zbMATH Open1539.6816MaRDI QIDQ6535964FDOQ6535964

Authors: Alexandros Evangelidis, David Parker 

Publication date: 14 March 2024

Recommendations

• Quantitative verification of Kalman filters
• Robust Kalman filter for systems subject to parametric uncertainties
• On Stability of a Class of Filters for Nonlinear Stochastic Systems
• Certifying optimality of state estimation programs.
• Robust Kalman filters under epistemic uncertainty for non-Gaussian systems with multiplicative noise

Mathematics Subject Classification ID

Filtering in stochastic control theory (93E11) Signal detection and filtering (aspects of stochastic processes) (60G35) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Automating the implementation of Kalman filter algorithms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Factorization methods for discrete sequential estimation
• Title not available (Why is that?)
• Stochastic models, estimation, and control. Vol. 2,3
• A logic for reasoning about time and reliability
• Certifying optimality of state estimation programs.

This page was built for publication: Quantitative verification of numerical stability for Kalman filters

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535964)