Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366207691> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W4366207691 abstract "The search for Lyapunov functions is a crucial task in the analysis of nonlinear systems. In this paper, we present a physics-informed neural network (PINN) approach to learning a Lyapunov function that is nearly maximal for a given stable set. A Lyapunov function is considered nearly maximal if its sub-level sets can be made arbitrarily close to the boundary of the domain of attraction. We use Zubov's equation to train a maximal Lyapunov function defined on the domain of attraction. Additionally, we propose conditions that can be readily verified by satisfiability modulo theories (SMT) solvers for both local and global stability. We provide theoretical guarantees on the existence of maximal Lyapunov functions and demonstrate the effectiveness of our computational approach through numerical examples." @default.
- W4366207691 created "2023-04-19" @default.
- W4366207691 creator A5018323174 @default.
- W4366207691 creator A5027835055 @default.
- W4366207691 creator A5039265504 @default.
- W4366207691 creator A5073575800 @default.
- W4366207691 date "2023-04-14" @default.
- W4366207691 modified "2023-09-26" @default.
- W4366207691 title "Towards Learning and Verifying Maximal Neural Lyapunov Functions" @default.
- W4366207691 doi "https://doi.org/10.48550/arxiv.2304.07215" @default.
- W4366207691 hasPublicationYear "2023" @default.
- W4366207691 type Work @default.
- W4366207691 citedByCount "0" @default.
- W4366207691 crossrefType "posted-content" @default.
- W4366207691 hasAuthorship W4366207691A5018323174 @default.
- W4366207691 hasAuthorship W4366207691A5027835055 @default.
- W4366207691 hasAuthorship W4366207691A5039265504 @default.
- W4366207691 hasAuthorship W4366207691A5073575800 @default.
- W4366207691 hasBestOaLocation W43662076911 @default.
- W4366207691 hasConcept C112972136 @default.
- W4366207691 hasConcept C118615104 @default.
- W4366207691 hasConcept C119857082 @default.
- W4366207691 hasConcept C121332964 @default.
- W4366207691 hasConcept C134306372 @default.
- W4366207691 hasConcept C14036430 @default.
- W4366207691 hasConcept C154945302 @default.
- W4366207691 hasConcept C158622935 @default.
- W4366207691 hasConcept C177264268 @default.
- W4366207691 hasConcept C199360897 @default.
- W4366207691 hasConcept C25854792 @default.
- W4366207691 hasConcept C2775924081 @default.
- W4366207691 hasConcept C28826006 @default.
- W4366207691 hasConcept C33923547 @default.
- W4366207691 hasConcept C36503486 @default.
- W4366207691 hasConcept C37935115 @default.
- W4366207691 hasConcept C41008148 @default.
- W4366207691 hasConcept C47446073 @default.
- W4366207691 hasConcept C50644808 @default.
- W4366207691 hasConcept C54732982 @default.
- W4366207691 hasConcept C60640748 @default.
- W4366207691 hasConcept C62520636 @default.
- W4366207691 hasConcept C78458016 @default.
- W4366207691 hasConcept C86803240 @default.
- W4366207691 hasConceptScore W4366207691C112972136 @default.
- W4366207691 hasConceptScore W4366207691C118615104 @default.
- W4366207691 hasConceptScore W4366207691C119857082 @default.
- W4366207691 hasConceptScore W4366207691C121332964 @default.
- W4366207691 hasConceptScore W4366207691C134306372 @default.
- W4366207691 hasConceptScore W4366207691C14036430 @default.
- W4366207691 hasConceptScore W4366207691C154945302 @default.
- W4366207691 hasConceptScore W4366207691C158622935 @default.
- W4366207691 hasConceptScore W4366207691C177264268 @default.
- W4366207691 hasConceptScore W4366207691C199360897 @default.
- W4366207691 hasConceptScore W4366207691C25854792 @default.
- W4366207691 hasConceptScore W4366207691C2775924081 @default.
- W4366207691 hasConceptScore W4366207691C28826006 @default.
- W4366207691 hasConceptScore W4366207691C33923547 @default.
- W4366207691 hasConceptScore W4366207691C36503486 @default.
- W4366207691 hasConceptScore W4366207691C37935115 @default.
- W4366207691 hasConceptScore W4366207691C41008148 @default.
- W4366207691 hasConceptScore W4366207691C47446073 @default.
- W4366207691 hasConceptScore W4366207691C50644808 @default.
- W4366207691 hasConceptScore W4366207691C54732982 @default.
- W4366207691 hasConceptScore W4366207691C60640748 @default.
- W4366207691 hasConceptScore W4366207691C62520636 @default.
- W4366207691 hasConceptScore W4366207691C78458016 @default.
- W4366207691 hasConceptScore W4366207691C86803240 @default.
- W4366207691 hasLocation W43662076911 @default.
- W4366207691 hasOpenAccess W4366207691 @default.
- W4366207691 hasPrimaryLocation W43662076911 @default.
- W4366207691 hasRelatedWork W2080380659 @default.
- W4366207691 hasRelatedWork W2097185200 @default.
- W4366207691 hasRelatedWork W2119652053 @default.
- W4366207691 hasRelatedWork W2156135399 @default.
- W4366207691 hasRelatedWork W2164439967 @default.
- W4366207691 hasRelatedWork W2320719555 @default.
- W4366207691 hasRelatedWork W2356450042 @default.
- W4366207691 hasRelatedWork W2367526667 @default.
- W4366207691 hasRelatedWork W4200453774 @default.
- W4366207691 hasRelatedWork W4320083357 @default.
- W4366207691 isParatext "false" @default.
- W4366207691 isRetracted "false" @default.
- W4366207691 workType "article" @default.