FRINK Linked Data Fragments server

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

• W2834545902 endingPage "102" @default.
• W2834545902 startingPage "97" @default.
• W2834545902 abstract "Author(s): Han, H; Sanfelice, RG | Abstract: In this paper, we introduce operators, semantics, and conditions that, when possible, are solution-independent to guarantee basic temporal logic specifications for hybrid dynamical systems. Employing sufficient conditions for forward invariance and finite time attractivity of sets for such systems, we derive such sufficient conditions for the satisfaction of formulas involving temporal operators and atomic propositions. Furthermore, we present how to certify formulas that have more than one operator. Academic examples illustrate the results throughout the paper." @default.
• W2834545902 created "2018-07-19" @default.
• W2834545902 creator A5028224738 @default.
• W2834545902 creator A5082224689 @default.
• W2834545902 date "2018-01-01" @default.
• W2834545902 modified "2023-09-23" @default.
• W2834545902 title "Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems" @default.
• W2834545902 cites W1025423628 @default.
• W2834545902 cites W1989230227 @default.
• W2834545902 cites W2042636729 @default.
• W2834545902 cites W2044323243 @default.
• W2834545902 cites W2071797744 @default.
• W2834545902 cites W2095274657 @default.
• W2834545902 cites W2099308299 @default.
• W2834545902 cites W2150335178 @default.
• W2834545902 cites W2290638732 @default.
• W2834545902 cites W2912352293 @default.
• W2834545902 cites W2963657380 @default.
• W2834545902 cites W2478285593 @default.
• W2834545902 doi "https://doi.org/10.1016/j.ifacol.2018.08.017" @default.
• W2834545902 hasPublicationYear "2018" @default.
• W2834545902 type Work @default.
• W2834545902 sameAs 2834545902 @default.
• W2834545902 citedByCount "5" @default.
• W2834545902 countsByYear W28345459022018 @default.
• W2834545902 countsByYear W28345459022020 @default.
• W2834545902 countsByYear W28345459022021 @default.
• W2834545902 crossrefType "journal-article" @default.
• W2834545902 hasAuthorship W2834545902A5028224738 @default.
• W2834545902 hasAuthorship W2834545902A5082224689 @default.
• W2834545902 hasBestOaLocation W28345459021 @default.
• W2834545902 hasConcept C104317684 @default.
• W2834545902 hasConcept C11648818 @default.
• W2834545902 hasConcept C119857082 @default.
• W2834545902 hasConcept C121332964 @default.
• W2834545902 hasConcept C136119220 @default.
• W2834545902 hasConcept C158448853 @default.
• W2834545902 hasConcept C162670838 @default.
• W2834545902 hasConcept C17020691 @default.
• W2834545902 hasConcept C184337299 @default.
• W2834545902 hasConcept C185592680 @default.
• W2834545902 hasConcept C199343813 @default.
• W2834545902 hasConcept C199360897 @default.
• W2834545902 hasConcept C202444582 @default.
• W2834545902 hasConcept C25016198 @default.
• W2834545902 hasConcept C2777686260 @default.
• W2834545902 hasConcept C28826006 @default.
• W2834545902 hasConcept C33923547 @default.
• W2834545902 hasConcept C41008148 @default.
• W2834545902 hasConcept C4777664 @default.
• W2834545902 hasConcept C50897621 @default.
• W2834545902 hasConcept C55493867 @default.
• W2834545902 hasConcept C62520636 @default.
• W2834545902 hasConcept C71924100 @default.
• W2834545902 hasConcept C79379906 @default.
• W2834545902 hasConcept C80444323 @default.
• W2834545902 hasConcept C86339819 @default.
• W2834545902 hasConceptScore W2834545902C104317684 @default.
• W2834545902 hasConceptScore W2834545902C11648818 @default.
• W2834545902 hasConceptScore W2834545902C119857082 @default.
• W2834545902 hasConceptScore W2834545902C121332964 @default.
• W2834545902 hasConceptScore W2834545902C136119220 @default.
• W2834545902 hasConceptScore W2834545902C158448853 @default.
• W2834545902 hasConceptScore W2834545902C162670838 @default.
• W2834545902 hasConceptScore W2834545902C17020691 @default.
• W2834545902 hasConceptScore W2834545902C184337299 @default.
• W2834545902 hasConceptScore W2834545902C185592680 @default.
• W2834545902 hasConceptScore W2834545902C199343813 @default.
• W2834545902 hasConceptScore W2834545902C199360897 @default.
• W2834545902 hasConceptScore W2834545902C202444582 @default.
• W2834545902 hasConceptScore W2834545902C25016198 @default.
• W2834545902 hasConceptScore W2834545902C2777686260 @default.
• W2834545902 hasConceptScore W2834545902C28826006 @default.
• W2834545902 hasConceptScore W2834545902C33923547 @default.
• W2834545902 hasConceptScore W2834545902C41008148 @default.
• W2834545902 hasConceptScore W2834545902C4777664 @default.
• W2834545902 hasConceptScore W2834545902C50897621 @default.
• W2834545902 hasConceptScore W2834545902C55493867 @default.
• W2834545902 hasConceptScore W2834545902C62520636 @default.
• W2834545902 hasConceptScore W2834545902C71924100 @default.
• W2834545902 hasConceptScore W2834545902C79379906 @default.
• W2834545902 hasConceptScore W2834545902C80444323 @default.
• W2834545902 hasConceptScore W2834545902C86339819 @default.
• W2834545902 hasIssue "16" @default.
• W2834545902 hasLocation W28345459021 @default.
• W2834545902 hasLocation W28345459022 @default.
• W2834545902 hasLocation W28345459023 @default.
• W2834545902 hasOpenAccess W2834545902 @default.
• W2834545902 hasPrimaryLocation W28345459021 @default.
• W2834545902 hasRelatedWork W1528317507 @default.
• W2834545902 hasRelatedWork W1533557569 @default.
• W2834545902 hasRelatedWork W1541443811 @default.
• W2834545902 hasRelatedWork W1560970010 @default.
• W2834545902 hasRelatedWork W1581049311 @default.
• W2834545902 hasRelatedWork W1913005683 @default.
• W2834545902 hasRelatedWork W1978759380 @default.
• W2834545902 hasRelatedWork W2053241202 @default.
• W2834545902 hasRelatedWork W2067733097 @default.

• next