Yanbing Wang

error in quadprog when verifying a toy example

11

Hi When I run the verification F.verify() using 'approx-star' on a toy network, I ran into an error "Error using quadprog (line 420) Option Algorithm = 'trust-region-reflective' but this algorithm...

Define ODE with external input

1

Hello, Is there a way to specify the external input to the RHS of the ODE? I.e., my ODE has an external force term x_dot = f(x, u, param).