issues
search
StanfordASL
/
neural-network-lyapunov
Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.
MIT License
139
stars
30
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add equation of motion for the pole/end-effector system.
#399
hongkai-dai
closed
2 years ago
2
fix a typo in minkowski sum
#398
hongkai-dai
closed
2 years ago
0
Add rk4_constant_control.
#397
hongkai-dai
closed
2 years ago
0
Fix a bug in setting the gradient of l_infinity norm dtype
#396
hongkai-dai
closed
2 years ago
0
Add minkowski sum between two tensors
#395
hongkai-dai
closed
2 years ago
0
Compute gradient of l_infinity norm.
#394
hongkai-dai
closed
2 years ago
0
Test the slack of max_as_mixed_integer_constraint
#393
hongkai-dai
closed
2 years ago
0
Write max() as mixed integer linear constraints.
#392
hongkai-dai
closed
2 years ago
0
Remove dependency on IPython
#391
hongkai-dai
closed
2 years ago
0
fix a bug in box_boundary().
#390
hongkai-dai
closed
3 years ago
0
Add uniform_sample_on_box_boundary
#389
hongkai-dai
closed
3 years ago
0
Fix a bug in concatenate_mixed_integer_constraint
#388
hongkai-dai
closed
3 years ago
0
Add concatenate_mixed_integer_constraint()
#387
hongkai-dai
closed
3 years ago
0
Return the number of variables in MixedIntegerConstraintsReturn
#386
hongkai-dai
closed
3 years ago
0
Add a loss on the gap of Lyapunov value on the boundary of the verified region
#385
hongkai-dai
closed
3 years ago
0
Add solve_boundary_gap_mip().
#384
hongkai-dai
closed
3 years ago
0
add _lyapunov_value_as_milp().
#383
hongkai-dai
closed
3 years ago
0
Add box_boundary() function.
#382
hongkai-dai
closed
3 years ago
0
l1_subgradient() takes subgradient_samples
#381
hongkai-dai
closed
3 years ago
0
Lyapunov l1 error use binary_for_zero_input.
#380
hongkai-dai
closed
3 years ago
0
Add clone function to MixedIntegerConstraintsReturn
#379
hongkai-dai
closed
3 years ago
0
add absolute_value_as_mixed_integer_constraint()
#378
hongkai-dai
closed
3 years ago
0
Absolute function MIP constraint uses an additional binary variable for input=0
#377
hongkai-dai
closed
3 years ago
0
CLF subgradient formulation
#376
hongkai-dai
closed
3 years ago
0
Add ControlAffineSystemConstraintReturn.
#375
hongkai-dai
closed
3 years ago
0
validate_x_equilibrium doesn't return bool
#374
hongkai-dai
closed
3 years ago
0
switch to P15 action runner.
#373
hongkai-dai
closed
3 years ago
0
Validate x_equilibrium.
#372
hongkai-dai
closed
3 years ago
0
Address Benoit's comments.
#371
hongkai-dai
closed
3 years ago
0
Propagate bounds with IA_MIP.
#370
hongkai-dai
closed
3 years ago
0
simple training of control affine model using tiny differentiable sim
#369
blandry
closed
3 years ago
0
Add zero_tol to relu_network_gradient
#368
hongkai-dai
closed
3 years ago
0
Use a zero tolerance when computing gradient of l1 norm.
#367
hongkai-dai
closed
3 years ago
0
add SecondOrderControlAffineSystem
#366
hongkai-dai
closed
3 years ago
1
Control affine system returns constraints/bounds on the flat G vector.
#365
hongkai-dai
closed
3 years ago
0
add_mixed_integer_constraints using existing binary variables.
#364
hongkai-dai
closed
3 years ago
0
ControlAffineSystem reports range of f and G by IA.
#363
hongkai-dai
closed
3 years ago
0
Compute the big-M bounds in output_gradient_times_vec() through optimization
#362
hongkai-dai
closed
3 years ago
0
removed fixed_R argument in the Lyapunov condition functions.
#361
hongkai-dai
closed
3 years ago
0
output_gradient_times_vec uses _compute_Wz_bounds_IA to propagate the bounds
#360
hongkai-dai
closed
3 years ago
0
Add readme to the examples folder.
#359
hongkai-dai
closed
3 years ago
0
Compute gradient of L1 norm.
#358
hongkai-dai
closed
3 years ago
0
Compute the gradient of a relu network
#357
hongkai-dai
closed
3 years ago
0
Training of networks for control affine systems
#356
blandry
closed
3 years ago
0
smol bug fix
#355
blandry
closed
3 years ago
0
remove tensorboard summary writer in train_lyapunov
#354
hongkai-dai
closed
3 years ago
0
remove xhat.
#353
hongkai-dai
closed
3 years ago
0
control affine system computes f and G
#352
hongkai-dai
closed
3 years ago
0
factor out a method to compute Wz bounds using interval arithemetics.
#351
hongkai-dai
closed
3 years ago
0
A_out in relu_gradient_times_vector can be a matrix.
#350
hongkai-dai
closed
3 years ago
0
Previous
Next