Matches in SemOpenAlex for { <https://semopenalex.org/work/W2137258051> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2137258051 abstract "We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differential equations with multivariate polynomial right-hand sides. Our approach casts the problem of generating invariants for differential equations as the greatest fixed point of a monotone operator over the lattice of ideals in a polynomial ring. We provide an algorithm to compute this monotone operator using basic ideas from commutative algebraic geometry. However, the resulting iteration sequence does not always converge to a fixed point, since the lattice of ideals over a polynomial ring does not satisfy the descending chain condition." @default.
- W2137258051 created "2016-06-24" @default.
- W2137258051 creator A5063584164 @default.
- W2137258051 date "2010-04-12" @default.
- W2137258051 modified "2023-10-17" @default.
- W2137258051 title "Automatic invariant generation for hybrid systems using ideal fixed points" @default.
- W2137258051 cites W1482912566 @default.
- W2137258051 cites W1523211942 @default.
- W2137258051 cites W1535116423 @default.
- W2137258051 cites W1552875110 @default.
- W2137258051 cites W1577242694 @default.
- W2137258051 cites W1977444293 @default.
- W2137258051 cites W1997562124 @default.
- W2137258051 cites W2025025900 @default.
- W2137258051 cites W2031373197 @default.
- W2137258051 cites W2043100293 @default.
- W2137258051 cites W2106606898 @default.
- W2137258051 cites W2130519480 @default.
- W2137258051 cites W2145835888 @default.
- W2137258051 cites W2151759383 @default.
- W2137258051 cites W1764274967 @default.
- W2137258051 doi "https://doi.org/10.1145/1755952.1755984" @default.
- W2137258051 hasPublicationYear "2010" @default.
- W2137258051 type Work @default.
- W2137258051 sameAs 2137258051 @default.
- W2137258051 citedByCount "53" @default.
- W2137258051 countsByYear W21372580512012 @default.
- W2137258051 countsByYear W21372580512013 @default.
- W2137258051 countsByYear W21372580512014 @default.
- W2137258051 countsByYear W21372580512015 @default.
- W2137258051 countsByYear W21372580512016 @default.
- W2137258051 countsByYear W21372580512017 @default.
- W2137258051 countsByYear W21372580512018 @default.
- W2137258051 countsByYear W21372580512019 @default.
- W2137258051 countsByYear W21372580512020 @default.
- W2137258051 countsByYear W21372580512021 @default.
- W2137258051 countsByYear W21372580512022 @default.
- W2137258051 crossrefType "proceedings-article" @default.
- W2137258051 hasAuthorship W2137258051A5063584164 @default.
- W2137258051 hasBestOaLocation W21372580512 @default.
- W2137258051 hasConcept C118615104 @default.
- W2137258051 hasConcept C134306372 @default.
- W2137258051 hasConcept C136119220 @default.
- W2137258051 hasConcept C186219872 @default.
- W2137258051 hasConcept C190470478 @default.
- W2137258051 hasConcept C198082693 @default.
- W2137258051 hasConcept C202444582 @default.
- W2137258051 hasConcept C2524010 @default.
- W2137258051 hasConcept C26959085 @default.
- W2137258051 hasConcept C2834757 @default.
- W2137258051 hasConcept C33923547 @default.
- W2137258051 hasConcept C37914503 @default.
- W2137258051 hasConcept C51544822 @default.
- W2137258051 hasConcept C61445026 @default.
- W2137258051 hasConcept C78045399 @default.
- W2137258051 hasConcept C78313660 @default.
- W2137258051 hasConcept C90119067 @default.
- W2137258051 hasConcept C9376300 @default.
- W2137258051 hasConcept C9485509 @default.
- W2137258051 hasConceptScore W2137258051C118615104 @default.
- W2137258051 hasConceptScore W2137258051C134306372 @default.
- W2137258051 hasConceptScore W2137258051C136119220 @default.
- W2137258051 hasConceptScore W2137258051C186219872 @default.
- W2137258051 hasConceptScore W2137258051C190470478 @default.
- W2137258051 hasConceptScore W2137258051C198082693 @default.
- W2137258051 hasConceptScore W2137258051C202444582 @default.
- W2137258051 hasConceptScore W2137258051C2524010 @default.
- W2137258051 hasConceptScore W2137258051C26959085 @default.
- W2137258051 hasConceptScore W2137258051C2834757 @default.
- W2137258051 hasConceptScore W2137258051C33923547 @default.
- W2137258051 hasConceptScore W2137258051C37914503 @default.
- W2137258051 hasConceptScore W2137258051C51544822 @default.
- W2137258051 hasConceptScore W2137258051C61445026 @default.
- W2137258051 hasConceptScore W2137258051C78045399 @default.
- W2137258051 hasConceptScore W2137258051C78313660 @default.
- W2137258051 hasConceptScore W2137258051C90119067 @default.
- W2137258051 hasConceptScore W2137258051C9376300 @default.
- W2137258051 hasConceptScore W2137258051C9485509 @default.
- W2137258051 hasLocation W21372580511 @default.
- W2137258051 hasLocation W21372580512 @default.
- W2137258051 hasOpenAccess W2137258051 @default.
- W2137258051 hasPrimaryLocation W21372580511 @default.
- W2137258051 hasRelatedWork W196899843 @default.
- W2137258051 hasRelatedWork W1974915343 @default.
- W2137258051 hasRelatedWork W2009896212 @default.
- W2137258051 hasRelatedWork W2056503095 @default.
- W2137258051 hasRelatedWork W2137258051 @default.
- W2137258051 hasRelatedWork W2171317148 @default.
- W2137258051 hasRelatedWork W284213947 @default.
- W2137258051 hasRelatedWork W3198790488 @default.
- W2137258051 hasRelatedWork W4246177694 @default.
- W2137258051 hasRelatedWork W4249661809 @default.
- W2137258051 isParatext "false" @default.
- W2137258051 isRetracted "false" @default.
- W2137258051 magId "2137258051" @default.
- W2137258051 workType "article" @default.