FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313408211> ?p ?o ?g. }

• W4313408211 endingPage "930" @default.
• W4313408211 startingPage "925" @default.
• W4313408211 abstract "In this letter, we seek to build connections between control Lyapunov functions (CLFs) and Hamilton-Jacobi (HJ) reachability analysis. CLFs have been used extensively in the control community for synthesizing stabilizing feedback controllers. However, there is no systematic way to construct CLFs for general nonlinear systems and the problem can become more complex with input constraints. HJ reachability is a formal method that can be used to guarantee safety or reachability for general nonlinear systems with input constraints. The main drawback is the well-known “curse of dimensionality.” In this letter we modify HJ reachability to construct what we call a control Lyapunov-Value Function (CLVF) which can be used to find and stabilize to the smallest control invariant set <inline-formula xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink> <tex-math notation=LaTeX>$(mathcal I_{m}^{infty })$ </tex-math></inline-formula> around a point of interest. We prove that the CLVF is the viscosity solution to a modified HJ variational inequality (VI), and can be computed numerically, during which the input constraints and exponential decay rate <inline-formula xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink> <tex-math notation=LaTeX>$gamma $ </tex-math></inline-formula> are incorporated. This process identifies the region of exponential stability to <inline-formula xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink> <tex-math notation=LaTeX>$mathcal I_{m}^{infty }$ </tex-math></inline-formula> given the desired input bounds and <inline-formula xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink> <tex-math notation=LaTeX>$gamma $ </tex-math></inline-formula> . Finally, a feasibility-guaranteed quadratic program (QP) is proposed for online implementation." @default.
• W4313408211 created "2023-01-06" @default.
• W4313408211 creator A5008610337 @default.
• W4313408211 creator A5039602577 @default.
• W4313408211 creator A5071321544 @default.
• W4313408211 creator A5071434942 @default.
• W4313408211 date "2023-01-01" @default.
• W4313408211 modified "2023-09-26" @default.
• W4313408211 title "Constructing Control Lyapunov-Value Functions Using Hamilton-Jacobi Reachability Analysis" @default.
• W4313408211 cites W1946242516 @default.
• W4313408211 cites W1975236902 @default.
• W4313408211 cites W2000985550 @default.
• W4313408211 cites W2018263821 @default.
• W4313408211 cites W2027603504 @default.
• W4313408211 cites W2041076275 @default.
• W4313408211 cites W2069769125 @default.
• W4313408211 cites W2083422443 @default.
• W4313408211 cites W2111216640 @default.
• W4313408211 cites W2115520718 @default.
• W4313408211 cites W2140531311 @default.
• W4313408211 cites W2171879251 @default.
• W4313408211 cites W2963606896 @default.
• W4313408211 cites W2968945909 @default.
• W4313408211 cites W3098925401 @default.
• W4313408211 cites W3143034939 @default.
• W4313408211 cites W3206190169 @default.
• W4313408211 cites W3207727352 @default.
• W4313408211 cites W4239369248 @default.
• W4313408211 cites W4241127195 @default.
• W4313408211 cites W4244726376 @default.
• W4313408211 cites W4292249799 @default.
• W4313408211 cites W4312847395 @default.
• W4313408211 doi "https://doi.org/10.1109/lcsys.2022.3228728" @default.
• W4313408211 hasPublicationYear "2023" @default.
• W4313408211 type Work @default.
• W4313408211 citedByCount "0" @default.
• W4313408211 crossrefType "journal-article" @default.
• W4313408211 hasAuthorship W4313408211A5008610337 @default.
• W4313408211 hasAuthorship W4313408211A5039602577 @default.
• W4313408211 hasAuthorship W4313408211A5071321544 @default.
• W4313408211 hasAuthorship W4313408211A5071434942 @default.
• W4313408211 hasBestOaLocation W43134082111 @default.
• W4313408211 hasConcept C105795698 @default.
• W4313408211 hasConcept C111030470 @default.
• W4313408211 hasConcept C11413529 @default.
• W4313408211 hasConcept C118615104 @default.
• W4313408211 hasConcept C121332964 @default.
• W4313408211 hasConcept C134306372 @default.
• W4313408211 hasConcept C136119220 @default.
• W4313408211 hasConcept C136643341 @default.
• W4313408211 hasConcept C151376022 @default.
• W4313408211 hasConcept C158622935 @default.
• W4313408211 hasConcept C190470478 @default.
• W4313408211 hasConcept C202444582 @default.
• W4313408211 hasConcept C28826006 @default.
• W4313408211 hasConcept C33923547 @default.
• W4313408211 hasConcept C37914503 @default.
• W4313408211 hasConcept C45357846 @default.
• W4313408211 hasConcept C60640748 @default.
• W4313408211 hasConcept C62520636 @default.
• W4313408211 hasConcept C94375191 @default.
• W4313408211 hasConceptScore W4313408211C105795698 @default.
• W4313408211 hasConceptScore W4313408211C111030470 @default.
• W4313408211 hasConceptScore W4313408211C11413529 @default.
• W4313408211 hasConceptScore W4313408211C118615104 @default.
• W4313408211 hasConceptScore W4313408211C121332964 @default.
• W4313408211 hasConceptScore W4313408211C134306372 @default.
• W4313408211 hasConceptScore W4313408211C136119220 @default.
• W4313408211 hasConceptScore W4313408211C136643341 @default.
• W4313408211 hasConceptScore W4313408211C151376022 @default.
• W4313408211 hasConceptScore W4313408211C158622935 @default.
• W4313408211 hasConceptScore W4313408211C190470478 @default.
• W4313408211 hasConceptScore W4313408211C202444582 @default.
• W4313408211 hasConceptScore W4313408211C28826006 @default.
• W4313408211 hasConceptScore W4313408211C33923547 @default.
• W4313408211 hasConceptScore W4313408211C37914503 @default.
• W4313408211 hasConceptScore W4313408211C45357846 @default.
• W4313408211 hasConceptScore W4313408211C60640748 @default.
• W4313408211 hasConceptScore W4313408211C62520636 @default.
• W4313408211 hasConceptScore W4313408211C94375191 @default.
• W4313408211 hasLocation W43134082111 @default.
• W4313408211 hasOpenAccess W4313408211 @default.
• W4313408211 hasPrimaryLocation W43134082111 @default.
• W4313408211 hasRelatedWork W1590315210 @default.
• W4313408211 hasRelatedWork W197679583 @default.
• W4313408211 hasRelatedWork W2134803765 @default.
• W4313408211 hasRelatedWork W2167890587 @default.
• W4313408211 hasRelatedWork W2197995027 @default.
• W4313408211 hasRelatedWork W2376950174 @default.
• W4313408211 hasRelatedWork W2746645407 @default.
• W4313408211 hasRelatedWork W4210531109 @default.
• W4313408211 hasRelatedWork W4307472402 @default.
• W4313408211 hasRelatedWork W4379258881 @default.
• W4313408211 hasVolume "7" @default.
• W4313408211 isParatext "false" @default.
• W4313408211 isRetracted "false" @default.
• W4313408211 workType "article" @default.