activity
20162026
most citedBounded Model Checking of State-Space Digital Systems: The Impact of Finite Word-Length Effects on the Implementation of Fixed-Point Digital Controllers Based on State-Space Modeling

4 citations · 5 across the 7 of their papers we have counts for

collaborators
Showing 2016Show all

2 papers · 1 filter

cs.SE2016★ 4 cited

Bounded Model Checking of State-Space Digital Systems: The Impact of Finite Word-Length Effects on the Implementation of Fixed-Point Digital Controllers Based on State-Space Modeling

Felipe R. Monteiro

The extensive use of digital controllers demands a growing effort to prevent design errors that appear due to finite-word length (FWL) effects. However, there is still a gap, regar…

cs.CY2016

Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration (Extended Version)

Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro +2

We describe the results of an industrial-academic collaboration among the Graduate Program in Electrical Engineering (PPGEE), the Electronics and Information Research Centre (CETEL…