Matches in SemOpenAlex for { <https://semopenalex.org/work/W1490703856> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1490703856 endingPage "1487" @default.
- W1490703856 startingPage "1483" @default.
- W1490703856 abstract "The core of phase-portrait approximation refinement of affine hybrid systems is the efficient partition of the control model. In this paper, rectangular refinement based on quality reasoning is proposed, an approach for mode partition is presented based on failure set, the characteristic of vector field, interesting linear expressions and their Lie-derivative, and a method for the iterative refinement based on the refined linear expressions is also given. Experiment shows that phase-portrait approximation based on qualitative-reasoning refinement distinctly enhances the verification efficiency." @default.
- W1490703856 created "2016-06-24" @default.
- W1490703856 creator A5000622330 @default.
- W1490703856 creator A5002927277 @default.
- W1490703856 creator A5090914708 @default.
- W1490703856 date "2010-07-29" @default.
- W1490703856 modified "2023-09-26" @default.
- W1490703856 title "Rectangular refinement of affine hybrid systems based on qualitative reasoning" @default.
- W1490703856 cites W1521939022 @default.
- W1490703856 cites W1546282418 @default.
- W1490703856 cites W1582464544 @default.
- W1490703856 cites W1590159044 @default.
- W1490703856 cites W1793594870 @default.
- W1490703856 cites W1865218796 @default.
- W1490703856 cites W2085838366 @default.
- W1490703856 cites W2117218135 @default.
- W1490703856 cites W2165276844 @default.
- W1490703856 hasPublicationYear "2010" @default.
- W1490703856 type Work @default.
- W1490703856 sameAs 1490703856 @default.
- W1490703856 citedByCount "0" @default.
- W1490703856 crossrefType "proceedings-article" @default.
- W1490703856 hasAuthorship W1490703856A5000622330 @default.
- W1490703856 hasAuthorship W1490703856A5002927277 @default.
- W1490703856 hasAuthorship W1490703856A5090914708 @default.
- W1490703856 hasConcept C11413529 @default.
- W1490703856 hasConcept C114614502 @default.
- W1490703856 hasConcept C121332964 @default.
- W1490703856 hasConcept C122283620 @default.
- W1490703856 hasConcept C126255220 @default.
- W1490703856 hasConcept C158622935 @default.
- W1490703856 hasConcept C159694833 @default.
- W1490703856 hasConcept C2524010 @default.
- W1490703856 hasConcept C2779982483 @default.
- W1490703856 hasConcept C2781349735 @default.
- W1490703856 hasConcept C28826006 @default.
- W1490703856 hasConcept C33923547 @default.
- W1490703856 hasConcept C41008148 @default.
- W1490703856 hasConcept C42812 @default.
- W1490703856 hasConcept C62520636 @default.
- W1490703856 hasConcept C92757383 @default.
- W1490703856 hasConceptScore W1490703856C11413529 @default.
- W1490703856 hasConceptScore W1490703856C114614502 @default.
- W1490703856 hasConceptScore W1490703856C121332964 @default.
- W1490703856 hasConceptScore W1490703856C122283620 @default.
- W1490703856 hasConceptScore W1490703856C126255220 @default.
- W1490703856 hasConceptScore W1490703856C158622935 @default.
- W1490703856 hasConceptScore W1490703856C159694833 @default.
- W1490703856 hasConceptScore W1490703856C2524010 @default.
- W1490703856 hasConceptScore W1490703856C2779982483 @default.
- W1490703856 hasConceptScore W1490703856C2781349735 @default.
- W1490703856 hasConceptScore W1490703856C28826006 @default.
- W1490703856 hasConceptScore W1490703856C33923547 @default.
- W1490703856 hasConceptScore W1490703856C41008148 @default.
- W1490703856 hasConceptScore W1490703856C42812 @default.
- W1490703856 hasConceptScore W1490703856C62520636 @default.
- W1490703856 hasConceptScore W1490703856C92757383 @default.
- W1490703856 hasLocation W14907038561 @default.
- W1490703856 hasOpenAccess W1490703856 @default.
- W1490703856 hasPrimaryLocation W14907038561 @default.
- W1490703856 hasRelatedWork W1255213109 @default.
- W1490703856 hasRelatedWork W1541626447 @default.
- W1490703856 hasRelatedWork W1542543218 @default.
- W1490703856 hasRelatedWork W1582464544 @default.
- W1490703856 hasRelatedWork W1627832578 @default.
- W1490703856 hasRelatedWork W1630838214 @default.
- W1490703856 hasRelatedWork W1974386936 @default.
- W1490703856 hasRelatedWork W1979197687 @default.
- W1490703856 hasRelatedWork W2031669812 @default.
- W1490703856 hasRelatedWork W2046153987 @default.
- W1490703856 hasRelatedWork W2075092532 @default.
- W1490703856 hasRelatedWork W2120347988 @default.
- W1490703856 hasRelatedWork W2132786933 @default.
- W1490703856 hasRelatedWork W2158352376 @default.
- W1490703856 hasRelatedWork W2358251702 @default.
- W1490703856 hasRelatedWork W2515004995 @default.
- W1490703856 hasRelatedWork W2983972338 @default.
- W1490703856 hasRelatedWork W3124374723 @default.
- W1490703856 hasRelatedWork W3144545573 @default.
- W1490703856 hasRelatedWork W90319264 @default.
- W1490703856 isParatext "false" @default.
- W1490703856 isRetracted "false" @default.
- W1490703856 magId "1490703856" @default.
- W1490703856 workType "article" @default.