FRINK Linked Data Fragments server

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

• W1575647584 endingPage "82" @default.
• W1575647584 startingPage "70" @default.
• W1575647584 abstract "We show that termination of a class of linear loop programs is decidable. Linear loop programs are discrete-time linear systems with a loop condition governing termination, that is, a while loop with linear assignments. We relate the termination of such a simple loop, on all initial values, to the eigenvectors corresponding to only the positive real eigenvalues of the matrix defining the loop assignments. This characterization of termination is reminiscent of the famous stability theorems in control theory that characterize stability in terms of eigenvalues." @default.
• W1575647584 created "2016-06-24" @default.
• W1575647584 creator A5086308451 @default.
• W1575647584 date "2004-01-01" @default.
• W1575647584 modified "2023-10-16" @default.
• W1575647584 title "Termination of Linear Programs" @default.
• W1575647584 cites W1505135855 @default.
• W1575647584 cites W1521250667 @default.
• W1575647584 cites W1530375435 @default.
• W1575647584 cites W1568518466 @default.
• W1575647584 cites W1589819982 @default.
• W1575647584 cites W1593745409 @default.
• W1575647584 cites W1994475353 @default.
• W1575647584 cites W2034774429 @default.
• W1575647584 cites W2113592921 @default.
• W1575647584 cites W2113789941 @default.
• W1575647584 cites W2139288805 @default.
• W1575647584 doi "https://doi.org/10.1007/978-3-540-27813-9_6" @default.
• W1575647584 hasPublicationYear "2004" @default.
• W1575647584 type Work @default.
• W1575647584 sameAs 1575647584 @default.
• W1575647584 citedByCount "148" @default.
• W1575647584 countsByYear W15756475842012 @default.
• W1575647584 countsByYear W15756475842013 @default.
• W1575647584 countsByYear W15756475842014 @default.
• W1575647584 countsByYear W15756475842015 @default.
• W1575647584 countsByYear W15756475842016 @default.
• W1575647584 countsByYear W15756475842017 @default.
• W1575647584 countsByYear W15756475842018 @default.
• W1575647584 countsByYear W15756475842019 @default.
• W1575647584 countsByYear W15756475842020 @default.
• W1575647584 countsByYear W15756475842021 @default.
• W1575647584 countsByYear W15756475842022 @default.
• W1575647584 countsByYear W15756475842023 @default.
• W1575647584 crossrefType "book-chapter" @default.
• W1575647584 hasAuthorship W1575647584A5086308451 @default.
• W1575647584 hasBestOaLocation W15756475841 @default.
• W1575647584 hasConcept C106487976 @default.
• W1575647584 hasConcept C111472728 @default.
• W1575647584 hasConcept C112972136 @default.
• W1575647584 hasConcept C11413529 @default.
• W1575647584 hasConcept C114614502 @default.
• W1575647584 hasConcept C118615104 @default.
• W1575647584 hasConcept C119857082 @default.
• W1575647584 hasConcept C121332964 @default.
• W1575647584 hasConcept C134306372 @default.
• W1575647584 hasConcept C138885662 @default.
• W1575647584 hasConcept C153269930 @default.
• W1575647584 hasConcept C154945302 @default.
• W1575647584 hasConcept C158693339 @default.
• W1575647584 hasConcept C159985019 @default.
• W1575647584 hasConcept C184670325 @default.
• W1575647584 hasConcept C192562407 @default.
• W1575647584 hasConcept C2775924081 @default.
• W1575647584 hasConcept C2777212361 @default.
• W1575647584 hasConcept C2780586882 @default.
• W1575647584 hasConcept C28826006 @default.
• W1575647584 hasConcept C33923547 @default.
• W1575647584 hasConcept C41008148 @default.
• W1575647584 hasConcept C47446073 @default.
• W1575647584 hasConcept C62520636 @default.
• W1575647584 hasConcept C6802819 @default.
• W1575647584 hasConceptScore W1575647584C106487976 @default.
• W1575647584 hasConceptScore W1575647584C111472728 @default.
• W1575647584 hasConceptScore W1575647584C112972136 @default.
• W1575647584 hasConceptScore W1575647584C11413529 @default.
• W1575647584 hasConceptScore W1575647584C114614502 @default.
• W1575647584 hasConceptScore W1575647584C118615104 @default.
• W1575647584 hasConceptScore W1575647584C119857082 @default.
• W1575647584 hasConceptScore W1575647584C121332964 @default.
• W1575647584 hasConceptScore W1575647584C134306372 @default.
• W1575647584 hasConceptScore W1575647584C138885662 @default.
• W1575647584 hasConceptScore W1575647584C153269930 @default.
• W1575647584 hasConceptScore W1575647584C154945302 @default.
• W1575647584 hasConceptScore W1575647584C158693339 @default.
• W1575647584 hasConceptScore W1575647584C159985019 @default.
• W1575647584 hasConceptScore W1575647584C184670325 @default.
• W1575647584 hasConceptScore W1575647584C192562407 @default.
• W1575647584 hasConceptScore W1575647584C2775924081 @default.
• W1575647584 hasConceptScore W1575647584C2777212361 @default.
• W1575647584 hasConceptScore W1575647584C2780586882 @default.
• W1575647584 hasConceptScore W1575647584C28826006 @default.
• W1575647584 hasConceptScore W1575647584C33923547 @default.
• W1575647584 hasConceptScore W1575647584C41008148 @default.
• W1575647584 hasConceptScore W1575647584C47446073 @default.
• W1575647584 hasConceptScore W1575647584C62520636 @default.
• W1575647584 hasConceptScore W1575647584C6802819 @default.
• W1575647584 hasLocation W15756475841 @default.
• W1575647584 hasOpenAccess W1575647584 @default.
• W1575647584 hasPrimaryLocation W15756475841 @default.
• W1575647584 hasRelatedWork W1575647584 @default.
• W1575647584 hasRelatedWork W1887191277 @default.
• W1575647584 hasRelatedWork W2002571332 @default.
• W1575647584 hasRelatedWork W2055429328 @default.
• W1575647584 hasRelatedWork W2085281177 @default.
• W1575647584 hasRelatedWork W2363941805 @default.
• W1575647584 hasRelatedWork W2403171661 @default.
• W1575647584 hasRelatedWork W2170916265 @default.

• next