Matches in SemOpenAlex for { <https://semopenalex.org/work/W2990296706> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2990296706 endingPage "100837" @default.
- W2990296706 startingPage "100837" @default.
- W2990296706 abstract "Due to the ability to handle uncertain nonlinear hybrid systems, barrier certificate based method has been widely used in safety verification problem. In this paper, an efficient framework, combining sum of squares programming with interval analysis, is proposed to generate barrier certificates for uncertain nonlinear hybrid systems. It utilizes the feature of bounded uncertainties to get a deterministic hybrid system, whose barrier certificates can be efficiently computed using sum of squares programming. The computed barrier certificates are then chosen as candidate barrier certificates for the original uncertain hybrid system, and need to be checked the satisfaction of the associated barrier certificate conditions, via an interval analysis based method. As an application, our approach is used to verify safety properties of non-polynomial hybrid systems. Some experimental results are given to show the efficiency of our approach." @default.
- W2990296706 created "2019-12-05" @default.
- W2990296706 creator A5043074176 @default.
- W2990296706 creator A5050683775 @default.
- W2990296706 creator A5050832305 @default.
- W2990296706 date "2020-05-01" @default.
- W2990296706 modified "2023-10-14" @default.
- W2990296706 title "An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems" @default.
- W2990296706 cites W1967073510 @default.
- W2990296706 cites W1990733120 @default.
- W2990296706 cites W1999629321 @default.
- W2990296706 cites W2004463571 @default.
- W2990296706 cites W2019302423 @default.
- W2990296706 cites W2033118636 @default.
- W2990296706 cites W2038254351 @default.
- W2990296706 cites W2038498011 @default.
- W2990296706 cites W2066796569 @default.
- W2990296706 cites W2075106186 @default.
- W2990296706 cites W2083862837 @default.
- W2990296706 cites W2104730516 @default.
- W2990296706 cites W2135359007 @default.
- W2990296706 cites W2170345902 @default.
- W2990296706 cites W2530699422 @default.
- W2990296706 cites W856973001 @default.
- W2990296706 doi "https://doi.org/10.1016/j.nahs.2019.100837" @default.
- W2990296706 hasPublicationYear "2020" @default.
- W2990296706 type Work @default.
- W2990296706 sameAs 2990296706 @default.
- W2990296706 citedByCount "9" @default.
- W2990296706 countsByYear W29902967062021 @default.
- W2990296706 countsByYear W29902967062022 @default.
- W2990296706 countsByYear W29902967062023 @default.
- W2990296706 crossrefType "journal-article" @default.
- W2990296706 hasAuthorship W2990296706A5043074176 @default.
- W2990296706 hasAuthorship W2990296706A5050683775 @default.
- W2990296706 hasAuthorship W2990296706A5050832305 @default.
- W2990296706 hasConcept C11413529 @default.
- W2990296706 hasConcept C114614502 @default.
- W2990296706 hasConcept C119857082 @default.
- W2990296706 hasConcept C121332964 @default.
- W2990296706 hasConcept C126255220 @default.
- W2990296706 hasConcept C134306372 @default.
- W2990296706 hasConcept C158622935 @default.
- W2990296706 hasConcept C2778067643 @default.
- W2990296706 hasConcept C33923547 @default.
- W2990296706 hasConcept C34388435 @default.
- W2990296706 hasConcept C41008148 @default.
- W2990296706 hasConcept C50897621 @default.
- W2990296706 hasConcept C62520636 @default.
- W2990296706 hasConcept C96865113 @default.
- W2990296706 hasConceptScore W2990296706C11413529 @default.
- W2990296706 hasConceptScore W2990296706C114614502 @default.
- W2990296706 hasConceptScore W2990296706C119857082 @default.
- W2990296706 hasConceptScore W2990296706C121332964 @default.
- W2990296706 hasConceptScore W2990296706C126255220 @default.
- W2990296706 hasConceptScore W2990296706C134306372 @default.
- W2990296706 hasConceptScore W2990296706C158622935 @default.
- W2990296706 hasConceptScore W2990296706C2778067643 @default.
- W2990296706 hasConceptScore W2990296706C33923547 @default.
- W2990296706 hasConceptScore W2990296706C34388435 @default.
- W2990296706 hasConceptScore W2990296706C41008148 @default.
- W2990296706 hasConceptScore W2990296706C50897621 @default.
- W2990296706 hasConceptScore W2990296706C62520636 @default.
- W2990296706 hasConceptScore W2990296706C96865113 @default.
- W2990296706 hasFunder F4320309612 @default.
- W2990296706 hasFunder F4320321001 @default.
- W2990296706 hasLocation W29902967061 @default.
- W2990296706 hasOpenAccess W2990296706 @default.
- W2990296706 hasPrimaryLocation W29902967061 @default.
- W2990296706 hasRelatedWork W1702992871 @default.
- W2990296706 hasRelatedWork W1986033074 @default.
- W2990296706 hasRelatedWork W2106499130 @default.
- W2990296706 hasRelatedWork W2386767533 @default.
- W2990296706 hasRelatedWork W2622957143 @default.
- W2990296706 hasRelatedWork W3026673438 @default.
- W2990296706 hasRelatedWork W3037049948 @default.
- W2990296706 hasRelatedWork W3102494565 @default.
- W2990296706 hasRelatedWork W4322709688 @default.
- W2990296706 hasRelatedWork W4385750195 @default.
- W2990296706 hasVolume "36" @default.
- W2990296706 isParatext "false" @default.
- W2990296706 isRetracted "false" @default.
- W2990296706 magId "2990296706" @default.
- W2990296706 workType "article" @default.