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: We develop a novel 2D functional learning framework that employs a sparsity-promoting regularization based on second-order derivatives. Motivated by the nature of the regularizer, we ...

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