GitHub

This is a simple example of how to deploy an Azure Function using ZipDeploy. This is a very simple way to deploy an Azure Function without having to use a full CI/CD pipeline.

To learn more about how the template was done refer to the blog post on How to Deploy a .NET isolated Azure Function using Zip Deploy in One-Click on frankysnotes.com. There is also a video on YouTube ...
IEEE

Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems

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