Applying the Z-transform for the static analysis of floating-point numerical filters - Archive ouverte HAL Accéder directement au contenu
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⟩
111 Consultations
199 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More