A python implementation of the algorithm used to generate optimal piecewise linear approximations of convex functions proposed by Imamoto and Tang [1]. The algorithm uses an iterative search to find ...

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 ...

Abstract: This paper deals with piecewise-affine functions as Lyapunov function candidates for stability analysis of time-invariant discrete-time linear systems with saturating closed-loop control ...

This letter proves that a ReLU network can approximate any continuous function with arbitrary precision by means of piecewise linear or constant approximations. For univariate function f(x), we use ...

This is a preview. Log in through your library . Mathematics of Operations Research publishes articles concerned with mathematical and computational foundations of operations research, including ...