FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1552875110> ?p ?o ?g. }

• W1552875110 endingPage "605" @default.
• W1552875110 startingPage "590" @default.
• W1552875110 abstract "We present a powerful computational method for automatically generating polynomial invariants of hybrid systems with linear continuous dynamics. When restricted to linear continuous dynamical systems, our method generates a set of polynomial equations (algebraic set) that is the best such over-approximation of the reach set. This shows that the set of algebraic invariants of a linear system is computable. The extension to hybrid systems is achieved using the abstract interpretation framework over the lattice defined by algebraic sets. Algebraic sets are represented using canonical Gröbner bases and the lattice operations are effectively computed via appropriate Gröbner basis manipulations." @default.
• W1552875110 created "2016-06-24" @default.
• W1552875110 creator A5086308451 @default.
• W1552875110 creator A5091244452 @default.
• W1552875110 date "2005-01-01" @default.
• W1552875110 modified "2023-10-17" @default.
• W1552875110 title "Generating Polynomial Invariants for Hybrid Systems" @default.
• W1552875110 cites W1489150842 @default.
• W1552875110 cites W1495570069 @default.
• W1552875110 cites W1498285565 @default.
• W1552875110 cites W1525967073 @default.
• W1552875110 cites W1568518466 @default.
• W1552875110 cites W1569146343 @default.
• W1552875110 cites W1994475353 @default.
• W1552875110 cites W1995691455 @default.
• W1552875110 cites W2030224590 @default.
• W1552875110 cites W2043100293 @default.
• W1552875110 cites W2101508170 @default.
• W1552875110 cites W2102696258 @default.
• W1552875110 cites W2114265324 @default.
• W1552875110 cites W2173534792 @default.
• W1552875110 cites W4236306094 @default.
• W1552875110 doi "https://doi.org/10.1007/978-3-540-31954-2_38" @default.
• W1552875110 hasPublicationYear "2005" @default.
• W1552875110 type Work @default.
• W1552875110 sameAs 1552875110 @default.
• W1552875110 citedByCount "55" @default.
• W1552875110 countsByYear W15528751102012 @default.
• W1552875110 countsByYear W15528751102013 @default.
• W1552875110 countsByYear W15528751102014 @default.
• W1552875110 countsByYear W15528751102015 @default.
• W1552875110 countsByYear W15528751102016 @default.
• W1552875110 countsByYear W15528751102017 @default.
• W1552875110 countsByYear W15528751102018 @default.
• W1552875110 countsByYear W15528751102019 @default.
• W1552875110 countsByYear W15528751102020 @default.
• W1552875110 countsByYear W15528751102021 @default.
• W1552875110 countsByYear W15528751102022 @default.
• W1552875110 crossrefType "book-chapter" @default.
• W1552875110 hasAuthorship W1552875110A5086308451 @default.
• W1552875110 hasAuthorship W1552875110A5091244452 @default.
• W1552875110 hasConcept C105335568 @default.
• W1552875110 hasConcept C118615104 @default.
• W1552875110 hasConcept C119857082 @default.
• W1552875110 hasConcept C121332964 @default.
• W1552875110 hasConcept C134306372 @default.
• W1552875110 hasConcept C136119220 @default.
• W1552875110 hasConcept C177264268 @default.
• W1552875110 hasConcept C198082693 @default.
• W1552875110 hasConcept C199360897 @default.
• W1552875110 hasConcept C202444582 @default.
• W1552875110 hasConcept C24890656 @default.
• W1552875110 hasConcept C2778029271 @default.
• W1552875110 hasConcept C2781204021 @default.
• W1552875110 hasConcept C2989065042 @default.
• W1552875110 hasConcept C33923547 @default.
• W1552875110 hasConcept C41008148 @default.
• W1552875110 hasConcept C50897621 @default.
• W1552875110 hasConcept C62520636 @default.
• W1552875110 hasConcept C79379906 @default.
• W1552875110 hasConcept C90119067 @default.
• W1552875110 hasConcept C9376300 @default.
• W1552875110 hasConceptScore W1552875110C105335568 @default.
• W1552875110 hasConceptScore W1552875110C118615104 @default.
• W1552875110 hasConceptScore W1552875110C119857082 @default.
• W1552875110 hasConceptScore W1552875110C121332964 @default.
• W1552875110 hasConceptScore W1552875110C134306372 @default.
• W1552875110 hasConceptScore W1552875110C136119220 @default.
• W1552875110 hasConceptScore W1552875110C177264268 @default.
• W1552875110 hasConceptScore W1552875110C198082693 @default.
• W1552875110 hasConceptScore W1552875110C199360897 @default.
• W1552875110 hasConceptScore W1552875110C202444582 @default.
• W1552875110 hasConceptScore W1552875110C24890656 @default.
• W1552875110 hasConceptScore W1552875110C2778029271 @default.
• W1552875110 hasConceptScore W1552875110C2781204021 @default.
• W1552875110 hasConceptScore W1552875110C2989065042 @default.
• W1552875110 hasConceptScore W1552875110C33923547 @default.
• W1552875110 hasConceptScore W1552875110C41008148 @default.
• W1552875110 hasConceptScore W1552875110C50897621 @default.
• W1552875110 hasConceptScore W1552875110C62520636 @default.
• W1552875110 hasConceptScore W1552875110C79379906 @default.
• W1552875110 hasConceptScore W1552875110C90119067 @default.
• W1552875110 hasConceptScore W1552875110C9376300 @default.
• W1552875110 hasLocation W15528751101 @default.
• W1552875110 hasOpenAccess W1552875110 @default.
• W1552875110 hasPrimaryLocation W15528751101 @default.
• W1552875110 hasRelatedWork W1552875110 @default.
• W1552875110 hasRelatedWork W1571941576 @default.
• W1552875110 hasRelatedWork W2070304715 @default.
• W1552875110 hasRelatedWork W225384710 @default.
• W1552875110 hasRelatedWork W2580644455 @default.
• W1552875110 hasRelatedWork W2970640972 @default.
• W1552875110 hasRelatedWork W3018072601 @default.
• W1552875110 hasRelatedWork W4200633572 @default.
• W1552875110 hasRelatedWork W4246177694 @default.
• W1552875110 hasRelatedWork W4249661809 @default.
• W1552875110 isParatext "false" @default.
• W1552875110 isRetracted "false" @default.

• next