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

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

2007-06-02

arxiv.org/abs/0706.0252v1

Computer Science

Programming Languages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Applying the Z-transform for the static analysis of floating-point numerical filters does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Applying the Z-transform for the static analysis of floating-point numerical filters, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Applying the Z-transform for the static analysis of floating-point numerical filters will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-308689