FRINK Linked Data Fragments server

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

• W3115606427 abstract "We propose a sampling-based approach to learn Lyapunov functions for a class of discrete-time autonomous hybrid systems that admit a mixed-integer representation. Such systems include autonomous piecewise affine systems, closed-loop dynamics of linear systems with model predictive controllers, piecewise affine/linear complementarity/mixed-logical dynamical system in feedback with a ReLU neural network controller, etc. The proposed method comprises an alternation between a learner and a verifier to find a valid Lyapunov function inside a convex set of Lyapunov function candidates. In each iteration, the learner uses a collection of state samples to select a Lyapunov function candidate through a convex program in the parameter space. The verifier then solves a mixed-integer quadratic program in the state space to either validate the proposed Lyapunov function candidate or reject it with a counterexample, i.e., a state where the Lyapunov condition fails. This counterexample is then added to the sample set of the learner to refine the set of Lyapunov function candidates. By designing the learner and the verifier according to the analytic center cutting-plane method from convex optimization, we show that when the set of Lyapunov functions is full-dimensional in the parameter space, our method finds a Lyapunov function in a finite number of steps. We demonstrate our stability analysis method on closed-loop MPC dynamical systems and a ReLU neural network controlled PWA system." @default.
• W3115606427 created "2021-01-05" @default.
• W3115606427 creator A5011696469 @default.
• W3115606427 creator A5025946191 @default.
• W3115606427 creator A5029243115 @default.
• W3115606427 creator A5043154223 @default.
• W3115606427 creator A5057261458 @default.
• W3115606427 date "2020-12-22" @default.
• W3115606427 modified "2023-10-18" @default.
• W3115606427 title "Learning Lyapunov Functions for Hybrid Systems" @default.
• W3115606427 cites W10227180 @default.
• W3115606427 cites W1505731132 @default.
• W3115606427 cites W1524886571 @default.
• W3115606427 cites W1525133469 @default.
• W3115606427 cites W1570430800 @default.
• W3115606427 cites W1966986674 @default.
• W3115606427 cites W1968143987 @default.
• W3115606427 cites W1977985274 @default.
• W3115606427 cites W1981530182 @default.
• W3115606427 cites W1991534386 @default.
• W3115606427 cites W2001741445 @default.
• W3115606427 cites W2005634690 @default.
• W3115606427 cites W2009668633 @default.
• W3115606427 cites W2011199136 @default.
• W3115606427 cites W2023599497 @default.
• W3115606427 cites W2033040247 @default.
• W3115606427 cites W2057209393 @default.
• W3115606427 cites W2059499240 @default.
• W3115606427 cites W2062846739 @default.
• W3115606427 cites W2062974796 @default.
• W3115606427 cites W2070426678 @default.
• W3115606427 cites W2072508748 @default.
• W3115606427 cites W2073576149 @default.
• W3115606427 cites W2099212405 @default.
• W3115606427 cites W2118295943 @default.
• W3115606427 cites W2133304166 @default.
• W3115606427 cites W2138947309 @default.
• W3115606427 cites W2149236697 @default.
• W3115606427 cites W2149675356 @default.
• W3115606427 cites W2155689575 @default.
• W3115606427 cites W2572949971 @default.
• W3115606427 cites W2611709461 @default.
• W3115606427 cites W2749680651 @default.
• W3115606427 cites W2783859738 @default.
• W3115606427 cites W2796726869 @default.
• W3115606427 cites W2807040120 @default.
• W3115606427 cites W2940189798 @default.
• W3115606427 cites W2963440492 @default.
• W3115606427 cites W2963496101 @default.
• W3115606427 cites W2963540169 @default.
• W3115606427 cites W3016425199 @default.
• W3115606427 cites W3037593164 @default.
• W3115606427 cites W3038643818 @default.
• W3115606427 cites W3211331876 @default.
• W3115606427 cites W44132750 @default.
• W3115606427 cites W633115982 @default.
• W3115606427 cites W645921674 @default.
• W3115606427 cites W2962804714 @default.
• W3115606427 doi "https://doi.org/10.48550/arxiv.2012.12015" @default.
• W3115606427 hasPublicationYear "2020" @default.
• W3115606427 type Work @default.
• W3115606427 sameAs 3115606427 @default.
• W3115606427 citedByCount "0" @default.
• W3115606427 crossrefType "posted-content" @default.
• W3115606427 hasAuthorship W3115606427A5011696469 @default.
• W3115606427 hasAuthorship W3115606427A5025946191 @default.
• W3115606427 hasAuthorship W3115606427A5029243115 @default.
• W3115606427 hasAuthorship W3115606427A5043154223 @default.
• W3115606427 hasAuthorship W3115606427A5057261458 @default.
• W3115606427 hasBestOaLocation W31156064271 @default.
• W3115606427 hasConcept C101403955 @default.
• W3115606427 hasConcept C105795698 @default.
• W3115606427 hasConcept C112680207 @default.
• W3115606427 hasConcept C121332964 @default.
• W3115606427 hasConcept C126255220 @default.
• W3115606427 hasConcept C154945302 @default.
• W3115606427 hasConcept C157972887 @default.
• W3115606427 hasConcept C158622935 @default.
• W3115606427 hasConcept C191544260 @default.
• W3115606427 hasConcept C201030206 @default.
• W3115606427 hasConcept C2524010 @default.
• W3115606427 hasConcept C25854792 @default.
• W3115606427 hasConcept C2775924081 @default.
• W3115606427 hasConcept C2777052490 @default.
• W3115606427 hasConcept C33923547 @default.
• W3115606427 hasConcept C37935115 @default.
• W3115606427 hasConcept C41008148 @default.
• W3115606427 hasConcept C47446073 @default.
• W3115606427 hasConcept C60640748 @default.
• W3115606427 hasConcept C62520636 @default.
• W3115606427 hasConcept C72434380 @default.
• W3115606427 hasConcept C79379906 @default.
• W3115606427 hasConceptScore W3115606427C101403955 @default.
• W3115606427 hasConceptScore W3115606427C105795698 @default.
• W3115606427 hasConceptScore W3115606427C112680207 @default.
• W3115606427 hasConceptScore W3115606427C121332964 @default.
• W3115606427 hasConceptScore W3115606427C126255220 @default.
• W3115606427 hasConceptScore W3115606427C154945302 @default.
• W3115606427 hasConceptScore W3115606427C157972887 @default.
• W3115606427 hasConceptScore W3115606427C158622935 @default.

• next