Controllability of switched linear systems | Synapse