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

Rethinking Transformer-based Set Prediction for Object Detection

Phonetic PosteriorGram (PPG)-Based Voice Conversion (VC)

A PyTorch implementation of "From Two to One: A New Scene Text Recognizer with Visual Language Modeling Network" (ICCV2021)

Structure-Preserving Deraining with Residue Channel Prior Guidance (ICCV2021)

List of awesome things around semantic segmentation 🎉

ONNX-PackNet-SfM: Python scripts for performing monocular depth estimation using the PackNet-SfM model in ONNX

Learning based AI for playing multi-round Koi-Koi hanafuda card games. Have fun.

(SIGIR2020) “Asymmetric Tri-training for Debiasing Missing-Not-At-Random Explicit Feedback’’

Using PyTorch Perform intent classification using three different models to see which one is better for this task

Semi-Supervised 3D Hand-Object Poses Estimation with Interactions in Time

Implementation of "Unsupervised Domain Adaptive 3D Detection with Multi-Level Consistency"

A novel pipeline framework for multi-hop complex KGQA task. About the paper title: Improving Multi-hop Embedded Knowledge Graph Question Answering by Introducing Relational Chain Reasoning

Unsupervised Domain Adaptation for Nighttime Aerial Tracking (CVPR2022)

A parallel framework for population-based multi-agent reinforcement learning.

Collect super-resolution related papers, data, repositories

The code repository for "PyCIL: A Python Toolbox for Class-Incremental Learning" in PyTorch.

Implementation of the master's thesis "Temporal copying and local hallucination for video inpainting".

Code for the paper Relation Prediction as an Auxiliary Training Objective for Improving Multi-Relational Graph Representations (AKBC 2021).

An easy-to-use app to visualise attentions of various VQA models.

Differentiable Optimizers with Perturbations in Pytorch