Quantitative verification of numerical stability for Kalman filters

DOI10.1007/978-3-030-30942-8_26MaRDI QIDQ6535964zbMATH OpenFDO

Authors Alexandros Evangelidis, David Parker

Publication date 14 March 2024

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)

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

Cites work

• scientific article; zbMATH DE number 3711820 (Why is no real title available?)
• scientific article; zbMATH DE number 699423 (Why is no real title available?)
• scientific article; zbMATH DE number 3278065 (Why is no real title available?)
• A logic for reasoning about time and reliability
• Automating the implementation of Kalman filter algorithms
• Certifying optimality of state estimation programs.
• Factorization methods for discrete sequential estimation
• Stochastic models, estimation, and control. Vol. 2,3

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)