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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback