Robust Root Assignment by Symbolic Computation and Its Application to Control System Design( Robust Computation and Its Verification)