Git Product home page Git Product logo

koopmanbrs's Introduction

Koopman-inspired Implicit Backward Reachable Sets for Unknown Nonlinear Systems

The code accompanying our IEEE L-CSS submission that reproduces the results in the paper.

Authors: Haldun Balim, Antoine Aspeel, Zexiang Liu, Necmiye Ozay

Setup

From the base directory of this repository, install dependencies with:

pip install -r requirements.txt

Note: We are advising the users to create a fresh virtualenv with Python 3.8.5.

Usage

The following code snippets can be used to reproduce the results in the paper. They are intended to be run from the src/ directory of this repository.

Duffing Oscillator

To reproduce the results for the Duffing oscillator, run the following command. This script will generate the Figure 2 in the paper and it will be saved as figures/figure2.png:

python main_duffing.py

Pendulum

To reproduce the results for the pendulum, first run the following command to collect data:

python collect_data_pendulum.py

Then, the following command can be used to generate the results for a given lifting function. As lifting_type 0 corresponds to the lifting with sin function, 1 corresponds to the identity lifting.

python main_pendulum.py --lift-type {lifting_type}

After both results are generated, the following command can be used to generate the Figure 3 in the paper and it will be saved as figures/figure3.png:

python plot_pendulum.py

koopmanbrs's People

Contributors

haldunbalim avatar

Stargazers

Mohamad Louai Shehab avatar  avatar  avatar Necmiye Ozay avatar Jeff Carpenter avatar

Watchers

 avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.