Graphing a piecewise defined function might seem daunting at first, but breaking down the process into manageable steps can make it significantly easier. A piecewise function, as the name suggests, is ...

This repo contains some Python tooling to simplify linear combinations of piecewise linear functions, then finally emit them (and their first derivatives) as Excel formulas. The motivating application ...

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

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