Towards a constructive framework for control theory