Computer-aided Nonlinear Control System Design