Matches in SemOpenAlex for { <https://semopenalex.org/work/W2391570384> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2391570384 abstract "Abstraction is a dominant approach for verification of hybrid systems.Model transformation is to construct a decidable(or semi-decidable)hybrid automaton to over-approximate the original automaton.In this paper,we extend the linear phase-portrait approximation to polynomial phase-portrait approximation.We show how to automatically construct polynomial phase-portrait automaton and how to refine the approximation." @default.
- W2391570384 created "2016-06-24" @default.
- W2391570384 creator A5002927277 @default.
- W2391570384 date "2008-01-01" @default.
- W2391570384 modified "2023-09-25" @default.
- W2391570384 title "Polynomial Phase-Portrait Approximation for Hybrid Systems" @default.
- W2391570384 hasPublicationYear "2008" @default.
- W2391570384 type Work @default.
- W2391570384 sameAs 2391570384 @default.
- W2391570384 citedByCount "0" @default.
- W2391570384 crossrefType "journal-article" @default.
- W2391570384 hasAuthorship W2391570384A5002927277 @default.
- W2391570384 hasConcept C104317684 @default.
- W2391570384 hasConcept C111472728 @default.
- W2391570384 hasConcept C112505250 @default.
- W2391570384 hasConcept C11413529 @default.
- W2391570384 hasConcept C118615104 @default.
- W2391570384 hasConcept C121332964 @default.
- W2391570384 hasConcept C122283620 @default.
- W2391570384 hasConcept C124304363 @default.
- W2391570384 hasConcept C134306372 @default.
- W2391570384 hasConcept C138885662 @default.
- W2391570384 hasConcept C142362112 @default.
- W2391570384 hasConcept C153269930 @default.
- W2391570384 hasConcept C158622935 @default.
- W2391570384 hasConcept C162462552 @default.
- W2391570384 hasConcept C185592680 @default.
- W2391570384 hasConcept C199360897 @default.
- W2391570384 hasConcept C204241405 @default.
- W2391570384 hasConcept C2776028153 @default.
- W2391570384 hasConcept C2780801425 @default.
- W2391570384 hasConcept C2781349735 @default.
- W2391570384 hasConcept C311688 @default.
- W2391570384 hasConcept C33923547 @default.
- W2391570384 hasConcept C41008148 @default.
- W2391570384 hasConcept C52119013 @default.
- W2391570384 hasConcept C55493867 @default.
- W2391570384 hasConcept C62520636 @default.
- W2391570384 hasConcept C80444323 @default.
- W2391570384 hasConcept C90119067 @default.
- W2391570384 hasConceptScore W2391570384C104317684 @default.
- W2391570384 hasConceptScore W2391570384C111472728 @default.
- W2391570384 hasConceptScore W2391570384C112505250 @default.
- W2391570384 hasConceptScore W2391570384C11413529 @default.
- W2391570384 hasConceptScore W2391570384C118615104 @default.
- W2391570384 hasConceptScore W2391570384C121332964 @default.
- W2391570384 hasConceptScore W2391570384C122283620 @default.
- W2391570384 hasConceptScore W2391570384C124304363 @default.
- W2391570384 hasConceptScore W2391570384C134306372 @default.
- W2391570384 hasConceptScore W2391570384C138885662 @default.
- W2391570384 hasConceptScore W2391570384C142362112 @default.
- W2391570384 hasConceptScore W2391570384C153269930 @default.
- W2391570384 hasConceptScore W2391570384C158622935 @default.
- W2391570384 hasConceptScore W2391570384C162462552 @default.
- W2391570384 hasConceptScore W2391570384C185592680 @default.
- W2391570384 hasConceptScore W2391570384C199360897 @default.
- W2391570384 hasConceptScore W2391570384C204241405 @default.
- W2391570384 hasConceptScore W2391570384C2776028153 @default.
- W2391570384 hasConceptScore W2391570384C2780801425 @default.
- W2391570384 hasConceptScore W2391570384C2781349735 @default.
- W2391570384 hasConceptScore W2391570384C311688 @default.
- W2391570384 hasConceptScore W2391570384C33923547 @default.
- W2391570384 hasConceptScore W2391570384C41008148 @default.
- W2391570384 hasConceptScore W2391570384C52119013 @default.
- W2391570384 hasConceptScore W2391570384C55493867 @default.
- W2391570384 hasConceptScore W2391570384C62520636 @default.
- W2391570384 hasConceptScore W2391570384C80444323 @default.
- W2391570384 hasConceptScore W2391570384C90119067 @default.
- W2391570384 hasLocation W23915703841 @default.
- W2391570384 hasOpenAccess W2391570384 @default.
- W2391570384 hasPrimaryLocation W23915703841 @default.
- W2391570384 hasRelatedWork W11319064 @default.
- W2391570384 hasRelatedWork W11326594 @default.
- W2391570384 hasRelatedWork W1201363 @default.
- W2391570384 hasRelatedWork W1491471557 @default.
- W2391570384 hasRelatedWork W1515216880 @default.
- W2391570384 hasRelatedWork W1523766116 @default.
- W2391570384 hasRelatedWork W1537999890 @default.
- W2391570384 hasRelatedWork W1546536933 @default.
- W2391570384 hasRelatedWork W1578526383 @default.
- W2391570384 hasRelatedWork W1984849088 @default.
- W2391570384 hasRelatedWork W1986590904 @default.
- W2391570384 hasRelatedWork W2046895474 @default.
- W2391570384 hasRelatedWork W2105205612 @default.
- W2391570384 hasRelatedWork W2187040312 @default.
- W2391570384 hasRelatedWork W2346998017 @default.
- W2391570384 hasRelatedWork W2952830471 @default.
- W2391570384 hasRelatedWork W2958210738 @default.
- W2391570384 hasRelatedWork W3111577354 @default.
- W2391570384 hasRelatedWork W3184209714 @default.
- W2391570384 hasRelatedWork W2842130177 @default.
- W2391570384 isParatext "false" @default.
- W2391570384 isRetracted "false" @default.
- W2391570384 magId "2391570384" @default.
- W2391570384 workType "article" @default.