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

🌾 PASTIS 🌾 Panoptic Agricultural Satellite TIme Series

On the Analysis of French Phonetic Idiosyncrasies for Accent Recognition

Implementation of Retrieval-Augmented Denoising Diffusion Probabilistic Models in Pytorch

prior-based-losses-for-medical-image-segmentation

Indices Matter: Learning to Index for Deep Image Matting

Deep motion transfer

Hardware accelerated, batchable and differentiable optimizers in JAX.

Session-based Recommendation, CoHHN, price preferences, interest preferences, Heterogeneous Hypergraph, Co-guided Learning, SIGIR2022

Geometric Deep Learning Extension Library for PyTorch

Phylogeny Partners

This codebase is the official implementation of Test-Time Classifier Adjustment Module for Model-Agnostic Domain Generalization (NeurIPS2021, Spotlight)

Code for intrusion detection system (IDS) development using CNN models and transfer learning

Deep learning PyTorch library for time series forecasting, classification, and anomaly detection

PyTorch code for EMNLP 2021 paper: Don't be Contradicted with Anything! CI-ToD: Towards Benchmarking Consistency for Task-oriented Dialogue System

Implement the Pareto Optimizer and pcgrad to make a self-adaptive loss for multi-task

Unifying Architectures, Tasks, and Modalities Through a Simple Sequence-to-Sequence Learning Framework

Attention mechanism with MNIST dataset

Dense Gaussian Processes for Few-Shot Segmentation

Mixed Transformer UNet for Medical Image Segmentation

Pytorch implementation of "Neural Wireframe Renderer: Learning Wireframe to Image Translations"