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

Implementation of Neural Distance Embeddings for Biological Sequences (NeuroSEED) in PyTorch

Main repository for the HackBio'2021 Virtual Internship Experience for #Team-Greider ❤️

Reproducing Results from A Hybrid Approach to Targeting Social Assistance

Personalized Transfer of User Preferences for Cross-domain Recommendation (PTUPCDR)

Flow is a computational framework for deep RL and control experiments for traffic microsimulation.

Here is the implementation of our paper S2VC: A Framework for Any-to-Any Voice Conversion with Self-Supervised Pretrained Representations.

Repository for the NeurIPS 2021 paper: "Exploiting Domain-Specific Features to Enhance Domain Generalization".

Open source annotation tool for machine learning practitioners.

An extremely simple, intuitive, hardware-friendly, and well-performing network structure for LiDAR semantic segmentation on 2D range image. IROS21

A3C LSTM Atari with Pytorch plus A3G design

Vision Transformer for 3D medical image registration (Pytorch).

Grammar Induction using a Template Tree Approach

This repository contains various models targetting multimodal representation learning, multimodal fusion for downstream tasks such as multimodal sentiment analysis.

Densely Connected Convolutional Networks, In CVPR 2017 (Best Paper Award).

This repo. is an implementation of ACFFNet, which is accepted for in Image and Vision Computing.

Generative Art Using Neural Visual Grammars and Dual Encoders

This is a virtual picture dragging application. Users may virtually slide photos across the screen. The distance between the index and middle fingers determines the movement. Smaller distances indicate click and motion, whereas bigger distances indicate only hand movement.

NeRF visualization library under construction

Explanatory Learning: Beyond Empiricism in Neural Networks

Code base for the paper "Scalable One-Pass Optimisation of High-Dimensional Weight-Update Hyperparameters by Implicit Differentiation"