FRINK Linked Data Fragments server

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

• W1584905895 endingPage "129" @default.
• W1584905895 startingPage "116" @default.
• W1584905895 abstract "Recently, hybrid-time flow systems have been introduced as an extension to timed transition systems, hybrid automata, continuous time evolutions of differential equations etc. Furthermore, a number of notions of bisimulation have been defined on these flow systems reflecting abstraction from certain timing properties. In this paper, we research the difference in abstraction level between this new semantic model of flow systems, and the more traditional model of real-time transition systems. We explore translations between the old and new semantic models, and we give a necessary and sufficient condition, called finite-set refutability, for these translations to be without loss of information. Finally, we show that differential inclusions with an upper-semicontinuous, closed and convex right-hand side, are finite-set refutable, and easily extend this result to impuls differential inclusions and hybrid automata." @default.
• W1584905895 created "2016-06-24" @default.
• W1584905895 creator A5033505407 @default.
• W1584905895 creator A5040487816 @default.
• W1584905895 date "2008-07-17" @default.
• W1584905895 modified "2023-10-02" @default.
• W1584905895 title "Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions" @default.
• W1584905895 cites W1484590079 @default.
• W1584905895 cites W1524746456 @default.
• W1584905895 cites W1530637875 @default.
• W1584905895 cites W1548324490 @default.
• W1584905895 cites W1589421353 @default.
• W1584905895 cites W1667461795 @default.
• W1584905895 cites W1820785953 @default.
• W1584905895 cites W2044667269 @default.
• W1584905895 cites W2077815947 @default.
• W1584905895 cites W2091316349 @default.
• W1584905895 cites W2115595609 @default.
• W1584905895 cites W2126489030 @default.
• W1584905895 cites W2147340401 @default.
• W1584905895 cites W3022429701 @default.
• W1584905895 cites W4214535918 @default.
• W1584905895 doi "https://doi.org/10.1007/978-3-540-78929-1_9" @default.
• W1584905895 hasPublicationYear "2008" @default.
• W1584905895 type Work @default.
• W1584905895 sameAs 1584905895 @default.
• W1584905895 citedByCount "13" @default.
• W1584905895 countsByYear W15849058952012 @default.
• W1584905895 countsByYear W15849058952013 @default.
• W1584905895 countsByYear W15849058952014 @default.
• W1584905895 countsByYear W15849058952015 @default.
• W1584905895 countsByYear W15849058952016 @default.
• W1584905895 countsByYear W15849058952019 @default.
• W1584905895 countsByYear W15849058952023 @default.
• W1584905895 crossrefType "book-chapter" @default.
• W1584905895 hasAuthorship W1584905895A5033505407 @default.
• W1584905895 hasAuthorship W1584905895A5040487816 @default.
• W1584905895 hasConcept C104317684 @default.
• W1584905895 hasConcept C105580179 @default.
• W1584905895 hasConcept C111472728 @default.
• W1584905895 hasConcept C112505250 @default.
• W1584905895 hasConcept C112680207 @default.
• W1584905895 hasConcept C11413529 @default.
• W1584905895 hasConcept C119857082 @default.
• W1584905895 hasConcept C124304363 @default.
• W1584905895 hasConcept C126255220 @default.
• W1584905895 hasConcept C135315306 @default.
• W1584905895 hasConcept C138885662 @default.
• W1584905895 hasConcept C149364088 @default.
• W1584905895 hasConcept C177264268 @default.
• W1584905895 hasConcept C185592680 @default.
• W1584905895 hasConcept C199360897 @default.
• W1584905895 hasConcept C2524010 @default.
• W1584905895 hasConcept C2778029271 @default.
• W1584905895 hasConcept C2779167558 @default.
• W1584905895 hasConcept C33923547 @default.
• W1584905895 hasConcept C38349280 @default.
• W1584905895 hasConcept C41008148 @default.
• W1584905895 hasConcept C50897621 @default.
• W1584905895 hasConcept C55493867 @default.
• W1584905895 hasConcept C70834904 @default.
• W1584905895 hasConcept C80444323 @default.
• W1584905895 hasConceptScore W1584905895C104317684 @default.
• W1584905895 hasConceptScore W1584905895C105580179 @default.
• W1584905895 hasConceptScore W1584905895C111472728 @default.
• W1584905895 hasConceptScore W1584905895C112505250 @default.
• W1584905895 hasConceptScore W1584905895C112680207 @default.
• W1584905895 hasConceptScore W1584905895C11413529 @default.
• W1584905895 hasConceptScore W1584905895C119857082 @default.
• W1584905895 hasConceptScore W1584905895C124304363 @default.
• W1584905895 hasConceptScore W1584905895C126255220 @default.
• W1584905895 hasConceptScore W1584905895C135315306 @default.
• W1584905895 hasConceptScore W1584905895C138885662 @default.
• W1584905895 hasConceptScore W1584905895C149364088 @default.
• W1584905895 hasConceptScore W1584905895C177264268 @default.
• W1584905895 hasConceptScore W1584905895C185592680 @default.
• W1584905895 hasConceptScore W1584905895C199360897 @default.
• W1584905895 hasConceptScore W1584905895C2524010 @default.
• W1584905895 hasConceptScore W1584905895C2778029271 @default.
• W1584905895 hasConceptScore W1584905895C2779167558 @default.
• W1584905895 hasConceptScore W1584905895C33923547 @default.
• W1584905895 hasConceptScore W1584905895C38349280 @default.
• W1584905895 hasConceptScore W1584905895C41008148 @default.
• W1584905895 hasConceptScore W1584905895C50897621 @default.
• W1584905895 hasConceptScore W1584905895C55493867 @default.
• W1584905895 hasConceptScore W1584905895C70834904 @default.
• W1584905895 hasConceptScore W1584905895C80444323 @default.
• W1584905895 hasLocation W15849058951 @default.
• W1584905895 hasOpenAccess W1584905895 @default.
• W1584905895 hasPrimaryLocation W15849058951 @default.
• W1584905895 hasRelatedWork W1481867214 @default.
• W1584905895 hasRelatedWork W1584905895 @default.
• W1584905895 hasRelatedWork W1585089195 @default.
• W1584905895 hasRelatedWork W2049140303 @default.
• W1584905895 hasRelatedWork W2114962588 @default.
• W1584905895 hasRelatedWork W2162510824 @default.
• W1584905895 hasRelatedWork W2283144080 @default.
• W1584905895 hasRelatedWork W2738671380 @default.

• next