hub / github.com/StanfordASL/neural-network-lyapunov

github.com/StanfordASL/neural-network-lyapunov @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

1,699 symbols 4,680 edges 121 files 476 documented · 28% ● updated 15mo ago★ 1813 open issues

Browse by type

⨍ Functions 1,470◇ Types & classes 229

What it actually does AI analysis from the code graph — generated when you open this

loading…

Core symbols most depended-on inside this repo

↓ 38 filesGurobiTorchMIP

This class will be used in computing the gradient of an MIP optimal cost w.r.t constraint/objective data. It uses gurobi to solve …

neural_network_lyapunov/gurobi_torch_mip.py

↓ 33 filesMixedIntegerConstraintsReturn

We often convert a piecewise linear(affine) function y=f(x) to mixed integer linear constraints, where `x` is our input, and `y` …

neural_network_lyapunov/gurobi_torch_mip.py

↓ 20 filesTrainer

We will train a Lyapunov function or/and a barrier function to prove the stability or/and the safety of a dynamical system. If …

neural_network_lyapunov/train_lyapunov_barrier.py

↓ 19 filesReLUFreePattern

The output of ReLU network is a piecewise linear function of the input. We will formulate the ReLU network using mixed-integer …

neural_network_lyapunov/relu_to_optimization.py

↓ 12 filesLyapunovHybridLinearSystem

This is the super class of LyapunovDiscreteTimeHybridSystem and LyapunovContinuousTimeHybridSystem. It implements the common part …

neural_network_lyapunov/lyapunov.py

↓ 12 filesGurobiTorchMILP

This class is a subclass of GurobiTorchMIP. It only allows linear cost. The MILP is in this form min/max cᵣᵀ * r + c_zetaᵀ * ζ + …

neural_network_lyapunov/gurobi_torch_mip.py

browse all functions →

Shape

Method 1,171

Function 299

Class 229

Languages

Python100%

Modules by API surface

neural_network_lyapunov/test/test_utils.py101 symbols

neural_network_lyapunov/relu_system.py63 symbols

neural_network_lyapunov/test/test_relu_to_optimization.py55 symbols

neural_network_lyapunov/test/test_lyapunov.py52 symbols

neural_network_lyapunov/test/test_hybrid_linear_system.py52 symbols

neural_network_lyapunov/test/test_gurobi_torch_mip.py51 symbols

neural_network_lyapunov/utils.py48 symbols

neural_network_lyapunov/test/test_relu_system.py48 symbols

neural_network_lyapunov/test/test_mip_utils.py46 symbols

neural_network_lyapunov/r_options.py40 symbols

neural_network_lyapunov/gurobi_torch_mip.py40 symbols

neural_network_lyapunov/dynamics_learning.py40 symbols

For agents

$ claude mcp add neural-network-lyapunov \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

github.com/StanfordASL/neural-network-lyapunov @main

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

For agents

Ask about this repo answers extend the page