Abstract: The analysis of the synchronization between biological signals can be helpful for the characterization of biological functions. Biological signals are however often strongly non stationary.
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 ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback