StanfordASL/neural-network-lyapunov

Issues

• Example training px4 Lyapunov

  #445 opened a year ago by Aleksej9521
  6

• Toy example error

  #447 opened a year ago by KehanLong
  1

• Better understanding of MILP optimization

  #446 opened a year ago by Aleksej9521
  5

• About the design of neural network controller

  #444 opened 2 years ago by Yngjx
  6

• Need to compute bounds for the dynamical system output

  #407 opened 3 years ago by hongkai-dai
  0

• The number of active equality constraints exceeds the number of variables

  #195 opened 4 years ago by hongkai-dai
  1

• The controller network is not warm started

  #251 opened 4 years ago by hongkai-dai
  0

• Informed search minimum

  #91 opened 5 years ago by blandry
  0

• Use LineSearchGD for Lyapunov causes memory leak

  #136 opened 5 years ago by hongkai-dai
  1

• test_model_bounds fails

  #71 opened 5 years ago by hongkai-dai
  0

• Sign on the polytope bounding test is wrong for CI

  #90 opened 5 years ago by blandry
  1

• step_cost needs to take feedforward term into account

  #82 opened 5 years ago by blandry
  0

• test_trajopt_x0xN takes forever

  #69 opened 5 years ago by hongkai-dai
  1

• test_trajopt_lim fails occsionally

  #78 opened 5 years ago by hongkai-dai
  1

• test_train_lyapunov fails

  #81 opened 5 years ago by blandry
  1

• Rename z_lo, z_up to z_pre_relu_lo, z_pre_relu_up

  #48 opened 5 years ago by hongkai-dai
  0

• Make the arguments to ValueToOptimization optional

  #7 opened 5 years ago by blandry
  0

• Change the dynamics API

  #8 opened 5 years ago by blandry
  0