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: In this paper a class of Piecewise Quadratic Lyapunov Functions (PQLFs) for the analysis of the robust stability of linear systems subject to polytopic uncertainties is considered. These ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results