Abstract: Analysis of continuous-time piecewise linear systems based on piecewise quadratic (PWQ) Lyapunov functions typically requires continuity of these functions. Several conditions for ...
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 markdown file is interspersed with code fragments describing the content of a Minecraft data pack. Using lectern, you can turn this single file into an actual data pack that can be loaded into ...
This repository implements ECP algorithm for solving non-convex black-box global optimization problems, as introduced in Every Call is Precious: Global Optimization of Black-Box Functions with Unknown ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results