Neural-Koopman-Lyapunov-Control

Code for our paper: Neural Koopman Lyapunov Control

Requirements

The learning framework consists of the learner and falsifier (or verifier). The learner simultaneously learns the Control Lyapunov Function (CLF), Koopman based observables (encoder), decoder and the matrices constituting the Koopman bilinear system. The falsifier (SMT solver) is used to generate counterexamples that do no satisfy the Control Lyapunov conditions (or satisfy the falsification constraint). These counterexamples are added to the training set. The process is repeated till the SMT solver is not able to generate any counterexamples.

A typical process is as follows:

Define the neural network for the Control Lyapunov function (CLF), encoder (Koopman observables) and decoder.
Collect data from the unknown nonlinear system and add them to the training set
Set checking conditions for falsifier (falsification constraint)
Start training and verifying
Procedure stops when no counterexample is found by the SMT solver

If you face any issues installing the packages, please feel free to directly run the codes on Google Colab.

Neural Koopman Lyapunov Control

Related tags

Overview

Neural-Koopman-Lyapunov-Control

Requirements

A typical process is as follows:

Owner

Vrushabh Zinage

Building blocks for uncertainty-aware cycle consistency presented at NeurIPS'21.

HugsVision is a easy to use huggingface wrapper for state-of-the-art computer vision

This repository contains all source code, pre-trained models related to the paper "An Empirical Study on GANs with Margin Cosine Loss and Relativistic Discriminator"

gym-anm is a framework for designing reinforcement learning (RL) environments that model Active Network Management (ANM) tasks in electricity distribution networks.

Tensorflow implementation of Semi-supervised Sequence Learning (https://arxiv.org/abs/1511.01432)

Unofficial implementation of One-Shot Free-View Neural Talking Head Synthesis

MLOps will help you to understand how to build a Continuous Integration and Continuous Delivery pipeline for an ML/AI project.

PyTorch Implementation of Google Brain's WaveGrad 2: Iterative Refinement for Text-to-Speech Synthesis

NeuPy is a Tensorflow based python library for prototyping and building neural networks

Collection of tasks for fast prototyping, baselining, finetuning and solving problems with deep learning.

Weakly Supervised Segmentation by Tensorflow.

Linear Variational State Space Filters

Control-Robot-Arm-using-PS4-Controller - A Robotic Arm based on Raspberry Pi and Arduino that controlled by PS4 Controller

Code and data accompanying our SVRHM'21 paper.

A very lightweight monitoring system for Raspberry Pi clusters running Kubernetes.

PConv-Keras - Unofficial implementation of "Image Inpainting for Irregular Holes Using Partial Convolutions". Try at: www.fixmyphoto.ai

Understanding Convolution for Semantic Segmentation

An example of semantic segmentation using tensorflow in eager execution.

Official implement of Evo-ViT: Slow-Fast Token Evolution for Dynamic Vision Transformer