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

Generative Exploration and Exploitation - This is an improved version of GENE.

Implementation for Homogeneous Unbalanced Regularized Optimal Transport

Efficient 6-DoF Grasp Generation in Cluttered Scenes

All-in-one Docker container that allows a user to explore Nautobot in a lab environment.

HomeAssitant custom integration for dyson

Codes for NeurIPS 2021 paper "Adversarial Neuron Pruning Purifies Backdoored Deep Models"

(ImageNet pretrained models) The official pytorch implemention of the TPAMI paper "Res2Net: A New Multi-scale Backbone Architecture"

Contrastively Disentangled Sequential Variational Audoencoder

Simple machine learning library / 簡單易用的機器學習套件

Official repository for "Restormer: Efficient Transformer for High-Resolution Image Restoration". SOTA for motion deblurring, image deraining, denoising (Gaussian/real data), and defocus deblurring.

ESTDepth: Multi-view Depth Estimation using Epipolar Spatio-Temporal Networks (CVPR 2021)

Implementation of ICCV 2021 oral paper -- A Novel Self-Supervised Learning for Gaussian Mixture Model

Face Transformer for Recognition

An implementation of the efficient attention module.

A deep-learning pipeline for segmentation of ambiguous microscopic images.

Pairwise Learning for Neural Link Prediction for OGB (PLNLP-OGB)

Pytorch implementation of RED-SDS (NeurIPS 2021).

Using this codebase as a tool for my own research. Making some modifications to the original repo for my own purposes.

Graph Robustness Benchmark: A scalable, unified, modular, and reproducible benchmark for evaluating the adversarial robustness of Graph Machine Learning.

Chinese named entity recognization with BiLSTM using Keras