Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / hongkai-dai/compatible_clf_cbf issues and pull requests

#79 - CI should install dependencies in a venv.

Pull Request - State: closed - Opened by hongkai-dai about 1 month ago

#78 - Fix a bug with V-rep input limit and extreme rays.

Pull Request - State: closed - Opened by hongkai-dai about 1 month ago

#77 - Add demo for quadrotor taylor dynamics.

Pull Request - State: closed - Opened by hongkai-dai 4 months ago

#76 - Add the cross term y[i]*y[j]>=0 to P-satz.

Pull Request - State: closed - Opened by hongkai-dai 4 months ago

#75 - Add the dynamics for QuadrotorPlant.

Pull Request - State: closed - Opened by hongkai-dai 5 months ago

#73 - Support bilinear alternation with input limits using V-rep.

Pull Request - State: closed - Opened by hongkai-dai 5 months ago

#72 - Implement add_compatibility_w_u_polyhedron function.

Pull Request - State: closed - Opened by hongkai-dai 5 months ago

#71 - The safety constraint for CBF handle multiple CBFs.

Pull Request - State: closed - Opened by hongkai-dai 5 months ago

#71 - The safety constraint for CBF handle multiple CBFs.

Pull Request - State: closed - Opened by hongkai-dai 5 months ago

#70 - Update README.md

Pull Request - State: closed - Opened by hongkai-dai 5 months ago

#70 - Update README.md

Pull Request - State: closed - Opened by hongkai-dai 5 months ago

#69 - Add saved clf/cbf data for examples.

Pull Request - State: closed - Opened by hongkai-dai 5 months ago

#69 - Add saved clf/cbf data for examples.

Pull Request - State: closed - Opened by hongkai-dai 5 months ago

#68 - Use ExcludeSet and WithinSet instead of SafetySet.

Pull Request - State: closed - Opened by hongkai-dai 5 months ago

#68 - Use ExcludeSet and WithinSet instead of SafetySet.

Pull Request - State: closed - Opened by hongkai-dai 5 months ago

#67 - Use h to denote CBF instead of b.

Pull Request - State: closed - Opened by hongkai-dai 5 months ago

#67 - Use h to denote CBF instead of b.

Pull Request - State: closed - Opened by hongkai-dai 5 months ago

#66 - Add more simulation on the quadrotor

Pull Request - State: closed - Opened by hongkai-dai 5 months ago

#66 - Add more simulation on the quadrotor

Pull Request - State: closed - Opened by hongkai-dai 5 months ago

#65 - Search CLF.

Pull Request - State: closed - Opened by hongkai-dai 6 months ago

#65 - Search CLF.

Pull Request - State: closed - Opened by hongkai-dai 6 months ago

#64 - Simulate quadrotor with CLF/CBF controller.

Pull Request - State: closed - Opened by hongkai-dai 6 months ago

#64 - Simulate quadrotor with CLF/CBF controller.

Pull Request - State: closed - Opened by hongkai-dai 6 months ago

#63 - Add QuadrotorPolyGeometry class.

Pull Request - State: closed - Opened by hongkai-dai 6 months ago

#62 - add power converter example.

Pull Request - State: closed - Opened by hongkai-dai 6 months ago

#62 - add power converter example.

Pull Request - State: closed - Opened by hongkai-dai 6 months ago

#60 - Tune the nonlinear toy example.

Pull Request - State: closed - Opened by hongkai-dai 6 months ago

#60 - Tune the nonlinear toy example.

Pull Request - State: closed - Opened by hongkai-dai 6 months ago

#59 - Search some Lagrangians with CLF/CBF.

Pull Request - State: closed - Opened by hongkai-dai 6 months ago

#59 - Search some Lagrangians with CLF/CBF.

Pull Request - State: closed - Opened by hongkai-dai 6 months ago

#58 - Support other sos types.

Pull Request - State: closed - Opened by hongkai-dai 6 months ago

#57 - Add a demo on quadrotor.

Pull Request - State: closed - Opened by hongkai-dai 6 months ago

#56 - Add a function to save and load clf/cbf.

Pull Request - State: closed - Opened by hongkai-dai 6 months ago

#55 - Find compatible CLF and CBF for quadrotor2d.

Pull Request - State: closed - Opened by hongkai-dai 6 months ago

#54 - Add a demo for a 2D quadrotor with taylor-expanded dynamics.

Pull Request - State: closed - Opened by hongkai-dai 6 months ago

#53 - Fix Flake error

Pull Request - State: closed - Opened by hongkai-dai 6 months ago

