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

PyTorch implementation of our ICCV 2021 paper Intrinsic-Extrinsic Preserved GANs for Unsupervised 3D Pose Transfer.

Parameter-ensemble-differential-evolution - Shows how to do parameter ensembling using differential evolution.

NeuralWOZ: Learning to Collect Task-Oriented Dialogue via Model-based Simulation (ACL-IJCNLP 2021)

A tool to visualise the results of AlphaFold2 and inspect the quality of structural predictions

An alarm clock coded in Python 3 with Tkinter

House3D: A Rich and Realistic 3D Environment

The Implicit Bias of Gradient Descent on Generalized Gated Linear Networks

Fast mesh denoising with data driven normal filtering using deep variational autoencoders

Self-supervised spatio-spectro-temporal represenation learning for EEG analysis

A custom DeepStack model for detecting 16 human actions.

FS2KToolbox FS2K Dataset Towards the translation between Face

This repository introduces a short project about Transfer Learning for Classification of MRI Images.

A resource for learning about deep learning techniques from regression to LSTM and Reinforcement Learning using financial data and the fitness functions of algorithmic trading

Resources for the "Evaluating the Factual Consistency of Abstractive Text Summarization" paper

style mixing for animation face

Real-time ground filtering algorithm of cloud points acquired using Terrestrial Laser Scanner (TLS)

An unofficial styleguide and best practices summary for PyTorch

A new version of the CIDACS-RL linkage tool suitable to a cluster computing environment.

Answer a series of contextually-dependent questions like they may occur in natural human-to-human conversations.

Object recognition using Azure Custom Vision AI and Azure Functions