most citedVerifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing eess.SYShow all

1 paper · 1 filter

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…