Trajectory-based proofs for sampled-data extremum seeking control | IEEE Conference Publication | IEEE Xplore