Compact Modeling of Nonlinear Analog Circuits Using System Identification via Semidefinite Programming and Incremental Stability Certification | IEEE Journals & Magazine | IEEE Xplore