Matches in SemOpenAlex for { <https://semopenalex.org/work/W1514902712> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1514902712 abstract "Decidability results for the verification of hybrid systems consist of constructing special finite state quotients called bisimulations whose properties are equivalent to those of the original infinite state system. This approach has had success in the case of timed automata and linear hybrid automata. In this paper, the powerful frameworks of stratification theory and subanalytic sets are presented and used in order to obtain bisimulations of certain analytic vector fields on analytic manifolds." @default.
- W1514902712 created "2016-06-24" @default.
- W1514902712 creator A5003091627 @default.
- W1514902712 creator A5018058427 @default.
- W1514902712 creator A5062722286 @default.
- W1514902712 date "1998-01-01" @default.
- W1514902712 modified "2023-09-27" @default.
- W1514902712 title "Subanalytic stratifications and bisimulations" @default.
- W1514902712 cites W1497273810 @default.
- W1514902712 cites W1515514400 @default.
- W1514902712 cites W168937057 @default.
- W1514902712 cites W2011070788 @default.
- W1514902712 cites W2014305171 @default.
- W1514902712 cites W2101508170 @default.
- W1514902712 cites W2287992279 @default.
- W1514902712 cites W2489001267 @default.
- W1514902712 cites W2885984678 @default.
- W1514902712 cites W4205625588 @default.
- W1514902712 cites W4247437618 @default.
- W1514902712 doi "https://doi.org/10.1007/3-540-64358-3_41" @default.
- W1514902712 hasPublicationYear "1998" @default.
- W1514902712 type Work @default.
- W1514902712 sameAs 1514902712 @default.
- W1514902712 citedByCount "9" @default.
- W1514902712 crossrefType "book-chapter" @default.
- W1514902712 hasAuthorship W1514902712A5003091627 @default.
- W1514902712 hasAuthorship W1514902712A5018058427 @default.
- W1514902712 hasAuthorship W1514902712A5062722286 @default.
- W1514902712 hasConcept C100701293 @default.
- W1514902712 hasConcept C112505250 @default.
- W1514902712 hasConcept C11413529 @default.
- W1514902712 hasConcept C136119220 @default.
- W1514902712 hasConcept C153269930 @default.
- W1514902712 hasConcept C167822520 @default.
- W1514902712 hasConcept C192943249 @default.
- W1514902712 hasConcept C199422724 @default.
- W1514902712 hasConcept C202444582 @default.
- W1514902712 hasConcept C2776028153 @default.
- W1514902712 hasConcept C33923547 @default.
- W1514902712 hasConcept C3527866 @default.
- W1514902712 hasConcept C41008148 @default.
- W1514902712 hasConcept C48103436 @default.
- W1514902712 hasConcept C59822182 @default.
- W1514902712 hasConcept C80444323 @default.
- W1514902712 hasConcept C86803240 @default.
- W1514902712 hasConcept C88548481 @default.
- W1514902712 hasConceptScore W1514902712C100701293 @default.
- W1514902712 hasConceptScore W1514902712C112505250 @default.
- W1514902712 hasConceptScore W1514902712C11413529 @default.
- W1514902712 hasConceptScore W1514902712C136119220 @default.
- W1514902712 hasConceptScore W1514902712C153269930 @default.
- W1514902712 hasConceptScore W1514902712C167822520 @default.
- W1514902712 hasConceptScore W1514902712C192943249 @default.
- W1514902712 hasConceptScore W1514902712C199422724 @default.
- W1514902712 hasConceptScore W1514902712C202444582 @default.
- W1514902712 hasConceptScore W1514902712C2776028153 @default.
- W1514902712 hasConceptScore W1514902712C33923547 @default.
- W1514902712 hasConceptScore W1514902712C3527866 @default.
- W1514902712 hasConceptScore W1514902712C41008148 @default.
- W1514902712 hasConceptScore W1514902712C48103436 @default.
- W1514902712 hasConceptScore W1514902712C59822182 @default.
- W1514902712 hasConceptScore W1514902712C80444323 @default.
- W1514902712 hasConceptScore W1514902712C86803240 @default.
- W1514902712 hasConceptScore W1514902712C88548481 @default.
- W1514902712 hasLocation W15149027121 @default.
- W1514902712 hasOpenAccess W1514902712 @default.
- W1514902712 hasPrimaryLocation W15149027121 @default.
- W1514902712 hasRelatedWork W125189525 @default.
- W1514902712 hasRelatedWork W1497273810 @default.
- W1514902712 hasRelatedWork W1553216099 @default.
- W1514902712 hasRelatedWork W1555534061 @default.
- W1514902712 hasRelatedWork W1877193708 @default.
- W1514902712 hasRelatedWork W1968402813 @default.
- W1514902712 hasRelatedWork W2028389950 @default.
- W1514902712 hasRelatedWork W2035020702 @default.
- W1514902712 hasRelatedWork W2041371169 @default.
- W1514902712 hasRelatedWork W2053299670 @default.
- W1514902712 hasRelatedWork W2101508170 @default.
- W1514902712 hasRelatedWork W2101818103 @default.
- W1514902712 hasRelatedWork W2119416645 @default.
- W1514902712 hasRelatedWork W2144383687 @default.
- W1514902712 hasRelatedWork W2153026088 @default.
- W1514902712 hasRelatedWork W2158833662 @default.
- W1514902712 hasRelatedWork W2163204032 @default.
- W1514902712 hasRelatedWork W2188792780 @default.
- W1514902712 hasRelatedWork W2292321818 @default.
- W1514902712 hasRelatedWork W3023170743 @default.
- W1514902712 isParatext "false" @default.
- W1514902712 isRetracted "false" @default.
- W1514902712 magId "1514902712" @default.
- W1514902712 workType "book-chapter" @default.