FRINK Linked Data Fragments server

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

• W2952802043 abstract "We consider temporal logic verification of (possibly nonlinear) dynamical systems evolving over continuous state spaces. Our approach combines automata-based verification and the use of so-called barrier certificates. Automata-based verification allows the decomposition the verification task into a finite collection of simpler constraints over the continuous state space. The satisfaction of these constraints in turn can be (potentially conservatively) proved by appropriately constructed barrier certificates. As a result, our approach, together with optimization-based search for barrier certificates, allows computational verification of dynamical systems against temporal logic properties while avoiding explicit abstractions of the dynamics as commonly done in literature." @default.
• W2952802043 created "2019-06-27" @default.
• W2952802043 creator A5017176660 @default.
• W2952802043 creator A5033424858 @default.
• W2952802043 creator A5068441112 @default.
• W2952802043 date "2014-03-14" @default.
• W2952802043 modified "2023-09-28" @default.
• W2952802043 title "Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems" @default.
• W2952802043 cites W125598877 @default.
• W2952802043 cites W1530960252 @default.
• W2952802043 cites W1536262233 @default.
• W2952802043 cites W1584571167 @default.
• W2952802043 cites W1675131299 @default.
• W2952802043 cites W1791240938 @default.
• W2952802043 cites W1967344706 @default.
• W2952802043 cites W1976199940 @default.
• W2952802043 cites W2011979623 @default.
• W2952802043 cites W2085352155 @default.
• W2952802043 cites W2085838366 @default.
• W2952802043 cites W2087107980 @default.
• W2952802043 cites W2106850246 @default.
• W2952802043 cites W2116586985 @default.
• W2952802043 cites W2117218135 @default.
• W2952802043 cites W2133404041 @default.
• W2952802043 cites W2150335178 @default.
• W2952802043 cites W2154679417 @default.
• W2952802043 cites W2164484193 @default.
• W2952802043 cites W2913459036 @default.
• W2952802043 hasPublicationYear "2014" @default.
• W2952802043 type Work @default.
• W2952802043 sameAs 2952802043 @default.
• W2952802043 citedByCount "1" @default.
• W2952802043 countsByYear W29528020432016 @default.
• W2952802043 crossrefType "posted-content" @default.
• W2952802043 hasAuthorship W2952802043A5017176660 @default.
• W2952802043 hasAuthorship W2952802043A5033424858 @default.
• W2952802043 hasAuthorship W2952802043A5068441112 @default.
• W2952802043 hasConcept C105795698 @default.
• W2952802043 hasConcept C110251889 @default.
• W2952802043 hasConcept C111498074 @default.
• W2952802043 hasConcept C112505250 @default.
• W2952802043 hasConcept C11413529 @default.
• W2952802043 hasConcept C121332964 @default.
• W2952802043 hasConcept C149091818 @default.
• W2952802043 hasConcept C158622935 @default.
• W2952802043 hasConcept C186846655 @default.
• W2952802043 hasConcept C187250869 @default.
• W2952802043 hasConcept C199360897 @default.
• W2952802043 hasConcept C202973057 @default.
• W2952802043 hasConcept C25016198 @default.
• W2952802043 hasConcept C2777904410 @default.
• W2952802043 hasConcept C33923547 @default.
• W2952802043 hasConcept C41008148 @default.
• W2952802043 hasConcept C4777664 @default.
• W2952802043 hasConcept C48103436 @default.
• W2952802043 hasConcept C62520636 @default.
• W2952802043 hasConcept C72434380 @default.
• W2952802043 hasConcept C80444323 @default.
• W2952802043 hasConceptScore W2952802043C105795698 @default.
• W2952802043 hasConceptScore W2952802043C110251889 @default.
• W2952802043 hasConceptScore W2952802043C111498074 @default.
• W2952802043 hasConceptScore W2952802043C112505250 @default.
• W2952802043 hasConceptScore W2952802043C11413529 @default.
• W2952802043 hasConceptScore W2952802043C121332964 @default.
• W2952802043 hasConceptScore W2952802043C149091818 @default.
• W2952802043 hasConceptScore W2952802043C158622935 @default.
• W2952802043 hasConceptScore W2952802043C186846655 @default.
• W2952802043 hasConceptScore W2952802043C187250869 @default.
• W2952802043 hasConceptScore W2952802043C199360897 @default.
• W2952802043 hasConceptScore W2952802043C202973057 @default.
• W2952802043 hasConceptScore W2952802043C25016198 @default.
• W2952802043 hasConceptScore W2952802043C2777904410 @default.
• W2952802043 hasConceptScore W2952802043C33923547 @default.
• W2952802043 hasConceptScore W2952802043C41008148 @default.
• W2952802043 hasConceptScore W2952802043C4777664 @default.
• W2952802043 hasConceptScore W2952802043C48103436 @default.
• W2952802043 hasConceptScore W2952802043C62520636 @default.
• W2952802043 hasConceptScore W2952802043C72434380 @default.
• W2952802043 hasConceptScore W2952802043C80444323 @default.
• W2952802043 hasOpenAccess W2952802043 @default.
• W2952802043 hasRelatedWork W107769611 @default.
• W2952802043 hasRelatedWork W149116590 @default.
• W2952802043 hasRelatedWork W1492159729 @default.
• W2952802043 hasRelatedWork W1601320636 @default.
• W2952802043 hasRelatedWork W1605121006 @default.
• W2952802043 hasRelatedWork W1863652788 @default.
• W2952802043 hasRelatedWork W186611154 @default.
• W2952802043 hasRelatedWork W1876619044 @default.
• W2952802043 hasRelatedWork W2021739335 @default.
• W2952802043 hasRelatedWork W2054585068 @default.
• W2952802043 hasRelatedWork W2091850237 @default.
• W2952802043 hasRelatedWork W2104619509 @default.
• W2952802043 hasRelatedWork W2122496508 @default.
• W2952802043 hasRelatedWork W2130013716 @default.
• W2952802043 hasRelatedWork W2149299285 @default.
• W2952802043 hasRelatedWork W2169586608 @default.
• W2952802043 hasRelatedWork W2207409137 @default.
• W2952802043 hasRelatedWork W2582584164 @default.
• W2952802043 hasRelatedWork W3160218159 @default.
• W2952802043 hasRelatedWork W98168214 @default.

• next