Title: A computer-aided approach to nonlinear control synthesis
Subjects: Computer programs