A formal model of computation for sensory-based robotics | Synapse