Communication Dans Un Congrès Année : 2023

On the Functional Properties of Automatically Generated Fixed-Point Controllers

Résumé

The implementation of control algorithms typically starts with the development of executable models and prototype implementations, e.g. in C, running on desktop computers before being ported to the target embedded architecture. Often, this latter architecture uses fixed-point arithmetic that differs in terms of accuracy from the floating-point arithmetic used by the desktop computer. In this article, we show that our POPiX tool is capable of automatically transforming floatingpoint codes into fixed-point ones while preserving the functional properties of the original control algorithms and optimizing resources in terms of memory and power consumption. We experiment POPiX on two widely used algorithms: a PID controller and a Kalman filter. Our experimental results validate, at the functional level, the code generation performed automatically by POPiX.

Fichier principal
Vignette du fichier
CODIT23_0215_FI.pdf (337.2 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04129229 , version 1 (15-06-2023)

Licence

Identifiants

  • HAL Id : hal-04129229 , version 1

Citer

Dorra Ben Khalifa, Matthieu Martel. On the Functional Properties of Automatically Generated Fixed-Point Controllers. 9th International Conference on Control, Decision and Information Technologies, Jul 2023, Rome, Italy. ⟨hal-04129229⟩

Collections

87 Consultations
302 Téléchargements

Partager

  • More