Quantitative verification of Kalman filters

DOI10.1007/S00165-020-00529-WOpenAlexW3129162506MaRDI QIDQ1982642

Yanyan Li

Publication date: 14 September 2021

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-020-00529-w

zbMATH Keywords

Kalman filterquantitative verificationprobabilistic model checking

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• Commons Math
• Unnamed Item
• Unnamed Item
• Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stochastic models, estimation, and control. Vol. 2,3
• Tracking and data association
• Factorization methods for discrete sequential estimation
• A logic for reasoning about time and reliability
• Stochastic processes and filtering theory
• Performance Analysis of the Kalman Filter With Mismatched Noise Covariances
• Stochastic Model Checking
• Numerical aspects of different Kalman filter implementations
• Kalman Filtering
• Automating the implementation of Kalman filter algorithms
• Computer Aided Verification

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