Matches in SemOpenAlex for { <https://semopenalex.org/work/W1943261484> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1943261484 abstract "A hybrid system models both discrete event and continuous dynamics. We present a modeling formalism, and a verification methodology for hybrid systems. The verification methodology is based on abstracting the continuous dynamics in the hybrid system by simpler continuous dynamics. We present two methods for doing this: 1) the differential inclusion is replaced with a simpler differential inclusion; and 2) we look at the timing information that is relevant to the verification problem, and construct an abstraction of the hybrid system with a timed automaton." @default.
- W1943261484 created "2016-06-24" @default.
- W1943261484 creator A5040150415 @default.
- W1943261484 creator A5074393424 @default.
- W1943261484 date "2005-08-24" @default.
- W1943261484 modified "2023-09-27" @default.
- W1943261484 title "Modeling and verification of hybrid systems" @default.
- W1943261484 cites W1504756454 @default.
- W1943261484 cites W1868193499 @default.
- W1943261484 cites W2098916117 @default.
- W1943261484 cites W2163590987 @default.
- W1943261484 cites W3020903521 @default.
- W1943261484 cites W59365162 @default.
- W1943261484 doi "https://doi.org/10.1109/acc.1995.532782" @default.
- W1943261484 hasPublicationYear "2005" @default.
- W1943261484 type Work @default.
- W1943261484 sameAs 1943261484 @default.
- W1943261484 citedByCount "4" @default.
- W1943261484 countsByYear W19432614842012 @default.
- W1943261484 crossrefType "proceedings-article" @default.
- W1943261484 hasAuthorship W1943261484A5040150415 @default.
- W1943261484 hasAuthorship W1943261484A5074393424 @default.
- W1943261484 hasConcept C110251889 @default.
- W1943261484 hasConcept C111472728 @default.
- W1943261484 hasConcept C111498074 @default.
- W1943261484 hasConcept C112505250 @default.
- W1943261484 hasConcept C11413529 @default.
- W1943261484 hasConcept C119857082 @default.
- W1943261484 hasConcept C124304363 @default.
- W1943261484 hasConcept C126255220 @default.
- W1943261484 hasConcept C138885662 @default.
- W1943261484 hasConcept C142362112 @default.
- W1943261484 hasConcept C153349607 @default.
- W1943261484 hasConcept C199360897 @default.
- W1943261484 hasConcept C202973057 @default.
- W1943261484 hasConcept C2776028153 @default.
- W1943261484 hasConcept C2780801425 @default.
- W1943261484 hasConcept C30788636 @default.
- W1943261484 hasConcept C33923547 @default.
- W1943261484 hasConcept C41008148 @default.
- W1943261484 hasConcept C50897621 @default.
- W1943261484 hasConcept C558565934 @default.
- W1943261484 hasConcept C70834904 @default.
- W1943261484 hasConcept C73301696 @default.
- W1943261484 hasConcept C80444323 @default.
- W1943261484 hasConceptScore W1943261484C110251889 @default.
- W1943261484 hasConceptScore W1943261484C111472728 @default.
- W1943261484 hasConceptScore W1943261484C111498074 @default.
- W1943261484 hasConceptScore W1943261484C112505250 @default.
- W1943261484 hasConceptScore W1943261484C11413529 @default.
- W1943261484 hasConceptScore W1943261484C119857082 @default.
- W1943261484 hasConceptScore W1943261484C124304363 @default.
- W1943261484 hasConceptScore W1943261484C126255220 @default.
- W1943261484 hasConceptScore W1943261484C138885662 @default.
- W1943261484 hasConceptScore W1943261484C142362112 @default.
- W1943261484 hasConceptScore W1943261484C153349607 @default.
- W1943261484 hasConceptScore W1943261484C199360897 @default.
- W1943261484 hasConceptScore W1943261484C202973057 @default.
- W1943261484 hasConceptScore W1943261484C2776028153 @default.
- W1943261484 hasConceptScore W1943261484C2780801425 @default.
- W1943261484 hasConceptScore W1943261484C30788636 @default.
- W1943261484 hasConceptScore W1943261484C33923547 @default.
- W1943261484 hasConceptScore W1943261484C41008148 @default.
- W1943261484 hasConceptScore W1943261484C50897621 @default.
- W1943261484 hasConceptScore W1943261484C558565934 @default.
- W1943261484 hasConceptScore W1943261484C70834904 @default.
- W1943261484 hasConceptScore W1943261484C73301696 @default.
- W1943261484 hasConceptScore W1943261484C80444323 @default.
- W1943261484 hasLocation W19432614841 @default.
- W1943261484 hasOpenAccess W1943261484 @default.
- W1943261484 hasPrimaryLocation W19432614841 @default.
- W1943261484 hasRelatedWork W1532762289 @default.
- W1943261484 hasRelatedWork W1596801655 @default.
- W1943261484 hasRelatedWork W2277606789 @default.
- W1943261484 hasRelatedWork W2358668433 @default.
- W1943261484 hasRelatedWork W2373011076 @default.
- W1943261484 hasRelatedWork W2376932109 @default.
- W1943261484 hasRelatedWork W2387147530 @default.
- W1943261484 hasRelatedWork W2390279801 @default.
- W1943261484 hasRelatedWork W2748952813 @default.
- W1943261484 hasRelatedWork W2899084033 @default.
- W1943261484 isParatext "false" @default.
- W1943261484 isRetracted "false" @default.
- W1943261484 magId "1943261484" @default.
- W1943261484 workType "article" @default.