Mathematical control theory (1985)