Applying the Z-transform for the static analysis of floating-point numerical filters - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2005

Applying the Z-transform for the static analysis of floating-point numerical filters

Résumé

Digital linear filters are used in a variety of applications (sound treatment, control/command, etc.), implemented in software, in hardware, or a combination thereof. For safety-critical applications, it is necessary to bound all variables and outputs of all filters. We give a compositional, effective abstraction for digital linear filters expressed as block diagrams, yielding sound, precise bounds for fixed-point or floating-point implementations of the filters.
Fichier principal
Vignette du fichier
filters-zTransform.pdf (353.67 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00151251 , version 1 (01-06-2007)

Identifiants

Citer

David Monniaux. Applying the Z-transform for the static analysis of floating-point numerical filters. 2005. ⟨hal-00151251⟩
119 Consultations
211 Téléchargements

Altmetric

Partager

More