Systemic optimization of an active vibration micro-isolator: An interval computation and constraint propagation based approach | IEEE Conference Publication | IEEE Xplore