riccati-equations

The Kalman filter formalized in Rocq/MathComp: discrete Riccati theory (monotonicity, convergence, a unique stabilizing DARE solution), with executable OCaml extraction via CoqEAL.

Updated Aug 29, 2026
Rocq Prover

DericAugusto / ISN2022_Optimization

Star

Material from the course of Static and Dynamic Optimization at ENSEM - Université de Lorraine.

dynamic-programming optimization-methods simplex-algorithm lagrange-multipliers quasi-newton riccati-equations descent-algorithm gradient-algorithm

Updated Sep 17, 2023
MATLAB

kirankigi5 / RL_project_crank_rockers

Star

Control of InvertedPendulum on a cart

reinforcement-learning model-based-rl riccati-equations

Updated Apr 2, 2025
Jupyter Notebook

Add this topic to your repo

To associate your repository with the riccati-equations topic, visit your repo's landing page and select "manage topics."

Learn more