Convergent iterative model unfalsification for control | IEEE Conference Publication | IEEE Xplore