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

CondenseNet V2: Sparse Feature Reactivation for Deep Networks

The description of FMFCC-A (audio track of FMFCC) dataset and Challenge resluts.

なりすまし検出(anti-spoof-mn3)のWebカメラ向けデモ

Speech recognition tool to convert audio to text transcripts, for Linux and Raspberry Pi.

Membership Inference Attack against Graph Neural Networks

This is the repository for Learning to Generate Piano Music With Sustain Pedals

This is the solution for 2nd rank in Kaggle competition: Feedback Prize - Evaluating Student Writing.

Sample and Computation Redistribution for Efficient Face Detection

Official implementation of "A Unified Objective for Novel Class Discovery", ICCV2021 (Oral)

An algorithm that handles large-scale aerial photo co-registration, based on SURF, RANSAC and PyTorch autograd.

Self-Supervised Learning of Event-based Optical Flow with Spiking Neural Networks

source code of “Visual Saliency Transformer” (ICCV2021)

Improving Factual Consistency of Abstractive Text Summarization

Credit fraud detection in Python using a Jupyter Notebook

This is a JAX implementation of Neural Radiance Fields for learning purposes.

PyTorch(Geometric) implementation of G^2GNN in "Imbalanced Graph Classification via Graph-of-Graph Neural Networks"

Deep learning-based approach to discovering Granger causality networks in multivariate time series

Discovering and Achieving Goals via World Models

Official Pytorch Implementation of Unsupervised Image Denoising with Frequency Domain Knowledge

The official repository for our paper "The Devil is in the Detail: Simple Tricks Improve Systematic Generalization of Transformers". We significantly improve the systematic generalization of transformer models on a variety of datasets using simple tricks and careful considerations.