FRINK Linked Data Fragments server

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

• W2109003011 abstract "In this paper we introduce the notion of finite time mode abstraction to relate a hybrid automaton to a timed automaton that preserves the stability and reachability properties of the former. The abstraction procedure discards the continuous dynamics of each mode in the hybrid automaton completely, keeping only the information about the maximum time in which the continuous state makes a discrete jump. This information is used to construct a timed automaton, based on the original hybrid automaton, and to prove that the stability and reachability properties of the original system are retained in the abstract timed automaton. In the process of abstracting a hybrid to a timed automaton we introduce a new notion of hybrid distance metric, which provides information about both the number of discrete transitions that a system would have to make to go from one hybrid state to another, and the distance between the continuous parts of such hybrid states" @default.
• W2109003011 created "2016-06-24" @default.
• W2109003011 creator A5005277546 @default.
• W2109003011 creator A5024621414 @default.
• W2109003011 creator A5059465693 @default.
• W2109003011 date "2006-01-01" @default.
• W2109003011 modified "2023-09-26" @default.
• W2109003011 title "Discrete Asymptotic Abstractions of Hybrid Systems" @default.
• W2109003011 cites W1567026215 @default.
• W2109003011 cites W1965167254 @default.
• W2109003011 cites W1984732727 @default.
• W2109003011 cites W2068645832 @default.
• W2109003011 cites W2090771707 @default.
• W2109003011 cites W2109080678 @default.
• W2109003011 cites W2117218135 @default.
• W2109003011 cites W2118100616 @default.
• W2109003011 cites W2129231075 @default.
• W2109003011 cites W2134803765 @default.
• W2109003011 cites W2152185829 @default.
• W2109003011 cites W2163870459 @default.
• W2109003011 cites W2565969279 @default.
• W2109003011 cites W4238591275 @default.
• W2109003011 doi "https://doi.org/10.1109/cdc.2006.377733" @default.
• W2109003011 hasPublicationYear "2006" @default.
• W2109003011 type Work @default.
• W2109003011 sameAs 2109003011 @default.
• W2109003011 citedByCount "12" @default.
• W2109003011 countsByYear W21090030112013 @default.
• W2109003011 countsByYear W21090030112014 @default.
• W2109003011 countsByYear W21090030112017 @default.
• W2109003011 countsByYear W21090030112021 @default.
• W2109003011 crossrefType "proceedings-article" @default.
• W2109003011 hasAuthorship W2109003011A5005277546 @default.
• W2109003011 hasAuthorship W2109003011A5024621414 @default.
• W2109003011 hasAuthorship W2109003011A5059465693 @default.
• W2109003011 hasBestOaLocation W21090030112 @default.
• W2109003011 hasConcept C111472728 @default.
• W2109003011 hasConcept C112505250 @default.
• W2109003011 hasConcept C11413529 @default.
• W2109003011 hasConcept C116248031 @default.
• W2109003011 hasConcept C119857082 @default.
• W2109003011 hasConcept C124304363 @default.
• W2109003011 hasConcept C136643341 @default.
• W2109003011 hasConcept C138885662 @default.
• W2109003011 hasConcept C139423837 @default.
• W2109003011 hasConcept C158008952 @default.
• W2109003011 hasConcept C162324750 @default.
• W2109003011 hasConcept C165753454 @default.
• W2109003011 hasConcept C167822520 @default.
• W2109003011 hasConcept C176217482 @default.
• W2109003011 hasConcept C194525867 @default.
• W2109003011 hasConcept C21547014 @default.
• W2109003011 hasConcept C21720249 @default.
• W2109003011 hasConcept C2776028153 @default.
• W2109003011 hasConcept C30788636 @default.
• W2109003011 hasConcept C41008148 @default.
• W2109003011 hasConcept C48103436 @default.
• W2109003011 hasConcept C50348692 @default.
• W2109003011 hasConcept C50897621 @default.
• W2109003011 hasConcept C80444323 @default.
• W2109003011 hasConceptScore W2109003011C111472728 @default.
• W2109003011 hasConceptScore W2109003011C112505250 @default.
• W2109003011 hasConceptScore W2109003011C11413529 @default.
• W2109003011 hasConceptScore W2109003011C116248031 @default.
• W2109003011 hasConceptScore W2109003011C119857082 @default.
• W2109003011 hasConceptScore W2109003011C124304363 @default.
• W2109003011 hasConceptScore W2109003011C136643341 @default.
• W2109003011 hasConceptScore W2109003011C138885662 @default.
• W2109003011 hasConceptScore W2109003011C139423837 @default.
• W2109003011 hasConceptScore W2109003011C158008952 @default.
• W2109003011 hasConceptScore W2109003011C162324750 @default.
• W2109003011 hasConceptScore W2109003011C165753454 @default.
• W2109003011 hasConceptScore W2109003011C167822520 @default.
• W2109003011 hasConceptScore W2109003011C176217482 @default.
• W2109003011 hasConceptScore W2109003011C194525867 @default.
• W2109003011 hasConceptScore W2109003011C21547014 @default.
• W2109003011 hasConceptScore W2109003011C21720249 @default.
• W2109003011 hasConceptScore W2109003011C2776028153 @default.
• W2109003011 hasConceptScore W2109003011C30788636 @default.
• W2109003011 hasConceptScore W2109003011C41008148 @default.
• W2109003011 hasConceptScore W2109003011C48103436 @default.
• W2109003011 hasConceptScore W2109003011C50348692 @default.
• W2109003011 hasConceptScore W2109003011C50897621 @default.
• W2109003011 hasConceptScore W2109003011C80444323 @default.
• W2109003011 hasLocation W21090030111 @default.
• W2109003011 hasLocation W21090030112 @default.
• W2109003011 hasLocation W21090030113 @default.
• W2109003011 hasOpenAccess W2109003011 @default.
• W2109003011 hasPrimaryLocation W21090030111 @default.
• W2109003011 hasRelatedWork W1533908838 @default.
• W2109003011 hasRelatedWork W1643219878 @default.
• W2109003011 hasRelatedWork W1645283535 @default.
• W2109003011 hasRelatedWork W2109003011 @default.
• W2109003011 hasRelatedWork W2120347230 @default.
• W2109003011 hasRelatedWork W2127219675 @default.
• W2109003011 hasRelatedWork W2145224012 @default.
• W2109003011 hasRelatedWork W2145225595 @default.
• W2109003011 hasRelatedWork W2175473110 @default.
• W2109003011 hasRelatedWork W2587737670 @default.
• W2109003011 isParatext "false" @default.

• next