New characterizations of input-to-state stability | Synapse