Algorithmic search for contraction metrics via SOS programming | IEEE Conference Publication | IEEE Xplore