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

Learned Initializations for Optimizing Coordinate-Based Neural Representations

Official implementation of the paper Chunked Autoregressive GAN for Conditional Waveform Synthesis

This is an official implementation of the High-Resolution Transformer for Dense Prediction.

Revisiting Contrastive Methods for Unsupervised Learning of Visual Representations. [2021]

Dados coletados e programas desenvolvidos no processo de iniciação científica

Camera calibration & 3D pose estimation tools for AcinoSet

Have you ever wondered how cool it would be to have your own A.I

Emotion Recognition from Facial Images

Direct Multi-view Multi-person 3D Human Pose Estimation

Tightness-aware Evaluation Protocol for Scene Text Detection

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

A code generator from ONNX to PyTorch code

Simple Text-Generator with OpenAI gpt-2 Pytorch Implementation

Implementation supporting the ICCV 2017 paper "GANs for Biological Image Synthesis"

The official code repo of "HTS-AT: A Hierarchical Token-Semantic Audio Transformer for Sound Classification and Detection"

Sparse-dense operators implementation for Paddle

🧠 A PyTorch implementation of 'Deep CORAL: Correlation Alignment for Deep Domain Adaptation.', ECCV 2016

Repository for XLM-T, a framework for evaluating multilingual language models on Twitter data

Code for ICDM2020 full paper: "Sub-graph Contrast for Scalable Self-Supervised Graph Representation Learning"

Region-aware Contrastive Learning for Semantic Segmentation, ICCV 2021