Matches in SemOpenAlex for { <https://semopenalex.org/work/W2368550553> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2368550553 abstract "To describe properties of hybrid systems, many temporal logics such as Hybrid Temporal Logic have been formalized. Although being good at describing properties of hybrid systems, these logics are not suitable for describing the behaviors of such systems. In this paper, a hybrid projection temporal logic (HPTL) is formalized. It can be used to describe both properties and implementations of hybrid systems, which enables us to do verifications of hybrid sys- tems over the same mathematical model. In addition, a set of logical equivalent formulas and an example of verifications using HPTL are given." @default.
- W2368550553 created "2016-06-24" @default.
- W2368550553 creator A5023120480 @default.
- W2368550553 date "2007-01-01" @default.
- W2368550553 modified "2023-09-25" @default.
- W2368550553 title "Hybrid Projection Temporal Logic and Formal Verifications of Hybrid Systems" @default.
- W2368550553 hasPublicationYear "2007" @default.
- W2368550553 type Work @default.
- W2368550553 sameAs 2368550553 @default.
- W2368550553 citedByCount "0" @default.
- W2368550553 crossrefType "journal-article" @default.
- W2368550553 hasAuthorship W2368550553A5023120480 @default.
- W2368550553 hasConcept C11413529 @default.
- W2368550553 hasConcept C11648818 @default.
- W2368550553 hasConcept C119857082 @default.
- W2368550553 hasConcept C162670838 @default.
- W2368550553 hasConcept C177264268 @default.
- W2368550553 hasConcept C198008173 @default.
- W2368550553 hasConcept C199360897 @default.
- W2368550553 hasConcept C25016198 @default.
- W2368550553 hasConcept C26713055 @default.
- W2368550553 hasConcept C41008148 @default.
- W2368550553 hasConcept C4777664 @default.
- W2368550553 hasConcept C50897621 @default.
- W2368550553 hasConcept C57493831 @default.
- W2368550553 hasConcept C80444323 @default.
- W2368550553 hasConceptScore W2368550553C11413529 @default.
- W2368550553 hasConceptScore W2368550553C11648818 @default.
- W2368550553 hasConceptScore W2368550553C119857082 @default.
- W2368550553 hasConceptScore W2368550553C162670838 @default.
- W2368550553 hasConceptScore W2368550553C177264268 @default.
- W2368550553 hasConceptScore W2368550553C198008173 @default.
- W2368550553 hasConceptScore W2368550553C199360897 @default.
- W2368550553 hasConceptScore W2368550553C25016198 @default.
- W2368550553 hasConceptScore W2368550553C26713055 @default.
- W2368550553 hasConceptScore W2368550553C41008148 @default.
- W2368550553 hasConceptScore W2368550553C4777664 @default.
- W2368550553 hasConceptScore W2368550553C50897621 @default.
- W2368550553 hasConceptScore W2368550553C57493831 @default.
- W2368550553 hasConceptScore W2368550553C80444323 @default.
- W2368550553 hasLocation W23685505531 @default.
- W2368550553 hasOpenAccess W2368550553 @default.
- W2368550553 hasPrimaryLocation W23685505531 @default.
- W2368550553 hasRelatedWork W118354813 @default.
- W2368550553 hasRelatedWork W1513198022 @default.
- W2368550553 hasRelatedWork W1586215039 @default.
- W2368550553 hasRelatedWork W1816240867 @default.
- W2368550553 hasRelatedWork W1919020429 @default.
- W2368550553 hasRelatedWork W1993237812 @default.
- W2368550553 hasRelatedWork W2046029377 @default.
- W2368550553 hasRelatedWork W2070013285 @default.
- W2368550553 hasRelatedWork W2072078345 @default.
- W2368550553 hasRelatedWork W2108134414 @default.
- W2368550553 hasRelatedWork W2118721394 @default.
- W2368550553 hasRelatedWork W2130415189 @default.
- W2368550553 hasRelatedWork W2137922374 @default.
- W2368550553 hasRelatedWork W2147950383 @default.
- W2368550553 hasRelatedWork W2352091395 @default.
- W2368550553 hasRelatedWork W2561906579 @default.
- W2368550553 hasRelatedWork W3020947342 @default.
- W2368550553 hasRelatedWork W3136067464 @default.
- W2368550553 hasRelatedWork W3159513475 @default.
- W2368550553 hasRelatedWork W79595156 @default.
- W2368550553 isParatext "false" @default.
- W2368550553 isRetracted "false" @default.
- W2368550553 magId "2368550553" @default.
- W2368550553 workType "article" @default.