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

Bounded-Function-Based Schemes for Finite-Time Control of a NWMR With Input Constraints

Abstract: This paper investigates the problem of finite-time stabilization and trajectory tracking control of a nonholonomic wheeled mobile robot (NWMR) under input constraints. Based on the ...
GitHub

RP2DAQ - Raspberry Pi Pico for Data Acquisition (and much more)

Raspberry Pi Pico is a small, but quite powerful microcontroller board. When connected to a computer over USB, it can serve as an interface to hardware - which may be as simple as a digital ...