Given a locally Lipschitz control system which is globally asymptotically controllable to the origin, we construct a control-Lyapunov function for the system which is Lipschitz on bounded sets and we deduce the existence of another one which is semiconcave (and so locally Lipschitz) outside the origin. The proof relies on value functions and nonsmooth calculus.

We investigate the convergence of a forward-backward-forward proximal-type algorithm with inertial and memory effects when minimizing the sum of a nonsmooth function with a smooth one in the absence of convexity. The convergence is obtained provided an appropriate regularization of the objective satisfies the KurdykaLojasiewicz inequality, which is for instance fulfilled for semi-algebraic func...

This work develops robust contact algorithms capable of dealing with multibody nonsmooth contact geometries for which neither normals nor gap functions can be defined. Such situations arise in the early stage of fragmentation when a number of angular fragments undergo complex collision sequences before eventually scattering. Such situations precludes the application of most contact algorithms p...

We derive a uniform (strong) Law of Large Numbers (LLN) for random set-valued mappings. The result can be viewed as an extension of both, a uniform LLN for random functions and LLN for random sets. We apply the established results to a consistency analysis of stationary points of sample average approximations of nonsmooth stochastic programs. © 2006 Elsevier Inc. All rights reserved.

A generalization of a result of Berezin and Gel’fand in the context of Eaton triples is given. The generalization and its proof are Lie-theoretic free and requires some basic knowledge of nonsmooth analysis. The result is then applied to determine the distance between a point and a G-orbit or its convex hull. We also discuss the derivatives of some orbital functions.

We present a numerical algorithm for computing Lyapunov functions for a class of strongly asymptotically stable nonlinear differential inclusions which includes switched systems and systems with uncertain parameters. The method relies on techniques from nonsmooth analysis and linear programming and leads to a piecewise affine Lyapunov function. We provide a thorough analysis of the method and p...