The current FSM has some redundancies and irrelevant states. Some states in questions include: - Lock - Arm - Estop Also, control signals like "END_OF_TRACK" seem redundant to the "BRAKE_cmd".