State transition
Also: transition rule
A defined change from one state to another when a condition or event occurs.
A transition specifies source, guard/event, destination, outputs, and any entry or exit action.
Example MOVING plus stale command transitions to FAULT with zero motor output.
Common misconception Changing an unrelated flag is not an auditable state transition when operating mode remains ambiguous.