Title: Exploiting structure
Subjects: Controllers, H-infinity control, Theorem proving, Transfer functions, Numerical stability