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

In this paper, a new methodology for curve approximation is presented. The method is suitable for both self-intersected and non self-intersected curves, it combines elements from graph theory and from ...

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

PiecewiseLinearOpt.jl PiecewiseLinearOpt.jl is a JuMP extension for modeling optimization problems containing piecewise linear functions. This package is an accompaniment to a paper entitled Nonconvex ...