Nonstandard Tools for Nonsmooth Analysis
arXiv:1206.2364
Abstract
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.
A talk for the conference "Constructive Nonsmooth Analysis and Related Topics" in the Euler Mathematical Institute, St. Petersburg, June 18-23, 2012