Kalman Filter implementation in 3D coordinate space
The Kalman filter formalized in Rocq/MathComp: discrete Riccati theory (monotonicity, convergence, a unique stabilizing DARE solution), with executable OCaml extraction via CoqEAL.
This repository is a comprehensive archive of projects and assignments undertaken for the Pattern Recognition course (TIP8311) at the Federal University of Ceará as part of my Master's curriculum.
Add a description, image, and links to the linear-estimation topic page so that developers can more easily learn about it.
To associate your repository with the linear-estimation topic, visit your repo's landing page and select "manage topics."