1 citations · 1 across the 1 of their papers we have counts for
2 papers
eess.SY2014
SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers
Iury Bessa, Renato Abreu, João Edgar Filho +1
Digital controllers have several advantages with respect to their flexibility and design's simplicity. However, they are subject to problems that are not faced by analog controller…
cs.SE2013★ 1 cited
Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking
Renato B. Abreu, Lucas Cordeiro, Eddie B. L. Filho
The implementation of digital filters in processors based on fixed-point arithmetic can lead to problems related to the finite word-length. In particular, the processing of signals…