Thatcher is a Julia fan and a former physics student who has spent the last four years building and refining attitude determination and control systems as a Flight Dynamics Engineer at a satellite communications startup.
Extended Kalman filters are super useful in robotics and embedded systems, but require the derivation of large state derivative matrices. Julia's symbolic manipulation facilities can make this much easier! I will introduce TinyEKFGen.jl, a Julia package that converts nice Julia expressions to embeddable C-code that works with the TinyEKF library, and show some examples usages (including one that runs in space!).