Extended Kalman Filter (EKF) — Nominal + Mismatch Specs
🎁 Contribute & earn PWM
Improve L2-428-001 — submit with or without uploading. Accepted submissions earn the 1/16 modify share of A(t).
✨ Submit without uploading free check · 1×
One click — no files, no typing. We submit a check of L2-428-001 for you; it goes through review and earns the 1/16 share once. One free no-upload Digital Twin per account.
You'll be asked to log in first — then it's one click, no files.
⬆ Or submit by uploading your files
Upload your .md + .json
as a modification of L2-428-001. Unlimited.
🛠 Helper: build your files in ChatGPT / Gemini / Claude
Layer template
Fork L2-428-001
Prompt — copy into your LLM
You are helping me submit a MODIFICATION of L2-428-001 (Extended Kalman Filter (EKF) — Nominal + Mismatch Specs) to the PWM Protocol — a Digital Twin (L2) artifact. I will paste a Markdown template (or the current L2-428-001.md). 1. Rewrite the Markdown so the science is correct and clearly explained for my change. 2. Regenerate the sibling L2-428-001.json so EVERY field matches the Markdown. 3. Keep the schema in the "File Mapping" footer at the bottom of the MD. 4. Keep the parent reference unchanged unless I ask otherwise. Rules: the Markdown is the source of truth; use SI units; do NOT invent benchmark scores. Output each file in its own fenced code block tagged with the filename. Here is my template: [PASTE THE .md HERE]
⚙ Forward Model
derived from principle L1-428y = `O.innov.consistency_check` `D.time.explicit` `S.ekf.jacobian_linearization` x + n, n ~ 𝒩(0, σ²)
Noise: additive Gaussian noise