Nonsmooth Analysis and Control Theory