Spiking neurons as predictive controllers of linear systems | Synapse