Crate kalix 

Kalix — Declarative Kalman filtering from dynamics expressions.

Write the physics as symbolic expressions, and the system automatically derives the F (transition) and H (observation) matrices, detects linearity, and selects the appropriate filter variant (linear KF or EKF).

Example

# configs/trend_no_accel.toml
[filter]
name = "trend_no_accel"

[state]
variables = ["pos", "vel"]

[dynamics]
pos = "pos + vel*dt"
vel = "vel"

[observation]
variables   = ["z"]
expressions = ["pos"]

use kalix::config::{Config, Variant};

let toml_str = std::fs::read_to_string("configs/trend_no_accel.toml").unwrap();
let config = Config::from_toml(&toml_str).unwrap();
assert_eq!(config.variant, Variant::Linear);

Modules

config

TOML config parsing, validation, and matrix derivation.

expr

filter

io

log

Structured JSON tracing setup via tracing + tracing-subscriber.

matrix

Matrix construction from derived Jacobians.