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

EventBridge Lambda-to-Lambda example

This example SAM application creates two Lambda functions, called invoiceService and orderService. It creates a rule that listens for events and routes to the target, invoiceService. When the ...
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 ...