Differential games and control theory