pulseengine

12 packages

pulseengine/falcon-attitudeFormally-verified geometric SO(3) attitude controller as a WebAssembly Component — attitude setpoint + vehicle state → body-rate setpoint.componentv1.131.1

pulseengine/falcon-attitudeFormally-verified geometric SO(3) attitude controller as a WebAssembly Component — attitude setpoint + vehicle state → body-rate setpoint.componentv1.140.0

pulseengine/falcon-flightFormally-verified drone flight core (invariant-EKF estimator → geometric SE(3) attitude control → ADRC → mixer) as a portable WebAssembly Component. Runs the same cascade that is Kani/Verus/Rocq/Lean-verified natively and bare-metal on Cortex-M.componentv1.131.1

pulseengine/falcon-flightFormally-verified drone flight core (invariant-EKF estimator → geometric SE(3) attitude control → ADRC → mixer) as a portable WebAssembly Component. Runs the same cascade that is Kani/Verus/Rocq/Lean-verified natively and bare-metal on Cortex-M.componentv1.140.0

pulseengine/falcon-iekfFormally-verified invariant-EKF (SE₂(3)) navigation estimator as a WebAssembly Component — fuses IMU/GNSS/mag/baro into a 16-state attitude/velocity/position/bias estimate.componentv1.131.1

pulseengine/falcon-iekfFormally-verified invariant-EKF (SE₂(3)) navigation estimator as a WebAssembly Component — fuses IMU/GNSS/mag/baro into a 16-state attitude/velocity/position/bias estimate.componentv1.140.0

pulseengine/falcon-mixerFormally-verified control allocator (mixer) as a WebAssembly Component — body torque + thrust → per-motor commands (airframe-parameterizable).componentv1.131.1

pulseengine/falcon-mixerFormally-verified control allocator (mixer) as a WebAssembly Component — body torque + thrust → per-motor commands (airframe-parameterizable).componentv1.140.0

pulseengine/falcon-positionFormally-verified position/velocity controller as a WebAssembly Component — NED waypoint + vehicle state → attitude setpoint.componentv1.140.0

pulseengine/falcon-rateFormally-verified body-rate PID controller as a WebAssembly Component — body-rate setpoint + gyro → body torque. Airframe-agnostic; part of the falcon:cascade control loop.componentv1.131.1

pulseengine/falcon-rateFormally-verified body-rate PID controller as a WebAssembly Component — body-rate setpoint + gyro → body torque. Airframe-agnostic; part of the pulseengine:falcon-cascade control loop.componentv1.140.0

pulseengine/gale-nanocomponentv0.10.0