Control theory is a fabulous subject and has nice relationships to computational theory because classical (and more modern [s/d/o/nl/MPC] control theory) are obsessed with optimality, reachability and provable optimality and stability. In practice most control systems in the world are not designed nor run under the assumptions necessary to have an optimal controller. This is a field with a tremendous gap between theory and practice.