FRINK Linked Data Fragments server

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

• W3185235159 endingPage "466" @default.
• W3185235159 startingPage "443" @default.
• W3185235159 abstract "Abstract A barrier certificate often serves as an inductive invariant that isolates an unsafe region from the reachable set of states, and hence is widely used in proving safety of hybrid systems possibly over the infinite time horizon. We present a novel condition on barrier certificates, termed the invariant barrier-certificate condition , that witnesses unbounded-time safety of differential dynamical systems. The proposed condition is by far the least conservative one on barrier certificates, and can be shown as the weakest possible one to attain inductive invariance. We show that discharging the invariant barrier-certificate condition—thereby synthesizing invariant barrier certificates—can be encoded as solving an optimization problem subject to bilinear matrix inequalities (BMIs). We further propose a synthesis algorithm based on difference-of-convex programming, which approaches a local optimum of the BMI problem via solving a series of convex optimization problems . This algorithm is incorporated in a branch-and-bound framework that searches for the global optimum in a divide-and-conquer fashion. We present a weak completeness result of our method, in the sense that a barrier certificate is guaranteed to be found (under some mild assumptions) whenever there exists an inductive invariant (in the form of a given template) that suffices to certify safety of the system. Experimental results on benchmark examples demonstrate the effectiveness and efficiency of our approach." @default.
• W3185235159 created "2021-08-02" @default.
• W3185235159 creator A5026435847 @default.
• W3185235159 creator A5043436285 @default.
• W3185235159 creator A5058964600 @default.
• W3185235159 creator A5080606370 @default.
• W3185235159 creator A5089413793 @default.
• W3185235159 date "2021-01-01" @default.
• W3185235159 modified "2023-09-26" @default.
• W3185235159 title "Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming" @default.
• W3185235159 cites W126279018 @default.
• W3185235159 cites W1440015328 @default.
• W3185235159 cites W1480909796 @default.
• W3185235159 cites W1559197676 @default.
• W3185235159 cites W1568518466 @default.
• W3185235159 cites W1573837784 @default.
• W3185235159 cites W1582811927 @default.
• W3185235159 cites W1607353007 @default.
• W3185235159 cites W1627251346 @default.
• W3185235159 cites W1967969202 @default.
• W3185235159 cites W1977875716 @default.
• W3185235159 cites W1978606791 @default.
• W3185235159 cites W1979646426 @default.
• W3185235159 cites W1986468691 @default.
• W3185235159 cites W1994475353 @default.
• W3185235159 cites W1999629321 @default.
• W3185235159 cites W2004463571 @default.
• W3185235159 cites W2011199136 @default.
• W3185235159 cites W2015530812 @default.
• W3185235159 cites W2019176559 @default.
• W3185235159 cites W2038498011 @default.
• W3185235159 cites W2056024378 @default.
• W3185235159 cites W2058209380 @default.
• W3185235159 cites W2080367663 @default.
• W3185235159 cites W2083862837 @default.
• W3185235159 cites W2091208171 @default.
• W3185235159 cites W2102461053 @default.
• W3185235159 cites W2102696258 @default.
• W3185235159 cites W2118550318 @default.
• W3185235159 cites W2129729773 @default.
• W3185235159 cites W2131332110 @default.
• W3185235159 cites W2138578830 @default.
• W3185235159 cites W2396103282 @default.
• W3185235159 cites W2530699422 @default.
• W3185235159 cites W2555983297 @default.
• W3185235159 cites W2571115124 @default.
• W3185235159 cites W2576415565 @default.
• W3185235159 cites W2594023913 @default.
• W3185235159 cites W2784638391 @default.
• W3185235159 cites W2809309384 @default.
• W3185235159 cites W2883422753 @default.
• W3185235159 cites W2897968834 @default.
• W3185235159 cites W2932827394 @default.
• W3185235159 cites W2962017367 @default.
• W3185235159 cites W2962862352 @default.
• W3185235159 cites W2964208659 @default.
• W3185235159 cites W3042952022 @default.
• W3185235159 cites W3185235159 @default.
• W3185235159 cites W4250589301 @default.
• W3185235159 cites W4253424231 @default.
• W3185235159 cites W4298290503 @default.
• W3185235159 doi "https://doi.org/10.1007/978-3-030-81685-8_21" @default.
• W3185235159 hasPublicationYear "2021" @default.
• W3185235159 type Work @default.
• W3185235159 sameAs 3185235159 @default.
• W3185235159 citedByCount "3" @default.
• W3185235159 countsByYear W31852351592021 @default.
• W3185235159 countsByYear W31852351592022 @default.
• W3185235159 crossrefType "book-chapter" @default.
• W3185235159 hasAuthorship W3185235159A5026435847 @default.
• W3185235159 hasAuthorship W3185235159A5043436285 @default.
• W3185235159 hasAuthorship W3185235159A5058964600 @default.
• W3185235159 hasAuthorship W3185235159A5080606370 @default.
• W3185235159 hasAuthorship W3185235159A5089413793 @default.
• W3185235159 hasBestOaLocation W31852351591 @default.
• W3185235159 hasConcept C112680207 @default.
• W3185235159 hasConcept C11413529 @default.
• W3185235159 hasConcept C126255220 @default.
• W3185235159 hasConcept C157972887 @default.
• W3185235159 hasConcept C190470478 @default.
• W3185235159 hasConcept C2524010 @default.
• W3185235159 hasConcept C33923547 @default.
• W3185235159 hasConcept C37914503 @default.
• W3185235159 hasConcept C41008148 @default.
• W3185235159 hasConcept C96865113 @default.
• W3185235159 hasConceptScore W3185235159C112680207 @default.
• W3185235159 hasConceptScore W3185235159C11413529 @default.
• W3185235159 hasConceptScore W3185235159C126255220 @default.
• W3185235159 hasConceptScore W3185235159C157972887 @default.
• W3185235159 hasConceptScore W3185235159C190470478 @default.
• W3185235159 hasConceptScore W3185235159C2524010 @default.
• W3185235159 hasConceptScore W3185235159C33923547 @default.
• W3185235159 hasConceptScore W3185235159C37914503 @default.
• W3185235159 hasConceptScore W3185235159C41008148 @default.
• W3185235159 hasConceptScore W3185235159C96865113 @default.
• W3185235159 hasLocation W31852351591 @default.
• W3185235159 hasLocation W31852351592 @default.
• W3185235159 hasOpenAccess W3185235159 @default.

• next