The Circle Criterion and Input-to-State Stability | IEEE Journals & Magazine | IEEE Xplore