FRINK Linked Data Fragments server

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

• W3029570900 abstract "Advanced embedded algorithms are growing in complexity and they are an essential contributor to the growth of autonomy in many areas. However, the promise held by these algorithms cannot be kept without proper attention to the considerably stronger design constraints that arise when the applications of interest, such as aerospace systems, are safety-critical. Formal verification is the process of proving or disproving the ''correctness'' of an algorithm with respect to a certain mathematical description of it by means of a computer. This article discusses the formal verification of the Ellipsoid method, a convex optimization algorithm, and its code implementation as it applies to receding horizon control. Options for encoding code properties and their proofs are detailed. The applicability and limitations of those code properties and proofs are presented as well. Finally, floating-point errors are taken into account in a numerical analysis of the Ellipsoid algorithm. Modifications to the algorithm are presented which can be used to control its numerical stability." @default.
• W3029570900 created "2020-06-05" @default.
• W3029570900 creator A5025996200 @default.
• W3029570900 creator A5041459160 @default.
• W3029570900 creator A5044050687 @default.
• W3029570900 date "2020-05-26" @default.
• W3029570900 modified "2023-09-27" @default.
• W3029570900 title "Verification and Validation of Convex Optimization Algorithms for Model Predictive Control" @default.
• W3029570900 cites W1528042415 @default.
• W3029570900 cites W1552628726 @default.
• W3029570900 cites W165943180 @default.
• W3029570900 cites W1751167696 @default.
• W3029570900 cites W1764453459 @default.
• W3029570900 cites W1968651586 @default.
• W3029570900 cites W1976043036 @default.
• W3029570900 cites W2001460356 @default.
• W3029570900 cites W2002757059 @default.
• W3029570900 cites W2012329067 @default.
• W3029570900 cites W2016043649 @default.
• W3029570900 cites W2022419729 @default.
• W3029570900 cites W2032476010 @default.
• W3029570900 cites W2033040247 @default.
• W3029570900 cites W2035899642 @default.
• W3029570900 cites W2069300761 @default.
• W3029570900 cites W2117402460 @default.
• W3029570900 cites W2123465178 @default.
• W3029570900 cites W2159583056 @default.
• W3029570900 cites W2277766137 @default.
• W3029570900 cites W2765665975 @default.
• W3029570900 cites W3101473842 @default.
• W3029570900 cites W3146075203 @default.
• W3029570900 cites W658468290 @default.
• W3029570900 hasPublicationYear "2020" @default.
• W3029570900 type Work @default.
• W3029570900 sameAs 3029570900 @default.
• W3029570900 citedByCount "0" @default.
• W3029570900 crossrefType "posted-content" @default.
• W3029570900 hasAuthorship W3029570900A5025996200 @default.
• W3029570900 hasAuthorship W3029570900A5041459160 @default.
• W3029570900 hasAuthorship W3029570900A5044050687 @default.
• W3029570900 hasConcept C108710211 @default.
• W3029570900 hasConcept C111110010 @default.
• W3029570900 hasConcept C112680207 @default.
• W3029570900 hasConcept C112972136 @default.
• W3029570900 hasConcept C11413529 @default.
• W3029570900 hasConcept C119857082 @default.
• W3029570900 hasConcept C121332964 @default.
• W3029570900 hasConcept C126255220 @default.
• W3029570900 hasConcept C127413603 @default.
• W3029570900 hasConcept C1276947 @default.
• W3029570900 hasConcept C146978453 @default.
• W3029570900 hasConcept C157972887 @default.
• W3029570900 hasConcept C167740415 @default.
• W3029570900 hasConcept C177264268 @default.
• W3029570900 hasConcept C199360897 @default.
• W3029570900 hasConcept C205451395 @default.
• W3029570900 hasConcept C2524010 @default.
• W3029570900 hasConcept C2776760102 @default.
• W3029570900 hasConcept C33923547 @default.
• W3029570900 hasConcept C41008148 @default.
• W3029570900 hasConcept C55439883 @default.
• W3029570900 hasConcept C57489055 @default.
• W3029570900 hasConcept C98045186 @default.
• W3029570900 hasConceptScore W3029570900C108710211 @default.
• W3029570900 hasConceptScore W3029570900C111110010 @default.
• W3029570900 hasConceptScore W3029570900C112680207 @default.
• W3029570900 hasConceptScore W3029570900C112972136 @default.
• W3029570900 hasConceptScore W3029570900C11413529 @default.
• W3029570900 hasConceptScore W3029570900C119857082 @default.
• W3029570900 hasConceptScore W3029570900C121332964 @default.
• W3029570900 hasConceptScore W3029570900C126255220 @default.
• W3029570900 hasConceptScore W3029570900C127413603 @default.
• W3029570900 hasConceptScore W3029570900C1276947 @default.
• W3029570900 hasConceptScore W3029570900C146978453 @default.
• W3029570900 hasConceptScore W3029570900C157972887 @default.
• W3029570900 hasConceptScore W3029570900C167740415 @default.
• W3029570900 hasConceptScore W3029570900C177264268 @default.
• W3029570900 hasConceptScore W3029570900C199360897 @default.
• W3029570900 hasConceptScore W3029570900C205451395 @default.
• W3029570900 hasConceptScore W3029570900C2524010 @default.
• W3029570900 hasConceptScore W3029570900C2776760102 @default.
• W3029570900 hasConceptScore W3029570900C33923547 @default.
• W3029570900 hasConceptScore W3029570900C41008148 @default.
• W3029570900 hasConceptScore W3029570900C55439883 @default.
• W3029570900 hasConceptScore W3029570900C57489055 @default.
• W3029570900 hasConceptScore W3029570900C98045186 @default.
• W3029570900 hasLocation W30295709001 @default.
• W3029570900 hasOpenAccess W3029570900 @default.
• W3029570900 hasPrimaryLocation W30295709001 @default.
• W3029570900 hasRelatedWork W147381049 @default.
• W3029570900 hasRelatedWork W151657772 @default.
• W3029570900 hasRelatedWork W1548789276 @default.
• W3029570900 hasRelatedWork W1977545749 @default.
• W3029570900 hasRelatedWork W2020776316 @default.
• W3029570900 hasRelatedWork W2133190685 @default.
• W3029570900 hasRelatedWork W2184654046 @default.
• W3029570900 hasRelatedWork W2566766685 @default.
• W3029570900 hasRelatedWork W2572661615 @default.
• W3029570900 hasRelatedWork W2770006392 @default.
• W3029570900 hasRelatedWork W2770624213 @default.

• next