Computational Control Design

Contents

Design of complex control systems is difficult to mechanize. The difficulties arise from the lack of design methodologies that actively exploit and efficiently represent the special nature of nonlinear dynamics, and from the lack of high-level computational tools that effectively use the representation to guide and perform the control design. My research is concerned with the mechanization of control design tasks by computer programs.