Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287775322> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4287775322 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.
- W4287775322 created "2022-07-26" @default.
- W4287775322 creator A5025996200 @default.
- W4287775322 creator A5030750164 @default.
- W4287775322 creator A5041459160 @default.
- W4287775322 date "2020-05-26" @default.
- W4287775322 modified "2023-09-24" @default.
- W4287775322 title "Verification and Validation of Convex Optimization Algorithms for Model Predictive Control" @default.
- W4287775322 doi "https://doi.org/10.48550/arxiv.2005.12588" @default.
- W4287775322 hasPublicationYear "2020" @default.
- W4287775322 type Work @default.
- W4287775322 citedByCount "0" @default.
- W4287775322 crossrefType "posted-content" @default.
- W4287775322 hasAuthorship W4287775322A5025996200 @default.
- W4287775322 hasAuthorship W4287775322A5030750164 @default.
- W4287775322 hasAuthorship W4287775322A5041459160 @default.
- W4287775322 hasBestOaLocation W42877753221 @default.
- W4287775322 hasConcept C108710211 @default.
- W4287775322 hasConcept C111110010 @default.
- W4287775322 hasConcept C112680207 @default.
- W4287775322 hasConcept C112972136 @default.
- W4287775322 hasConcept C11413529 @default.
- W4287775322 hasConcept C119857082 @default.
- W4287775322 hasConcept C121332964 @default.
- W4287775322 hasConcept C126255220 @default.
- W4287775322 hasConcept C127413603 @default.
- W4287775322 hasConcept C1276947 @default.
- W4287775322 hasConcept C146978453 @default.
- W4287775322 hasConcept C157972887 @default.
- W4287775322 hasConcept C167740415 @default.
- W4287775322 hasConcept C177264268 @default.
- W4287775322 hasConcept C199360897 @default.
- W4287775322 hasConcept C205451395 @default.
- W4287775322 hasConcept C2524010 @default.
- W4287775322 hasConcept C2776760102 @default.
- W4287775322 hasConcept C33923547 @default.
- W4287775322 hasConcept C41008148 @default.
- W4287775322 hasConcept C55439883 @default.
- W4287775322 hasConcept C57489055 @default.
- W4287775322 hasConcept C98045186 @default.
- W4287775322 hasConceptScore W4287775322C108710211 @default.
- W4287775322 hasConceptScore W4287775322C111110010 @default.
- W4287775322 hasConceptScore W4287775322C112680207 @default.
- W4287775322 hasConceptScore W4287775322C112972136 @default.
- W4287775322 hasConceptScore W4287775322C11413529 @default.
- W4287775322 hasConceptScore W4287775322C119857082 @default.
- W4287775322 hasConceptScore W4287775322C121332964 @default.
- W4287775322 hasConceptScore W4287775322C126255220 @default.
- W4287775322 hasConceptScore W4287775322C127413603 @default.
- W4287775322 hasConceptScore W4287775322C1276947 @default.
- W4287775322 hasConceptScore W4287775322C146978453 @default.
- W4287775322 hasConceptScore W4287775322C157972887 @default.
- W4287775322 hasConceptScore W4287775322C167740415 @default.
- W4287775322 hasConceptScore W4287775322C177264268 @default.
- W4287775322 hasConceptScore W4287775322C199360897 @default.
- W4287775322 hasConceptScore W4287775322C205451395 @default.
- W4287775322 hasConceptScore W4287775322C2524010 @default.
- W4287775322 hasConceptScore W4287775322C2776760102 @default.
- W4287775322 hasConceptScore W4287775322C33923547 @default.
- W4287775322 hasConceptScore W4287775322C41008148 @default.
- W4287775322 hasConceptScore W4287775322C55439883 @default.
- W4287775322 hasConceptScore W4287775322C57489055 @default.
- W4287775322 hasConceptScore W4287775322C98045186 @default.
- W4287775322 hasLocation W42877753221 @default.
- W4287775322 hasLocation W42877753222 @default.
- W4287775322 hasLocation W42877753223 @default.
- W4287775322 hasOpenAccess W4287775322 @default.
- W4287775322 hasPrimaryLocation W42877753221 @default.
- W4287775322 hasRelatedWork W2011211951 @default.
- W4287775322 hasRelatedWork W2016604890 @default.
- W4287775322 hasRelatedWork W2075670414 @default.
- W4287775322 hasRelatedWork W2141575885 @default.
- W4287775322 hasRelatedWork W2301614296 @default.
- W4287775322 hasRelatedWork W2353012478 @default.
- W4287775322 hasRelatedWork W2394256002 @default.
- W4287775322 hasRelatedWork W2993619238 @default.
- W4287775322 hasRelatedWork W4300377403 @default.
- W4287775322 hasRelatedWork W7739709 @default.
- W4287775322 isParatext "false" @default.
- W4287775322 isRetracted "false" @default.
- W4287775322 workType "article" @default.