Matches in SemOpenAlex for { <https://semopenalex.org/work/W4310632324> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W4310632324 abstract "Control barrier functions are a popular method of ensuring system safety, and these functions can be used to enforce invariance of a set under the dynamics of a system. A control barrier function must have certain properties, and one must both formulate a candidate control barrier function and verify that it does indeed satisfy the required properties. Targeting the latter problem, this paper presents a method of verifying any finite number of candidate control barrier functions with linear programming. We first apply techniques from real algebraic geometry to formulate verification problem statements that are solvable numerically. Typically, semidefinite programming is used to verify candidate control barrier functions, but this does not always scale well. Therefore, we next apply a method of inner-approximating the set of sums of squares polynomials that significantly reduces the computational complexity of these verification problems by transcribing them to linear programs. We give explicit forms for the resulting linear programs, and simulation results for a satellite inspection problem show that the computation time needed for verification can be reduced by more than 95%." @default.
- W4310632324 created "2022-12-13" @default.
- W4310632324 creator A5022644062 @default.
- W4310632324 creator A5065840398 @default.
- W4310632324 date "2022-12-01" @default.
- W4310632324 modified "2023-10-16" @default.
- W4310632324 title "Fast Verification of Control Barrier Functions via Linear Programming" @default.
- W4310632324 doi "https://doi.org/10.48550/arxiv.2212.00598" @default.
- W4310632324 hasPublicationYear "2022" @default.
- W4310632324 type Work @default.
- W4310632324 citedByCount "0" @default.
- W4310632324 crossrefType "posted-content" @default.
- W4310632324 hasAuthorship W4310632324A5022644062 @default.
- W4310632324 hasAuthorship W4310632324A5065840398 @default.
- W4310632324 hasBestOaLocation W43106323241 @default.
- W4310632324 hasConcept C101901036 @default.
- W4310632324 hasConcept C11413529 @default.
- W4310632324 hasConcept C126255220 @default.
- W4310632324 hasConcept C134306372 @default.
- W4310632324 hasConcept C14036430 @default.
- W4310632324 hasConcept C177264268 @default.
- W4310632324 hasConcept C199360897 @default.
- W4310632324 hasConcept C33923547 @default.
- W4310632324 hasConcept C41008148 @default.
- W4310632324 hasConcept C41045048 @default.
- W4310632324 hasConcept C45374587 @default.
- W4310632324 hasConcept C78458016 @default.
- W4310632324 hasConcept C86803240 @default.
- W4310632324 hasConcept C9376300 @default.
- W4310632324 hasConceptScore W4310632324C101901036 @default.
- W4310632324 hasConceptScore W4310632324C11413529 @default.
- W4310632324 hasConceptScore W4310632324C126255220 @default.
- W4310632324 hasConceptScore W4310632324C134306372 @default.
- W4310632324 hasConceptScore W4310632324C14036430 @default.
- W4310632324 hasConceptScore W4310632324C177264268 @default.
- W4310632324 hasConceptScore W4310632324C199360897 @default.
- W4310632324 hasConceptScore W4310632324C33923547 @default.
- W4310632324 hasConceptScore W4310632324C41008148 @default.
- W4310632324 hasConceptScore W4310632324C41045048 @default.
- W4310632324 hasConceptScore W4310632324C45374587 @default.
- W4310632324 hasConceptScore W4310632324C78458016 @default.
- W4310632324 hasConceptScore W4310632324C86803240 @default.
- W4310632324 hasConceptScore W4310632324C9376300 @default.
- W4310632324 hasLocation W43106323241 @default.
- W4310632324 hasLocation W43106323242 @default.
- W4310632324 hasOpenAccess W4310632324 @default.
- W4310632324 hasPrimaryLocation W43106323241 @default.
- W4310632324 hasRelatedWork W1572523360 @default.
- W4310632324 hasRelatedWork W2019790099 @default.
- W4310632324 hasRelatedWork W2050084832 @default.
- W4310632324 hasRelatedWork W2117554875 @default.
- W4310632324 hasRelatedWork W2149614687 @default.
- W4310632324 hasRelatedWork W2337746918 @default.
- W4310632324 hasRelatedWork W2386048074 @default.
- W4310632324 hasRelatedWork W2386767533 @default.
- W4310632324 hasRelatedWork W3104690255 @default.
- W4310632324 hasRelatedWork W4211139812 @default.
- W4310632324 isParatext "false" @default.
- W4310632324 isRetracted "false" @default.
- W4310632324 workType "article" @default.