├── Generalized Lotka Volterra ├── Koopman.py ├── data │ ├── stein_ic.csv │ └── stein_parameters.csv ├── saved │ ├── K.npy │ ├── alpha.mat │ ├── alpha.npy │ ├── beta.mat │ ├── beta.npy │ ├── eps_5_CE.png │ ├── gamma.mat │ ├── gamma.npy │ ├── glv_invariant.png │ ├── mu_stable.mat │ ├── phi_stable.mat │ ├── phi_stable.npy │ └── rho.npy └── steady_state_reduction_example.py ├── README.md └── Van der Pol ├── Neural_Lyapunov ├── DeepLearning.py ├── README.md ├── model.py ├── read_dataset.py ├── saved │ ├── limit_cycle.npy │ └── trained_model.pkl └── tools.py └── Polynomial_Lyapunov ├── EDMD.py ├── SOS_verification.m └── saved ├── alpha.mat ├── beta.mat ├── gamma.mat ├── limit_cycle.npy ├── mu_stable.mat └── phi_stable.mat /Generalized Lotka Volterra/Koopman.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Generalized Lotka Volterra/Koopman.py -------------------------------------------------------------------------------- /Generalized Lotka Volterra/data/stein_ic.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Generalized Lotka Volterra/data/stein_ic.csv -------------------------------------------------------------------------------- /Generalized Lotka Volterra/data/stein_parameters.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Generalized Lotka Volterra/data/stein_parameters.csv -------------------------------------------------------------------------------- /Generalized Lotka Volterra/saved/K.npy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Generalized Lotka Volterra/saved/K.npy -------------------------------------------------------------------------------- /Generalized Lotka Volterra/saved/alpha.mat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Generalized Lotka Volterra/saved/alpha.mat -------------------------------------------------------------------------------- /Generalized Lotka Volterra/saved/alpha.npy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Generalized Lotka Volterra/saved/alpha.npy -------------------------------------------------------------------------------- /Generalized Lotka Volterra/saved/beta.mat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Generalized Lotka Volterra/saved/beta.mat -------------------------------------------------------------------------------- /Generalized Lotka Volterra/saved/beta.npy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Generalized Lotka Volterra/saved/beta.npy -------------------------------------------------------------------------------- /Generalized Lotka Volterra/saved/eps_5_CE.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Generalized Lotka Volterra/saved/eps_5_CE.png -------------------------------------------------------------------------------- /Generalized Lotka Volterra/saved/gamma.mat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Generalized Lotka Volterra/saved/gamma.mat -------------------------------------------------------------------------------- /Generalized Lotka Volterra/saved/gamma.npy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Generalized Lotka Volterra/saved/gamma.npy -------------------------------------------------------------------------------- /Generalized Lotka Volterra/saved/glv_invariant.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Generalized Lotka Volterra/saved/glv_invariant.png -------------------------------------------------------------------------------- /Generalized Lotka Volterra/saved/mu_stable.mat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Generalized Lotka Volterra/saved/mu_stable.mat -------------------------------------------------------------------------------- /Generalized Lotka Volterra/saved/phi_stable.mat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Generalized Lotka Volterra/saved/phi_stable.mat -------------------------------------------------------------------------------- /Generalized Lotka Volterra/saved/phi_stable.npy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Generalized Lotka Volterra/saved/phi_stable.npy -------------------------------------------------------------------------------- /Generalized Lotka Volterra/saved/rho.npy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Generalized Lotka Volterra/saved/rho.npy -------------------------------------------------------------------------------- /Generalized Lotka Volterra/steady_state_reduction_example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Generalized Lotka Volterra/steady_state_reduction_example.py -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/README.md -------------------------------------------------------------------------------- /Van der Pol/Neural_Lyapunov/DeepLearning.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Van der Pol/Neural_Lyapunov/DeepLearning.py -------------------------------------------------------------------------------- /Van der Pol/Neural_Lyapunov/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Van der Pol/Neural_Lyapunov/README.md -------------------------------------------------------------------------------- /Van der Pol/Neural_Lyapunov/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Van der Pol/Neural_Lyapunov/model.py -------------------------------------------------------------------------------- /Van der Pol/Neural_Lyapunov/read_dataset.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Van der Pol/Neural_Lyapunov/read_dataset.py -------------------------------------------------------------------------------- /Van der Pol/Neural_Lyapunov/saved/limit_cycle.npy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Van der Pol/Neural_Lyapunov/saved/limit_cycle.npy -------------------------------------------------------------------------------- /Van der Pol/Neural_Lyapunov/saved/trained_model.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Van der Pol/Neural_Lyapunov/saved/trained_model.pkl -------------------------------------------------------------------------------- /Van der Pol/Neural_Lyapunov/tools.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Van der Pol/Neural_Lyapunov/tools.py -------------------------------------------------------------------------------- /Van der Pol/Polynomial_Lyapunov/EDMD.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Van der Pol/Polynomial_Lyapunov/EDMD.py -------------------------------------------------------------------------------- /Van der Pol/Polynomial_Lyapunov/SOS_verification.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Van der Pol/Polynomial_Lyapunov/SOS_verification.m -------------------------------------------------------------------------------- /Van der Pol/Polynomial_Lyapunov/saved/alpha.mat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Van der Pol/Polynomial_Lyapunov/saved/alpha.mat -------------------------------------------------------------------------------- /Van der Pol/Polynomial_Lyapunov/saved/beta.mat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Van der Pol/Polynomial_Lyapunov/saved/beta.mat -------------------------------------------------------------------------------- /Van der Pol/Polynomial_Lyapunov/saved/gamma.mat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Van der Pol/Polynomial_Lyapunov/saved/gamma.mat -------------------------------------------------------------------------------- /Van der Pol/Polynomial_Lyapunov/saved/limit_cycle.npy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Van der Pol/Polynomial_Lyapunov/saved/limit_cycle.npy -------------------------------------------------------------------------------- /Van der Pol/Polynomial_Lyapunov/saved/mu_stable.mat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Van der Pol/Polynomial_Lyapunov/saved/mu_stable.mat -------------------------------------------------------------------------------- /Van der Pol/Polynomial_Lyapunov/saved/phi_stable.mat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dekovski/Koopman_Lyapunov/HEAD/Van der Pol/Polynomial_Lyapunov/saved/phi_stable.mat --------------------------------------------------------------------------------