#52 - Add backoff to bilinear alternation.

Pull Request - State: closed - Opened by hongkai-dai 11 months ago

#51 - Solve an optimization problem with backoff.

Pull Request - State: closed - Opened by hongkai-dai 11 months ago

#50 - Add A* u <= b constraint to check_compatible_at_state.

Pull Request - State: closed - Opened by hongkai-dai 12 months ago

#49 - Add compatibl_states_options to bilinear_alternation.

Pull Request - State: closed - Opened by hongkai-dai 12 months ago - 1 comment

#48 - Change the nonlinear toy demo to support input limits.

Pull Request - State: closed - Opened by hongkai-dai 12 months ago

#47 - Add linear_toy_w_input_limits_demo.

Pull Request - State: closed - Opened by hongkai-dai 12 months ago

#46 - Support Au * u <= bu in CompatibleClfCbf.

Pull Request - State: closed - Opened by hongkai-dai 12 months ago

#45 - Fix rho to one in the CLF sublevel set.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#44 - Add CompatibleStateOptions to encourage growing the compatible region to cover certain states

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago
Labels: do-not-review

#43 - Search CLF/CBF jointly for single integrator.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago
Labels: do-not-review

#42 - Check if a given state has a compatible u.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#41 - Find CLF and CBF separately for single integrator.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#40 - Add a test to find compatible CLF/CBF with given Lagrangians.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#39 - Add the trigonometric dynamics to the nonlinear toy system.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#38 - add bilinear alternation.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#37 - Add state equality constraint to ellipsoid containment.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#36 - Support a general basic semialgebraic set in the containment.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#35 - Add initial implementation on CBF.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#34 - Support state equality constraints for dynamics.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#33 - construct a program to search for CLF given Lagrangians.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#32 - Search Lagrangian given CLF.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#31 - First PR to implement CLF.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#30 - Reformulate the containment condition.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#29 - Write ellipsoid as an affine transformation of a ball.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#27 - Add _add_ellipsoid_in_compatible_region_constraint.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#26 - Add setup.py

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#25 - Scale an ellipsoid about its center

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#24 - Find the initial ellipsoid through optimization.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#23 - Find the largest ellipsoid within the ROA and safe region.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#22 - Add more tests for construct_search_clf_cbf_program

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#21 - construct_search_clf_cbf_program.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#20 - Maximize the inner ellipsoid through sequential convex optimization.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#19 - Move add_minimize_ellipsoid_volume to ellipsoid_utils.py

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#18 - Add a toy 2D system with nonlinear dynamics.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#17 - Construct the program to search for the compatible Lagrangians.

Pull Request - State: closed - Opened by hongkai-dai about 1 year ago

#16 - Add certify_cbf_unsafe_region.

Pull Request - State: closed - Opened by hongkai-dai over 1 year ago

#15 - Add the linearized function for maximizing ellipsoid volume.

Pull Request - State: closed - Opened by hongkai-dai over 1 year ago

#14 - Minimize the volume of an ellipsoid.

Pull Request - State: closed - Opened by hongkai-dai over 1 year ago

#12 - Factorize linear_toy_demo.

Pull Request - State: closed - Opened by hongkai-dai over 1 year ago

#11 - Add _add_barrier_safe_constraint function.

Pull Request - State: closed - Opened by hongkai-dai over 1 year ago

#10 - Find the Lagrangian multipliers for a 2D toy linear system.

Pull Request - State: closed - Opened by hongkai-dai over 1 year ago

#9 - Fix a bug in CompatibleLagrangian::get_result().

Pull Request - State: closed - Opened by hongkai-dai over 1 year ago

#8 - Implement _add_compatibility.

Pull Request - State: closed - Opened by hongkai-dai over 1 year ago

#7 - Compute xi and lambda matrix in the Farkas lemma.

Pull Request - State: closed - Opened by hongkai-dai over 1 year ago

#6 - Add Flake8 to CI.

Pull Request - State: closed - Opened by hongkai-dai over 1 year ago

#5 - Add Getting started in README.

Pull Request - State: closed - Opened by hongkai-dai over 1 year ago

#4 - Add CompatibleClfCbf constructor.

Pull Request - State: closed - Opened by hongkai-dai over 1 year ago

#3 - Add utils.py with its test.

Pull Request - State: closed - Opened by hongkai-dai over 1 year ago

#2 - Add pytest workflow to github.

Pull Request - State: closed - Opened by hongkai-dai over 1 year ago

#1 - Initial commit.

Pull Request - State: closed - Opened by hongkai-dai over 1 year ago