Abstract: One of the most important properties of neural nets (NNs) for control purposes is the universal approximation property. Unfortunately,, this property is generally proven for continuous ...

Abstract: We introduce an algorithm for synthesizing and verifying piecewise linear Lyapunov functions to prove global exponential stability of piecewise linear dynamical systems. The Lyapunov ...

We consider piecewise H¹ functions and vector fields associated with a class of meshes generated by independent refinements and show that they can be effectively analyzed in terms of the number of ...

This is a preview. Log in through your library . Abstract We define two functions f and g on the unit interval [0, 1] to be strongly conjugate $\operatorname{iff}$ there is an order-preserving ...