Kharitonov based Reduction of Interval systems using Cauer-second form and Mihailov Criterion | IEEE Conference Publication | IEEE Xplore