Skip to content

Actions: hongkai-dai/compatible_clf_cbf

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
204 workflow runs
204 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add demo for quadrotor taylor dynamics. (#77) unit test #204: Commit e513061 pushed by hongkai-dai
October 5, 2024 15:08 3m 24s main
main
October 5, 2024 15:08 3m 24s
Add demo for quadrotor taylor dynamics. unit test #203: Pull request #77 opened by hongkai-dai
October 5, 2024 15:03 3m 27s quadrotor_taylor_demo
quadrotor_taylor_demo
October 5, 2024 15:03 3m 27s
Add the cross term y[i]*y[j]>=0 to P-satz. (#76) unit test #202: Commit 1c83bb4 pushed by hongkai-dai
October 4, 2024 23:07 3m 19s main
main
October 4, 2024 23:07 3m 19s
Add the cross term y[i]*y[j]>=0 to P-satz. unit test #201: Pull request #76 opened by hongkai-dai
October 4, 2024 22:59 3m 19s y_cross_term
y_cross_term
October 4, 2024 22:59 3m 19s
Add the dynamics for QuadrotorPlant. (#75) unit test #200: Commit ee1efca pushed by hongkai-dai
September 28, 2024 05:59 2m 54s main
main
September 28, 2024 05:59 2m 54s
Add the dynamics for QuadrotorPlant. unit test #199: Pull request #75 opened by hongkai-dai
September 28, 2024 03:50 2m 54s quadrotor_plant
quadrotor_plant
September 28, 2024 03:50 2m 54s
Synthesize compatible CLF/CBF for 2D quadrotor with input limits. (#74) unit test #198: Commit d00b8a8 pushed by hongkai-dai
September 21, 2024 05:33 2m 50s main
main
September 21, 2024 05:33 2m 50s
Synthesize compatible CLF/CBF for 2D quadrotor with input limits. unit test #197: Pull request #74 opened by hongkai-dai
September 21, 2024 05:29 2m 49s quadrotor2d_vrep
quadrotor2d_vrep
September 21, 2024 05:29 2m 49s
Support bilinear alternation with input limits using V-rep. (#73) unit test #196: Commit 0a6b4c5 pushed by hongkai-dai
September 18, 2024 04:41 2m 53s main
main
September 18, 2024 04:41 2m 53s
Support bilinear alternation with input limits using V-rep. unit test #195: Pull request #73 synchronize by hongkai-dai
September 18, 2024 04:35 2m 49s search_w_vrep
search_w_vrep
September 18, 2024 04:35 2m 49s
Support bilinear alternation with input limits using V-rep. unit test #194: Pull request #73 synchronize by hongkai-dai
September 18, 2024 04:24 3m 2s search_w_vrep
search_w_vrep
September 18, 2024 04:24 3m 2s
Support bilinear alternation with input limits using V-rep. unit test #193: Pull request #73 opened by hongkai-dai
September 18, 2024 04:14 3m 57s search_w_vrep
search_w_vrep
September 18, 2024 04:14 3m 57s
Implement add_compatibility_w_u_polyhedron function. (#72) unit test #192: Commit a1edb06 pushed by hongkai-dai
September 16, 2024 03:26 2m 41s main
main
September 16, 2024 03:26 2m 41s
Implement add_compatibility_w_u_polyhedron function. unit test #191: Pull request #72 synchronize by hongkai-dai
September 16, 2024 03:19 2m 44s add_compatibility_w_u_polyhedron
add_compatibility_w_u_polyhedron
September 16, 2024 03:19 2m 44s
Implement add_compatibility_w_u_polyhedron function. unit test #190: Pull request #72 synchronize by hongkai-dai
September 16, 2024 03:06 1m 53s add_compatibility_w_u_polyhedron
add_compatibility_w_u_polyhedron
September 16, 2024 03:06 1m 53s
Implement add_compatibility_w_u_polyhedron function. unit test #189: Pull request #72 opened by hongkai-dai
September 16, 2024 03:05 14s add_compatibility_w_u_polyhedron
add_compatibility_w_u_polyhedron
September 16, 2024 03:05 14s
The safety constraint for CBF handle multiple CBFs. (#71) unit test #188: Commit 656efc8 pushed by hongkai-dai
September 14, 2024 17:48 2m 27s main
main
September 14, 2024 17:48 2m 27s
The safety constraint for CBF handle multiple CBFs. unit test #187: Pull request #71 opened by hongkai-dai
September 14, 2024 17:44 2m 28s cbf_safety_multiple_h
cbf_safety_multiple_h
September 14, 2024 17:44 2m 28s
Update README.md (#70) unit test #186: Commit 1b12e96 pushed by hongkai-dai
September 14, 2024 03:54 2m 25s main
main
September 14, 2024 03:54 2m 25s
Update README.md unit test #185: Pull request #70 opened by hongkai-dai
September 14, 2024 03:47 2m 26s quadrotor_video_readme
quadrotor_video_readme
September 14, 2024 03:47 2m 26s
Add saved clf/cbf data for examples. (#69) unit test #184: Commit 5c8915f pushed by hongkai-dai
September 12, 2024 05:10 2m 30s main
main
September 12, 2024 05:10 2m 30s
Add saved clf/cbf data for examples. unit test #183: Pull request #69 opened by hongkai-dai
September 12, 2024 05:05 2m 30s pre_submission
pre_submission
September 12, 2024 05:05 2m 30s
Use ExcludeSet and WithinSet instead of SafetySet. (#68) unit test #182: Commit e837b0c pushed by hongkai-dai
September 11, 2024 02:04 2m 24s main
main
September 11, 2024 02:04 2m 24s
Use ExcludeSet and WithinSet instead of SafetySet. unit test #181: Pull request #68 opened by hongkai-dai
September 11, 2024 00:32 2m 26s exclude_sets
exclude_sets
September 11, 2024 00:32 2m 26s
Use h to denote CBF instead of b. (#67) unit test #180: Commit 85fc2c9 pushed by hongkai-dai
September 10, 2024 05:27 2m 31s main
main
September 10, 2024 05:27 2m 31s