Nonstandard Tools for Nonsmooth Analysis
  This is an overview of the basic tools of nonsmooth analysis which are grounded on nonstandard models of set theory. By way of illustration we give a criterion for an infinitesimally optimal path of a general discrete dynamic system. 
S. S. Kutateladze
math.GM