Mathematical control theory