Matches in SemOpenAlex for { <https://semopenalex.org/work/W107065940> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W107065940 endingPage "405" @default.
- W107065940 startingPage "373" @default.
- W107065940 abstract "Hybrid systems is a suitable model to describe systems composed of both continuous and discrete components. The continuous components typically represent physic events. The discrete components are logic devices, such as switches and digital circuitry. A typical example is a system where physical processes are controlled by embedded controllers. Different classes of hybrid systems have been proposed. In this paper we consider hybrid systems equipped with real variable (as usual), integer variables and unbounded arrays. We study the expressive power of five classes: Linear real hybrid systems, Polynomial real hybrid systems, Mixed hybrid systems, D-hybrid systems and S-Hybrid systems. For these classes there exists a quantifier elimination technique for computing the successor operator, hence the reachability problem is semidecidable." @default.
- W107065940 created "2016-06-24" @default.
- W107065940 creator A5090347665 @default.
- W107065940 date "2007-01-01" @default.
- W107065940 modified "2023-09-27" @default.
- W107065940 title "Expressive power of hybrid systems with real variables, integer variables and arrays" @default.
- W107065940 cites W1553142094 @default.
- W107065940 cites W1565618245 @default.
- W107065940 cites W1591345321 @default.
- W107065940 cites W1973678919 @default.
- W107065940 cites W1988192943 @default.
- W107065940 cites W1995691455 @default.
- W107065940 cites W2004463571 @default.
- W107065940 cites W2021592352 @default.
- W107065940 cites W2031409637 @default.
- W107065940 cites W2049969841 @default.
- W107065940 cites W2055960145 @default.
- W107065940 cites W2058182389 @default.
- W107065940 cites W2060095702 @default.
- W107065940 cites W2094938444 @default.
- W107065940 cites W2101508170 @default.
- W107065940 cites W2105505307 @default.
- W107065940 cites W2124778357 @default.
- W107065940 cites W2166969310 @default.
- W107065940 hasPublicationYear "2007" @default.
- W107065940 type Work @default.
- W107065940 sameAs 107065940 @default.
- W107065940 citedByCount "1" @default.
- W107065940 countsByYear W1070659402016 @default.
- W107065940 crossrefType "journal-article" @default.
- W107065940 hasAuthorship W107065940A5090347665 @default.
- W107065940 hasConcept C104317684 @default.
- W107065940 hasConcept C119857082 @default.
- W107065940 hasConcept C121332964 @default.
- W107065940 hasConcept C136643341 @default.
- W107065940 hasConcept C158448853 @default.
- W107065940 hasConcept C163258240 @default.
- W107065940 hasConcept C17020691 @default.
- W107065940 hasConcept C185592680 @default.
- W107065940 hasConcept C199360897 @default.
- W107065940 hasConcept C33923547 @default.
- W107065940 hasConcept C41008148 @default.
- W107065940 hasConcept C50897621 @default.
- W107065940 hasConcept C55493867 @default.
- W107065940 hasConcept C62520636 @default.
- W107065940 hasConcept C80444323 @default.
- W107065940 hasConcept C86155754 @default.
- W107065940 hasConcept C86339819 @default.
- W107065940 hasConcept C97137487 @default.
- W107065940 hasConceptScore W107065940C104317684 @default.
- W107065940 hasConceptScore W107065940C119857082 @default.
- W107065940 hasConceptScore W107065940C121332964 @default.
- W107065940 hasConceptScore W107065940C136643341 @default.
- W107065940 hasConceptScore W107065940C158448853 @default.
- W107065940 hasConceptScore W107065940C163258240 @default.
- W107065940 hasConceptScore W107065940C17020691 @default.
- W107065940 hasConceptScore W107065940C185592680 @default.
- W107065940 hasConceptScore W107065940C199360897 @default.
- W107065940 hasConceptScore W107065940C33923547 @default.
- W107065940 hasConceptScore W107065940C41008148 @default.
- W107065940 hasConceptScore W107065940C50897621 @default.
- W107065940 hasConceptScore W107065940C55493867 @default.
- W107065940 hasConceptScore W107065940C62520636 @default.
- W107065940 hasConceptScore W107065940C80444323 @default.
- W107065940 hasConceptScore W107065940C86155754 @default.
- W107065940 hasConceptScore W107065940C86339819 @default.
- W107065940 hasConceptScore W107065940C97137487 @default.
- W107065940 hasIssue "3" @default.
- W107065940 hasLocation W1070659401 @default.
- W107065940 hasOpenAccess W107065940 @default.
- W107065940 hasPrimaryLocation W1070659401 @default.
- W107065940 hasRelatedWork W127710763 @default.
- W107065940 hasRelatedWork W1513964429 @default.
- W107065940 hasRelatedWork W1533089139 @default.
- W107065940 hasRelatedWork W1606563312 @default.
- W107065940 hasRelatedWork W1856550587 @default.
- W107065940 hasRelatedWork W1861897023 @default.
- W107065940 hasRelatedWork W2004463571 @default.
- W107065940 hasRelatedWork W2032914345 @default.
- W107065940 hasRelatedWork W2042707287 @default.
- W107065940 hasRelatedWork W2072328544 @default.
- W107065940 hasRelatedWork W2095306368 @default.
- W107065940 hasRelatedWork W2133514269 @default.
- W107065940 hasRelatedWork W2138652276 @default.
- W107065940 hasRelatedWork W2144513304 @default.
- W107065940 hasRelatedWork W2240893799 @default.
- W107065940 hasRelatedWork W2580589857 @default.
- W107065940 hasRelatedWork W2767591044 @default.
- W107065940 hasRelatedWork W2964158979 @default.
- W107065940 hasRelatedWork W2992112804 @default.
- W107065940 hasRelatedWork W63768794 @default.
- W107065940 hasVolume "12" @default.
- W107065940 isParatext "false" @default.
- W107065940 isRetracted "false" @default.
- W107065940 magId "107065940" @default.
- W107065940 workType "article" @default.