Skip to content

Conversation

@AYadrov
Copy link
Contributor

@AYadrov AYadrov commented Oct 24, 2025

This PR adds new benchmarks.
These benchmarks represent Kalman filter implementation that is taken from: Elaeina repository.

Kalman filter benchmarks are parsed per each output variable.
Despite that the benchmarks share a large part of executions - they differ in an output variable.

@AYadrov AYadrov requested a review from pavpanchekha October 24, 2025 18:46
Copy link

@chatgpt-codex-connector chatgpt-codex-connector bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment on lines +137 to +140
; predict_x
(let ([x0* (+ x0 (+ x1 (* 0.5 (* dt (* dt x2)))))]
[x1* (+ x1 x2)]
[x2* x2])

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Scale state prediction by dt

The predicted state vector does not use the transition matrix coefficients that include dt. x0* adds x1 directly and x1* adds x2 directly, so the position and velocity are advanced as if the time step were always 1 second. For any other dt the predicted state is wrong and Kalman updates use inconsistent P and x propagation. Multiply the velocity by dt and acceleration by dt in these assignments (e.g. (+ x0 (* dt x1) …) and (+ x1 (* dt x2))).

Useful? React with 👍 / 👎.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That's true, but still, nice to keep them to preserve a complete behavior of the initial program

@pavpanchekha pavpanchekha merged commit 8ff70ad into main Oct 29, 2025
6 checks passed
@pavpanchekha pavpanchekha deleted the kalman-filter-benchmarks branch October 29, 2025 03:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants