controller_machine.json

{
  "id": "controller",
  "initialState": "idle",
  "states": [
    { "id": "idle", "onEnter": [] },
    { "id": "approaching", "onEnter": ["emit_approaching"] },
    { "id": "present", "onEnter": [] },
    { "id": "leaving", "onEnter": ["emit_leaving"] },
    { "id": "away", "onEnter": [] }
  ],
  "actions": [
    { "id": "emit_approaching", "type": "EMIT", "target": "approaching", "parameters": {} },
    { "id": "emit_leaving", "type": "EMIT", "target": "leaving", "parameters": {} }
  ],
  "functions": [],
  "transitions": [
    { "from": "idle", "event": "seen", "to": "approaching" },
    { "from": "approaching", "event": "seen", "to": "present" },
    { "from": "present", "event": "¬seen", "to": "leaving" },
    { "from": "leaving", "event": "¬seen", "to": "away" },
    { "from": "away", "event": "¬seen", "to": "idle" }
  ]
}