State Machine Model of a Controller System for an Educational Mobile Robot | Synapse