Matches in SemOpenAlex for { <https://semopenalex.org/work/W2507178009> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2507178009 abstract "This paper addresses formal safety verification issue of hybrid systems which resort either state-driven or time-driven strategies. Modeling hybrid systems as linear hybrid automata, we provide a formal method for safety verification by constructing barrier certificates whose existence guarantees the soundness of safety specifications. Barrier certificates for safety of state-driven hybrid systems are presented. Particularly, we propose a formal method for constructing time-dependent barrier certificates and show its sufficiency for safety of time-driven hybrid systems. Through formulating the search of time-dependent barrier certificates as a bilinear sum-of-squares programming problem, a computationally tractable method is proposed to derive a certification on safety in polynomial time. A numerical example illustrates the efficiency of the proposed approach." @default.
- W2507178009 created "2016-09-16" @default.
- W2507178009 creator A5024917626 @default.
- W2507178009 creator A5061754187 @default.
- W2507178009 creator A5077615805 @default.
- W2507178009 creator A5079375938 @default.
- W2507178009 creator A5085352453 @default.
- W2507178009 creator A5089205282 @default.
- W2507178009 date "2016-07-01" @default.
- W2507178009 modified "2023-10-16" @default.
- W2507178009 title "Safety verification of state/time-driven hybrid systems using barrier certificates" @default.
- W2507178009 cites W1536262233 @default.
- W2507178009 cites W1552875110 @default.
- W2507178009 cites W1582697028 @default.
- W2507178009 cites W1607353007 @default.
- W2507178009 cites W1627251346 @default.
- W2507178009 cites W1887806484 @default.
- W2507178009 cites W1999629321 @default.
- W2507178009 cites W2024197616 @default.
- W2507178009 cites W2033118636 @default.
- W2507178009 cites W2036031393 @default.
- W2507178009 cites W2087749124 @default.
- W2507178009 cites W2099212405 @default.
- W2507178009 cites W2117282092 @default.
- W2507178009 cites W2136224174 @default.
- W2507178009 cites W2137258051 @default.
- W2507178009 cites W2162196264 @default.
- W2507178009 cites W2166929155 @default.
- W2507178009 cites W2264941559 @default.
- W2507178009 cites W2491336180 @default.
- W2507178009 doi "https://doi.org/10.1109/chicc.2016.7553737" @default.
- W2507178009 hasPublicationYear "2016" @default.
- W2507178009 type Work @default.
- W2507178009 sameAs 2507178009 @default.
- W2507178009 citedByCount "4" @default.
- W2507178009 countsByYear W25071780092020 @default.
- W2507178009 countsByYear W25071780092022 @default.
- W2507178009 crossrefType "proceedings-article" @default.
- W2507178009 hasAuthorship W2507178009A5024917626 @default.
- W2507178009 hasAuthorship W2507178009A5061754187 @default.
- W2507178009 hasAuthorship W2507178009A5077615805 @default.
- W2507178009 hasAuthorship W2507178009A5079375938 @default.
- W2507178009 hasAuthorship W2507178009A5085352453 @default.
- W2507178009 hasAuthorship W2507178009A5089205282 @default.
- W2507178009 hasConcept C199360897 @default.
- W2507178009 hasConcept C38652104 @default.
- W2507178009 hasConcept C41008148 @default.
- W2507178009 hasConcept C48103436 @default.
- W2507178009 hasConceptScore W2507178009C199360897 @default.
- W2507178009 hasConceptScore W2507178009C38652104 @default.
- W2507178009 hasConceptScore W2507178009C41008148 @default.
- W2507178009 hasConceptScore W2507178009C48103436 @default.
- W2507178009 hasLocation W25071780091 @default.
- W2507178009 hasOpenAccess W2507178009 @default.
- W2507178009 hasPrimaryLocation W25071780091 @default.
- W2507178009 hasRelatedWork W2030496847 @default.
- W2507178009 hasRelatedWork W2093578348 @default.
- W2507178009 hasRelatedWork W2358668433 @default.
- W2507178009 hasRelatedWork W2376932109 @default.
- W2507178009 hasRelatedWork W2390279801 @default.
- W2507178009 hasRelatedWork W2496616568 @default.
- W2507178009 hasRelatedWork W2748952813 @default.
- W2507178009 hasRelatedWork W2899084033 @default.
- W2507178009 hasRelatedWork W3007967230 @default.
- W2507178009 hasRelatedWork W4313313264 @default.
- W2507178009 isParatext "false" @default.
- W2507178009 isRetracted "false" @default.
- W2507178009 magId "2507178009" @default.
- W2507178009 workType "article" @default.