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

Selective Wavelet Attention Learning for Single Image Deraining

Pytorch implementation of COIN, a framework for compression with implicit neural representations 🌸

Code for Towards Unifying Behavioral and Response Diversity for Open-ended Learning in Zero-sum Games

Lip Reading - Cross Audio-Visual Recognition using 3D Convolutional Neural Networks

Apply AnimeGAN-v2 across frames of a video clip

Gym environment for FLIPIT: The Game of "Stealthy Takeover"

FCAF3D: Fully Convolutional Anchor-Free 3D Object Detection

The Python ensemble sampling toolkit for affine-invariant MCMC

The Balloon Learning Environment - flying stratospheric balloons with deep reinforcement learning.

Dataset Cartography: Mapping and Diagnosing Datasets with Training Dynamics

NLP made easy

Official implementation of the ICCV 2021 paper "Joint Inductive and Transductive Learning for Video Object Segmentation"

Official repository of the paper 'Essentials for Class Incremental Learning'

Self-Supervised Monocular DepthEstimation with Internal Feature Fusion(arXiv), BMVC2021

Confidence Propagation Cluster aims to replace NMS-based methods as a better box fusion framework in 2D/3D Object detection

Discriminative Condition-Aware PLDA

NU-Wave: A Diffusion Probabilistic Model for Neural Audio Upsampling @ INTERSPEECH 2021 Accepted

Autolfads-tf2 - A TensorFlow 2.0 implementation of Latent Factor Analysis via Dynamical Systems (LFADS) and AutoLFADS

PyTorch Kafka Dataset: A definition of a dataset to get training data from Kafka.

RaftMLP: How Much Can Be Done Without Attention and with Less Spatial Locality?