Software-Enabled Control