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 paper 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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Verification and Validation of Convex Optimization Algorithms for Model Predictive Control


    Beteiligte:
    Cohen, Raphael (Autor:in) / Feron, Eric (Autor:in) / Garoche, Pierre-Loïc (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2020-03-19


    Format / Umfang :

    14 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Validation of Convex Optimization Algorithms and Credible Implementation for Model Predictive Control

    Feron, Eric M. / Cohen, Raphael P. / Davy, Guillaume et al. | AIAA | 2017


    Validation of Convex Optimization Algorithms and Credible Implementation for Model Predictive Control (AIAA 2017-0562)

    Feron, Eric M. / Cohen, Raphael P. / Davy, Guillaume et al. | British Library Conference Proceedings | 2017


    Autonomous Upper Stage Guidance Using Convex Optimization and Model Predictive Control

    Benedikter, Boris / Zavoli, Alessandro / Colasurdo, Guido et al. | AIAA | 2020



    Convex-Optimization-Based Model Predictive Control for Space Debris Removal Mission Guidance

    Wijayatunga, Minduli Charithma / Armellin, Roberto / Holt, Harry et al. | AIAA | 2024