A runtime assurance state machine that detects sensor and actuator faults and switches a simulated robot into provably bounded fallback modes.
local-first robotics-embedded-systems trace-minimizer timed-event-bus fault-detector-bank mode-automaton safety-envelope-checker
-
Updated
Sep 18, 2026 - Python